• Главная
  • Книги
  • Курс математической логики и теории вычислимости. Учебное пособие
  • 0
  • 0
  • 5
Курс математической логики и теории вычислимости. Учебное пособие
0.0
0 оценок

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

  • 2014 год

Описание книги

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

Книга «Курс математической логики и теории вычислимости. Учебное пособие» автора Герасимов Александр Васильевич оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.

Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы на скачивания.

Рецензии на книгу

Ни одной рецензии нет

12 книг 2 подписки
По ту сторону космоса
12 книг 3 подписки
Не последний герой
21 книга 0 подписок
За словом не в карман
12 книг 8 подписок
Любовь и другие