Формальные системы. Учебное пособие
Об издании
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Библиографическая запись
Зайцева Е.В. Формальные системы : учебное пособие / Зайцева Е.В.. — Москва : Издательский Дом МИСиС, 2019. — 70 c. — ISBN 978-5-907226-02-9. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/117366.html (дата обращения: 16.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Богун В.В.
(Ай Пи Ар Медиа)
Корниенко В.Т.
(Ай Пи Ар Медиа)
Итала Э.
(Медицинская литература)
Алимов А.А.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Ачкасов В.Ю.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Флойд К.С.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Шатрова А.П., Заворотный А.В., Крюкова Е.А.
(Издательский Дом МИСиС)
Попов Е.А.
(Санкт-Петербургский политехнический университет Петра Великого)