Если уж "котёл" вспомнили, то... :-) * Для непрерывных систем вспоминаем: 1) конечность, 2) сходимость 3) сложность и её оценку O(n).
При большом желании можно приплести пределы, ряды, критерии устойчивости и что-нибудь от Михайлова и Найквиста.
Для закрепления практических навыков делаем лабораторку на гомеостат.
** Для дискретных систем всем нам хорошо известны конечные автоматы. В основах информатики есть блок-схемы алгоритмов и граф-схемы. соответственно выходим на теорию графов. Можно полистать Дональда Кнута 1-ый том, а лучше "Компьютерную графику" М.Ласло в upload (cтр 20-40).
*** Теория множеств, матрица входов и выходов, линейные операторы - как воздействия/преобразования входов в выход.
https://caxapa.ru/upload/files/50cf31d57bf5/