Наименования дисциплин в соответствии со структурой образовательной программы по годам обучения | Количество обучающихся, изучающих дисциплину | Обеспечение обучающихся основной учебной и учебно-методической литературой и информационными ресурсами |
Перечень и реквизиты литературы (автор, название, год и место издания) или адрес ресурса (не более 5-ти на дисциплину) | Количество экз./чел. |
|
Формальные системы | 57 |
1. Зайцева, Е. В. Формальные системы (N 3355) : практикум / Е. В. Зайцева ; НИТУ МИСиС, Ин-т информационных технологий и автоматизированных систем управления, Каф. автоматизированных систем управления. — М. : [МИСиС], 2019. — 35с. + Библиогр.: с. 35. — Режим доступа : http://lib.msk.misis.ru/elib/view.php?id_abs=987748554. — Пособие МИСиС. | 1.00 |
2. Зайцева, Е. В. Формальные системы (N 3786) : учеб. пособие / Е. В. Зайцева ; НИТУ МИСиС, Ин-т информационных технологий и автоматизированных систем управления, Каф. автоматизированных систем управления. — М. : [МИСиС], 2019. — 69с. + Библиогр.: с. 69. — Режим доступа : http://lib.msk.misis.ru/elib/view.php?id_abs=987749982. — Пособие МИСиС. — ISBN 978-5-907226-02-9. | 1.00 |
|