Обложка Набебин А.А., Кораблин Ю.П. Математическая логика и теория алгоритмов
Id: 169820

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

2008. 348 с. ISBN 978-5-91522-001-9.
  • Твердый переплет

Аннотация

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

Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.