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

Скачать книгу

Фрагмент

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

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

На нашем сайте вы можете скачать книгу "Лекции по математической логике и теории алгоритмов" Белов Юрий Владимрович в формате pdf, читать книгу онлайн или купить книгу в интернет-магазине.

Отзывы читателей

    Преступление и наказание
    Рекомендуем
    Преступление и наказание
    Достоевский Федор Михайлович

    Подборки книг

    Все

    Похожие книги

    Другие книги автора

    Информация обновлена: