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

Полная версия

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

Скачать бесплатно книгу «Лекции по математической логике и теории алгоритмов»

fb2.ziptxttxt.ziprtf.zipa4.pdfa6.pdfepubfb3
Спасибо за оценку! Будем признательны, если Вы оставите комментарий.
Добавить отзыв