Белей, О. І. Формалізація і моделювання систем : метод. вказ. для самостійної роботи студентів / О. І. Белей. - Івано-Франківськ : ІФНТУНГ, 2017. - 6 с.
Дисципліна “Формалізація і моделювання систем” є профілюючою і забезпечує теоретичну та інженерну підготовку фахівців в галузі систем управління і автоматики. Метою викладення дисципліни “Формалізація і моделювання систем” є вивчення теоретичних основ і практичних аспектів методології формалізації, моделювання і ідентифікації об’єктів керування формування у студентів методології системотехнічного підходу при постановці і розв’язку системних задач.