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