Формальные системы
- Год
- 2019
- Библиотечный номер
- 3355
- Авторы
- Зайцева Е.В.
- Предмет
- Информатика и вычислительная техника
- Специальность/направление
- Информатика и вычислительная техника
- Вид методического издания
- Практикум
- Артикул
- 001747
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника»
| Формат | А5 |
|---|---|
| Переплет | Мягкий |
| Аудитория | Бакалавриат |
| Институт | Институт информационных технологий и автоматизированных систем управления |
| Кафедра | Кафедра автоматизированных систем управления |
| Издательство | Издательский Дом НИТУ "МИСиС" |
| Библиотечн. номер | 3355 |
