А. А. Набебин, Ю. П. Кораблин: Математическая логика и теория алгоритмов / Учебники для вузов

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

Научный мир, 2008

Страниц: 344

Формат: 60x90/16

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

Категории каталога:
Основания математики. Математическая логика. Теория чисел

УЧЕБНИКИ
ДЛЯ ВУЗОВ

Учебники для вузов: Новинки

высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов