Лекции по математической логике и теории алгоритмов
Юрий Белов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Купить можно в магазинах:
ISBN-10: 5-04-001110-5, 5-8397-0908-5
ISBN-13: 978-5-04-001110-0, 978-5-8397-0908-9
Год выхода: 2013
Язык книги: ru
Возрастные ограничения: 0+
Издательсто:
БИБКОМ
Категория:
Учебная литература