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

Лекции по математической логике и теории алгоритмов
Автор книги: id книги: 562882     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 320 руб.     (3,43$) Купить и читать книгу Купить бумажную книгу Электронная книга Жанр: Учебная литература Правообладатель и/или издательство: "Центральный коллектор библиотек "БИБКОМ" Дата публикации, год издания: 2013 Дата добавления в каталог КнигаЛит: ISBN: 978-5-8397-0908-9 Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.

Описание книги

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

Добавление нового отзыва

Комментарий Поле, отмеченное звёздочкой  — обязательно к заполнению

Отзывы и комментарии читателей

Нет рецензий. Будьте первым, кто напишет рецензию на книгу Лекции по математической логике и теории алгоритмов
Подняться наверх