Юрий А. Белов — Лекции по математической логике и теории алгоритмов, краткое содержание
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Лекции по математической логике и теории алгоритмов»
На Книгизм представлено произведение «Лекции по математической логике и теории алгоритмов» — книга автора Юрий Белов. Книга относится к жанру «Учебная литература» . Полный текст доступен бесплатно — для чтения онлайн в браузере или скачивания в формате fb2.
🏷️ Жанры книги
Произведение «Лекции по математической логике и теории алгоритмов» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Учебная литература»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Лекции по математической логике и теории алгоритмов» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Лекции по математической логике и теории алгоритмов» онлайн без скачивания?
Да, полная версия произведения автора Юрий Белов доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Лекции по математической логике и теории алгоритмов»?
Книга относится к жанру «Учебная литература».
📲 Как читать книгу на Книгизм
Книга «Лекции по математической логике и теории алгоритмов» автора Юрий Белов доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.