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