Лекции по математической логике и теории алгоритмов — Юрий Белов, 2013г. Скачать книгу / читать онлайн
Внимание! Здесь вы можете ознакомиться с книгой Лекции по математической логике и теории алгоритмов 2013 года от Лекции по математической логике и теории алгоритмов
Скачать книгу »
Читать онлайн »
Описание книги:
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Скачать книгу »
Читать онлайн »