10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 0,69 ₼ əldə edin.
Основной контент книги Лекции по математической логике и теории алгоритмов
Mətn PDF
Həcm 139 səhifə
2013 il
Лекции по математической логике и теории алгоритмов
6,89 ₼
Kitab haqqında
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab Юрия Белова, В. А. Соколова «Лекции по математической логике и теории алгоритмов» - pdf formatında yükləyin və ya onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
