0 Список сравнения
0 Избранные товары
0
Распечатать

Герасимов А.С. Курс математической логики и теории вычислимости: учебное пособие.-4-е изд., перераб.

Артикул : 8600
Герасимов А.С. Курс математической логики и теории вычислимости: учебное пособие.-4-е изд., перераб.
Герасимов А.С. Курс математической логики и теории вычислимости: учебное пособие.-4-е изд., перераб.
По запросу Под заказ
Товар доступен под заказ
Цена:1 665 Р
1 498 Р
-10%
Описание
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте.
Характеристики
Характеристики Герасимов А.С. Курс математической логики и теории вычислимости: учебное пособие.-4-е изд., перераб.
Автор
Герасимов Александр Сергеевич
Серия
Учебники для вузов. Специальная литература
Издательство
Лань
Название книги
Курс математической логики и теории вычислимости: учебное пособие
Место издания
СПб
Издательство
Лань
Год
2014
Кол-во страниц
416
Переплет
Твердый переплет
Формат
84x108/32
Сведения об издании
4-е изд., перераб. и доп
Возраст
16+
ШтрихКод
9785811416660
01:05:50 - 20.01.2020
01:05:50 - 20.01.2020
01:05:50 - 20.01.2020
01:05:50 - 20.01.2020