Авторы: Е В Зайцева
Е. В. Зайцева. Формальные системы. Практикум. М.:МИСиС, 2019
Не получается найти нужный источник? Попробуйте нашу услугу по подбору и оформлению источников литературы.
Фрагмент книги
Библиографическое описание
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Сведения об ответственности: Е В Зайцева
Готовые работы, где использовался источник
Основы проэктирования
490₽
- Курсовая работа
- Архитектура и строительство
- Выполнил: EkaterinaKonstantinovna
Стиль нормативных правовых актов
185₽
- Контрольная работа
- Право и юриспруденция
- Выполнил: Helby
Так же вы можете купить уже выполненные работы. Для удобства покупки работы размещены на независимой бирже. Нажимая "Купить" вы будете перенаправлены на страницу карточки работы.
Гарантия на работу 10 дней.