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