Основной контент книги Лекции по математической логике и теории алгоритмов
Tekst PDF
Maht 139 lehekülgi
2013 aasta
Лекции по математической логике и теории алгоритмов
€3,13
Raamatust
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Logi sisse, et hinnata raamatut ja jätta arvustus
Raamat Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» — laadi alla pdf formaadis või loe veebis. Jäta kommentaare ja arvustusi, hääleta lemmikute poolt.
