В.Н. Крупский, В.Е. Плиско. Математическая логика и теория алгоритмов

Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции.

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

Издательство: Академия
Год: 2013
Страниц: 418
Формат: pdf

 

Скачать книгу «Математическая логика и теория алгоритмов» (35,05 МБ):