phys2010, большое спасибо! Я еще в Википедии нашла подобную вещь -
http://ru.wikipedia.org/wiki/%D0%A4%...D0%BA%D0%B0%29
Проблема в том, что у меня кроме алгоритмов и семантической модели (что еще можно свести к функциям и множествам) в списке задач диссертац.исследования фигурирует еще разработка информационной технологии. Ее описать множествами, конечно, можно, но список будет длинноват :-(