Сетевая библиотекаСетевая библиотека

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

Лекции по математической логике и теории алгоритмов
Автор: Юрий Белов
Описание книги
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Жанр: Математика, учебники и пособия для вузов Тип: PDF Книга Цена: 320.00 руб. Просмотры: 27 Скачать ознакомительный фрагмент PDF КУПИТЬ И СКАЧАТЬ ЗА: 320.00 руб. ЧТО КАЧАТЬ и КАК ЧИТАТЬ
ФАЙЛ НЕДОСТУПЕН ДЛЯ ЧТЕНИЯ
Автор или правообладатель запретил чтение этой книги онлайн. Скорее всего не удастся и скачать ознакомительную версию. Вы можете получить эту книгу лишь купив её. Просим извинить за доставленные неудобства
КУПИТЬ И СКАЧАТЬ ЗА: 320.00 руб.