Лекции по математической логике и теории алгоритмов (Юрий Анатольевич Белов)
Лекции по математической логике и теории алгоритмов (Юрий Анатольевич Белов)
Автор: Юрий Анатольевич Белов
Жанр: учебная и научная литератураучебники и пособия для вузовестественные наукиматематикакниги для студентов и аспирантовалгоритмыматематическая логиказнания и навыкитеория алгоритмов
Язык: Русский
Размер: 385662 Кб
ISBN: 978-5-8397-0908-9
Полная версия:
Описание аудиокниги:
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
