Учебники и пособия для вузов

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

Name: Лекции по математической логике и теории алгоритмов
Author: Юрий Белов
ISBN: 9785839709089

Жанр — Учебники и пособия для вузов; год издания — 2016; издательство — БИБКОМ; язык — Русский; формат — pdf; ISBN — 9785839709089.

Читать полностью на ЛитРес → Читать ознакомительный фрагмент

Переход ведёт на сайт партнёра. Ссылка является партнёрской, цена для читателя не меняется.

О книге

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

Темы: книги для студентов и аспирантов, алгоритмы, математическая логика

Продолжить выбор