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

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

Результат исследований: Книги, отчёты, сборникиучебное-методическое пособиеучебная

Аннотация

Данное учебное пособие предназначено для студентов, изучающих математическую логику и теорию алгоритмов. В нём описаны языки логики высказываний и логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные аксиоматические теории - элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется 180 упражнений.
Язык оригиналарусский
ИздательЛЕМА
Число страниц250
ISBN (печатное издание)978-5-98709-212-5
СостояниеОпубликовано - 2010
Опубликовано для внешнего пользованияДа

Цитировать