Лекции по математической логике и теории алгоритмов. Юрий Белов

Скачать книгу в различных форматах или читать онлайн на сайте.

Название: Лекции по математической логике и теории алгоритмов

Автор: Юрий Белов

Издательство: "Центральный коллектор библиотек "БИБКОМ"

Жанр: Учебная литература

Серия:

isbn: 978-5-8397-0908-9

isbn: 2013

Аннотация:

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.