Подробное описание документа

   Логические и логико-математические исчисления : сборник работ / АН СССР. - Л. : Наука. Ленингр. отд-ние, 1968. - (Труды/Математический институт им. В. А. Стеклова; т...).
   Сб. 2. - 1972. - 165 с. - (... ; т. 121). - Библиогр. в конце ст.

Аннотация

Сборник объединяет работы по теории логического вывода и ее приложениям к построению алгорифмов машинного поиска доказательства теорем (в частности, работы по специальным вариантам классического исчисления предикатов и конструктивного исчисления предикатов, ориентированным в сторону машинного доказательства теорем).
Сборник рассчитан на математиков, как научных работников, так и студентов, а также на лиц, интересующихся математической кибернетикой.
Предшествующий номер данной серии вышел в 1968 г. (Труды МИАН, т. XCVIII).

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313