На 1980 год
Иркутским вычислительным центром СО АН СССР завершены разработки основных концепций и метода сравнения в математической теории систем. Впервые осуществлен на ЭВМ вывод новых теорем и их доказательств для различных динамических свойств систем (всего около 200 теорем).