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

Лань, 2014
Серия: Математика

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

Другие товары в серии «Математика»

Основы высшей математики.

Изд: Лань 2023
Серия: Математика

Наличие: отсутствует
1575руб
Купить

Жорданова нормальная форма

Изд: Лань 2024
Серия: Математика

Наличие: отсутствует
1314руб
Купить

Математические модели и

Изд: Лань 2024
Серия: Математика

Наличие: отсутствует
2310руб
Купить

Основы высшей математики.

Изд: Лань 2024
Серия: Математика

Наличие: отсутствует
1143руб
Купить

Линейные и евклидовы

Изд: Лань 2023
Серия: Математика

Наличие: отсутствует
1813руб
Купить

Математика. 6 класс.

Изд: Легион 2024
Серия: Математика

Наличие: на складе
190руб
Купить

Линейная алгебра. Лекции.

Автор: Бусяцкая Ирина Константиновна
Изд: Лань 2024
Серия: Математика

Наличие: на складе
1668руб
Купить

Системы линейных уравнений

Автор: Туганбаев Аскар Аканович
Изд: Лань 2023
Серия: Математика

Наличие: на складе
1519руб
Купить

Линейная алгебра. Лекции.

Автор: Бусяцкая Ирина Константиновна
Изд: Лань 2024
Серия: Математика

Наличие: на складе
1451руб
Купить

Метод Монте-Карло в

Автор: Ермаков Сергей Михайлович
Изд: Лань 2024
Серия: Математика

Наличие: на складе
1195руб
Купить

Основы высшей математики.

Автор: Туганбаев Аскар Аканович
Изд: Лань 2023
Серия: Математика

Наличие: отсутствует
2402руб
Купить


 
29.03.2024
Талызина высказалась о возможном признании Пугачевой иноагентом
Легендарная артистка заявила, что Пугачева «бросила душу в ад».
29.03.2024
Практика катастрофы. Семь историй о рухнувших американских мостах
Критики властей отмечают, что Вашингтон, устанавливая все новые рекорды по части ассигнований для Пентагона, не интересуется критически важными вопросами для жизни простых американцев.
28.03.2024
Историк джаза Владимир Фейертаг умер в Петербурге на 93-м году жизни
28.03.2024
Садальский высмеял Галкина за его самонадеянность
Комик-иноагент во всех своих соцсетях подчеркивает, что у него концерты во всех странах.
28.03.2024
Российские артисты записали альбом в поддержку пострадавших в «Крокусе»
Доходы от релиза сборника «Голос мой услышь» пойдут на помощь пострадавшим при теракте людям.
28.03.2024
Как приготовить лапшу, которую Бальмонт ел в студенческие годы?
На рубеже XIX-XX веков самым популярным человеком в нашей стране был поэт Константин Бальмонт — ему старались подражать во всём, начиная от эпатажной манеры одеваться и заканчивая манерой писать стихи.