алгебраический подход к синтезу корректных алгоритмов, мультиалгоритмические конструкции, информационное моделирование, нелинейная регрессия, связанный байесовский вывод