Лекции по математической логике и теории алгоритмов
Юрий Белов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
- Категория: учебники и пособия для вузов
- Правообладатель: БИБКОМ
- Год написания: 2013
- Возрастное ограничение: 0+
- ISBN: 978-5-8397-0908-9
- Легальная стоимость: 320.00 руб.
Читать книгу «Лекции по математической логике и теории алгоритмов» онлайн:
Комментарии ():
Вам также может понравиться:
