The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...

Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих ...

Рассмотрены архитектурные нечеткие модели мультиагентных систем в распределенной среде, обладающие преимуществами как реактивных, так и мотивированных делиберативных агентов. Предложены средства спецификации поведения ...

Работа представляет экологические аспекты порождения алгоритмических знаний предметных областей. Средства алгоритмической формализации и синтеза знаний предметных областей представляют собой триаду – абстракции, биологию ...