Информационная безопасность автоматизированных систем
| Название материала | Автор | Год издания | |
| Презентационные материалы | |||
| Презентационный материал | Плешкова Татьяна Юрьевна | 2008 | |
| Презентация | Первухин Михаил Александрович | 2013 | |
| Раздаточные материалы | |||
| Задания контрольной по исчислению предикатов | Первухин Михаил Александрович | ||