Основной контент книги Лекции по математической логике и теории алгоритмов
matnPDF
Hajm 139 sahifalar
2013 yil
Лекции по математической логике и теории алгоритмов
40 070,12 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 4 007,02 soʻm oling.
Kitob haqida
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.