Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о... Подробнее смотрите здесь: https://izbe.ru/book/lekcii-po-matematicheskoy-logike-i-teorii-algoritmov-yuriy-belov-valeriy-sokolov-2807229/
«Лекции по математической логике и теории алгоритмов» Юрий Анатольевич Белов, Валерий Анатольевич Соколов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о...
Подробнее смотрите здесь: https://izbe.ru/book/lekcii-po-matematicheskoy-logike-i-teorii-algoritmov-yuriy-belov-valeriy-sokolov-2807229/
