Поиск:
Войти
Лекции по математической логике и теории алгоритмов
Жанр: учебники и пособия для вузов математика книги для студентов и аспирантов алгоритмы математическая логика теория алгоритмов
Язык: Русский
Тип: Текст
Год издания: 2016
Полная версия
- О книге
- Отзывы 0
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Отзывы о книге «Лекции по математической логике и теории алгоритмов»
Популярные книги