Тематика лабораторных работ соответствует требованиям государственного образовательного стандарта 654600 – Информатика и вычислительная техника – к дисциплине «Теоретические основы автоматизированного управления». Работы 1,2 посвящены практическому изучению информационного обеспечения автоматизированных управляющих систем, работы 3,4 – оценке систем с помощью формализованных методов.