Учебная литература

Список источников >Детские книги >Учебная литература >

Лекции по математической логике и теории алгоритмов

Автор: Белов Юрий
Год: 2013
Издание: Бибкомlitres
Страниц: [не указано]
ISBN: 9785839709089
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Добавлено: 2018-02-06 03:02:06

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы