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

S - это видимо описание системы. Например, S=<P,R> концепты P, отношения между ними R,.. т.е. f1 - просто описывает предметную область в концептах и отношениях, а также операций над ними (Opr) . E - возможно характеристики системы , но их слишком много, имеет смысл использовать какое-то наиболее значимое их подмножество E*. f3 - описывает критерии качества системы( услвоия на характеристики E*)

Судя по презентации, S - теоретико-множественная модель, Om - метаонтология, Opr - предметная онтология. В общем, я с этого языка научилась переводить, но говорю на нем с трудом :)

Новиков Ф.А. Дискретная математика для программистов. - 3-е изд. - СПб.: Питер, 2009.
А. Н. Колмогоров, А. Г. Драгалин. Математическая логика. - 3-е изд. - М.: - КомКнига, 2006.