О книге

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

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

Полное название книги	А. А. Набебин, Ю. П. Кораблин Математическая логика и теория алгоритмов
Тип	Книга
Авторы	А. А. Набебин, Ю. П. Кораблин
Категории	Математика, Образование и наука, Книги
ISBN	9785915220019
Возрастное ограничение	18
Издательство	Научный Мир
Год	2008
Название транслитом	matematicheskaya-logika-i-teoriya-algoritmov-a-a-nabebin-yu-p-korablin
Просмотров	5
Рейтинг izbe.ru	0,0