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

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

Аннотация

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

УДК

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

Предметная рубрика

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

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

1 экз.

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

Заявка на закупку

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