|
08.03.2011, 13:41 | #11 |
Full Member
Регистрация: 26.08.2009
Адрес: Глухая провинция :)
Сообщений: 245
|
phys2010, большое спасибо! Я еще в Википедии нашла подобную вещь - http://ru.wikipedia.org/wiki/%D0%A4%...D0%BA%D0%B0%29
Проблема в том, что у меня кроме алгоритмов и семантической модели (что еще можно свести к функциям и множествам) в списке задач диссертац.исследования фигурирует еще разработка информационной технологии. Ее описать множествами, конечно, можно, но список будет длинноват :-( |
Реклама | |
|
08.03.2011, 13:49 | #12 |
Gold Member
Регистрация: 23.01.2006
Сообщений: 1,089
|
S - это видимо описание системы. Например, S=<P,R> концепты P, отношения между ними R,.. т.е. f1 - просто описывает предметную область в концептах и отношениях, а также операций над ними (Opr) . E - возможно характеристики системы , но их слишком много, имеет смысл использовать какое-то наиболее значимое их подмножество E*. f3 - описывает критерии качества системы( услвоия на характеристики E*)
|
08.03.2011, 14:48 | #13 |
Full Member
Регистрация: 26.08.2009
Адрес: Глухая провинция :)
Сообщений: 245
|
Судя по презентации, S - теоретико-множественная модель, Om - метаонтология, Opr - предметная онтология. В общем, я с этого языка научилась переводить, но говорю на нем с трудом
|
10.03.2011, 06:23 | #14 |
Gold Member
Регистрация: 25.06.2005
Адрес: F000:FFF0
Сообщений: 1,804
|
Новиков Ф.А. Дискретная математика для программистов. - 3-е изд. - СПб.: Питер, 2009.
А. Н. Колмогоров, А. Г. Драгалин. Математическая логика. - 3-е изд. - М.: - КомКнига, 2006. Последний раз редактировалось Paul Kellerman; 10.03.2011 в 07:00. |