Курс математической логики и теории вычислимости из жанра Компьютеры и Интернет

Toripendragon

Гостеприимство по-соседски (СИ)

Обожаю этот рассказ. Он просто великолепен. Впервые прочла на фикбуке, и сразу добавила к любимым. А потом рассказ там исчез, и для меня это была просто трагедия. Рада, что снова его нашла ☺☺

TayNavek

Мой красивый друг (СИ)

Предупреждение! Это Слеш;)

Natasha Dovjenko

Повелители стихий. Книга 1. Злой ветер

Спасибо сайту. Очень люблю эту серию книг. С большим удовольствием прослушала первую аудиокнигу из четырёх. Как же хорошо озвучена ! Огромнейшее спасибо !

Славяна

Операция Троянски Кон - 1

Благодаря за книгата. Силно се надявам да публикувате и другите седем части. Благодаря ви за положения труд.

Qwerty1980

Соглашусь, с предыдущими комментаторами, что книга написана хорошо, но не более, сцены военных действий, просто коньюктурны, такое ощущение, что сам автор ни разу за всю жизнь не дрался, поэтому утверждать,

Курс математической логики и теории вычислимости

Математика, Программы

Автор: Герасимов А. С.

Год: 2011

Добавил: Admin 13 Ноя 22

Проверил: Admin 13 Ноя 22

Формат: PDF (2452 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории — элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется более 190 упражнений.
Это учебное пособие адресовано в первую очередь студентам, специализирующимся по информатике, но будет полезно студентам разных математических специальностей (направлений подготовки), а также всем желающим начать систематическое изучение математической логики.