Формализованное описание задачи исследования
 

Уважаемые участники форума!
Мне нужно составить формализованное описание задачи исследования. Есть вот такой образец:

http://s53.radikal.ru/i139/1103/9f/e36f2997937c.jpg

Под этим слайдом в презентации подписано:
Первый раз такое вижу. Кто-нибудь с этим сталкивался? Подскажите книжку какую-нибудь...

Что написано на этой картинке - в целом понятно. Но где бы посмотреть, так сказать, на синтаксис этого языка?

Ваше недоумение понятно. Однако вопрос нуждается в уточнении. Что вы понимаете под синтаксисом языка и о каком языке идет речь?

Какие-нибудь правила построения таких выражений, чтобы свое по аналогии написать.

Elbereth, а что за отрасль и что за научная специальность?

Здесь использован стандартный формализм математической логики. Вы пишите, что картинка вам понятна. Значит ли это, что язык матлогики вам знаком?

Похоже на 05.13.01 техн/физ.-мат.

А вообще это обязательно? Есть требования по обязательной математической постановке задачи?

Очень сомневаюсь. Больше похоже на попытку "математизацией" формы подменить содержание... В принципе, схему, подобную той, что изображена на картинке, можно привязать к любой области знаний. Весь вопрос в том, надо ли это делать...

Да, у меня специальность 05.13.01 "системный анализ", а у девушки, из чьей работы позаимствован этот слайд, - 05.13.10 "управление в социальных и экономических системах".
Делать именно так мне советует научный руководитель - предзащита через неделю.
Матлогику мы (программисты) действительно изучали. Сейчас поищу...

Ну если советует... Тогда разберем картинку по пунктам:

Выделяете вашу частную предметную область (КМ) в предметной области вашей специальности (ПрО). Отображение задается отображением f1: ПрО на КМ.

Совершенно бессодержательное предложение. Очевидно вам надо построить некое взаимно-однозначное отображение f2 множества КМ на множество S, которое далее называется системой. Поскольку множества КМ и S изоморфны, ничего нового это не дает...

Теперь вам надо определить множество характеристик системы S, определив отображение этого множества на числовое множество E (сопоставляя каждому элементу из S число из Е).

Совершенно непонятен смысл отображения f3. Какая-то псевдоматематика... Вообщем, отсекаете в E "все лишнее" и получаете подмножество E* - подмножество существенных характеристик рассматриваемой системы.

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.