Сводный каталог книг

[Текст] : учебное пособие по направлению "Информатика и вычислительная техника" специальности "Программное обеспечение вычислительной техники и автоматизирированных систем", а также специальности "Информационные системы и технологии" / А. А. Набебин, Ю. П. Кораблин. - Москва : Научный мир, 2008. - 343 с. ; 22 см. - Библиогр.: с. 334. - ISBN 978-5-91522-001-9 (в пер.) : 270.00 р.

ГРНТИ	27.03
УДК	510.6(075.8)^V3

ББК В12я73

Аннотация: Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Для студентов вузов, специализирующихся в области прикладной математики, вычислительной техники, программирования, информатики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кораблин, Юрий Прокофьевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)