Name: Курс математической логики и теории вычислимости. Учебное пособие
Brand: Лань
SKU: 1840796
Availability: OutOfStock

Курс математической логики и теории вычислимости. Учебное пособие

недоступно к заказу

Добавить в лист ожидания

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некого императивного языка программирования. В книге имеется более 200 упражнений. Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп «Компьютерные и информационные науки», «Информатика и вычислительная техника», но будет полезно и студентам группы направлений «Математика и механика», а также всем желающим начать систематическое изучение математической логики.

Артикул

1840796

Издательство

Лань

Серия

Учебники для ВУЗов. Специальная литература

Тип обложки

твердый переплёт

Автор

Герасимов Александр Сергеевич

Штрих код

9785811416660

Год

2019

Страниц

416

Язык

Русский

Размеры

130x200 мм

Вес

434 гр.

Импортер

ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167

Показать все характеристики ∨