tekstPDFMaht 139 lehekülgi
2013 aasta
Лекции по математической логике и теории алгоритмов
3,16 €
Raamatust
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Jätke arvustus
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.
