Лекции по математической логике и теории алгоритмов. Юрий Белов и др.
- Тип: Текст PDF
- Авторы:
- Издательство: БИБКОМ(2016)
- Год написания: 2013
- ISBN: 978-5-8397-0908-9, 978-5-04-001110-0
- Страниц: 139
- Язык: Русский
320 руб.
Отложить
- Жанры: Учебники и пособия для вузов, Математика
- Теги:
- Описание
- Фрагмент
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
