Лекции по математической логике и теории алгоритмов — Юрий Белов, 2013г. Скачать книгу / читать онлайн

Лекции по математической логике и теории алгоритмов — Юрий Белов, 2013г. Скачать книгу / читать онлайн


Внимание! Здесь вы можете ознакомиться с книгой Лекции по математической логике и теории алгоритмов 2013 года от Лекции по математической логике и теории алгоритмов



Скачать книгу »
Читать онлайн »


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



Скачать книгу »
Читать онлайн »


Report Page