Основной контент книги Лекции по математической логике и теории алгоритмов
Text PDF
Umfang 139 Seiten
2013 Jahr
Лекции по математической логике и теории алгоритмов
€3,43
Über das Buch
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Einloggen, um das Buch zu bewerten und eine Bewertung zu hinterlassen
Buch Юрия Белова, В. А. Соколова "Лекции по математической логике и теории алгоритмов" — als pdf herunterladen oder online lesen. Hinterlassen Sie Kommentare und Bewertungen, stimmen Sie für Ihre Favoriten.
