Жанр: Учебная, методическая литература и словари, Учебная литература
Теги: #книги для студентов и аспирантов, #математическая логика, #теория алгоритмов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
На нашем сайте вы можете скачать книгу "Лекции по математической логике и теории алгоритмов" Белов Юрий Владимрович в формате pdf, читать книгу онлайн или купить книгу в интернет-магазине.
