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

• Автор: Герасимов А.С.
• Издательство: Лань
• Серия: Учебники для ВУЗов. Специальная литература
• Год издания: 2014
• Обложка: твердый переплет
• Страниц: 416
• Томов: 1
• Вес: 434 г.
• ISBN: 978-5-8114-1666-0

Описание

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

Издание 4-е, переработанное и дополненное.

Товар имеет необходимые сертификаты качества, безопасности и гигиены. К любой покупке прилагается гарантия. Предоставляется накопительная система скидок, зависящая от объема заказов, совершавшихся ранее. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Исчерпывающую информацию о сроках доставки и величине рассчитанной скидки вы сможете прочесть в процессе оформления заказа. Приятных покупок.