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