bannerbannerbanner

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

Лекции по математической логике и теории алгоритмов
ОтложитьЧитал
000
Скачать
Язык:
Русский (эта книга не перевод)
Опубликовано здесь:
2016-02-26
Файл подготовлен:
2018-10-27 01:06:07
Поделиться:

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

Полная версия

Читать онлайн

Оставить отзыв

Рейтинг@Mail.ru