Курс математической логики и теории вычислимости. Учебное пособие
Автор: Герасимов Александр Сергеевич
Лань, 2014
Серия: Математика
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений.
Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.
Другие товары в серии «Математика»
Упорядоченные множества и
Автор: Вечтомов Евгений Михайлович, Широков Дмитрий Владимирович
Изд: Лань 2024
Серия: Математика
Наличие: на складе
Изд: Лань 2024
Серия: Математика
Наличие: на складе
1544руб
Купить
Купить
Линейная алгебра. Лекции.
1668руб
Купить
Купить
Системы линейных уравнений
1519руб
Купить
Купить
Линейная алгебра. Лекции.
1451руб
Купить
Купить
Метод Монте-Карло в
1195руб
Купить
Купить
Основы высшей математики.
2402руб
Купить
Купить