Год выпуска: 2008 Автор: А. А. Набебин, Ю. П. Кораблин Издательство: Научный мир Страниц: 344 ISBN: 978-5-91522-001-9
Описание
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
"Студенточка" помогла мне справиться с проблемами вёрстки книги. Помощь была оказана квалифицированно и доброжелательно. Мне не только помогли практически, но и дали хорошую консультацию. От своего имени и от имени учёного в области фундаментостроения Самуила Кушнера выражаю "Студенточке" глубокую благодарность.