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