%10 indirim al
Bu kitabı önerin ve arkadaşınız kitabı satın aldığında ₺11,18 kazanın.
Основной контент книги Лекции по математической логике и теории алгоритмов
metinPDFCilt 139 sayfalar
2013 yıl
Лекции по математической логике и теории алгоритмов
₺111,79
Kitap hakkında
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Yorum gönderin
Giriş, kitabı değerlendirin ve yorum bırakın
Юрия Белова, В. А. Соколова “Лекции по математической логике и теории алгоритмов” adlı kitabı - pdf olarak indirin veya çevrimiçi olarak okuyun. Yorumlarınızı ve geri bildirimlerinizi gönderin, favorilerinize puan verin.
