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

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

Аннотация

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

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

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

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

Общее кол-во в фондах
1 экз.

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

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