Эти три формулы представляют соответственно базис индукции, индукционный шаг и общее утверждение. Этот результат перестает ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Тейз А.N.
Логический подход к искусственному интеллекту
Эти три формулы представляют соответственно базис индукции, индукционный шаг и общее утверждение. Этот результат перестает быть верным в более общем контексте.
