BDZ
BDZ
Большое домашнее
задание
Осень, 2022
Аннотация Работа выполняется письменно. В нее включается необходимая графика, аналитика, по-
яснения. Все выводы должны быть строго аргументированы. Необходимо также подготовить титульный
лист, содержащий вашу идентификацию в университете и название дисциплины.
Задание 1.
Что дано.
Предположим, что в базе данных содержатся следующие два отношения:
Обозначение Название Домен 1 Домен 2 Домен 3
отношения
S ПОСТАВЩИКИ Код постав- Название Расположение
щика ♯ поставщика
T ПОСТАВЛЯТЬ Код постав- Код детали ♯
щика ♯
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами: «Найти коды поставщиков из ПО-
СТАВЩИКИ, каждый из которых поставляет (ПОСТАВЛЯТЬ)»:
№
п/п Показатель
1. Что-либо,
2. Ничего,
3. Деталь 15,
4. Что-либо, но не деталь 15,
5. Не деталь 15,
6. Деталь, отличную от детали 15,
7. Только деталь 15,
8. По крайней мере, детали 12, 13, 15,
9. Все поставляемые детали.
2 ВСАД: БДЗ
Задание 2.
Что дано.
«Постащики поставляют детали проектам».
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами, дав анализ случаев:
№п/п Показатель
1. Заказанные, но не полученные детали,
2. Заказанные, но не поставленные детали,
3. Полученные, но не заказанные детали,
4. Полученные, но не поставленные детали,
5. Поставленные, но не заказанные детали,
6. Поставленные, но не полученные детали,
7. Не заказанные детали,
8. Не полученные детали,
9. Не поставленные детали.
ВСАД: БДЗ, 2022 3
Задание 3.
Что дано.
«Три мальчика дали Мери две книги».
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами, дав анализ случаев. Их выбор
обосновать.
4 ВСАД: БДЗ
Задание 4.
Что дано.
«[Известно, что] некто – лжец. [Теперь этот некто говорит:] “Я – лгу”.».
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами ответ на вопрос “произнесенная
фраза истинна или ложна?”.
ВСАД: БДЗ, 2022 5
Задание 5.
Что дано.
«В одной деревне брадобрей бреет всех тех мужчин, которые не бреются сами.».
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами ответ на вопрос “кто бреет брадо-
брея?”.
6 ВСАД: БДЗ
Задание 6.
Что дано.
«Альфред дает книгу Мери. Альфреду нравится книга. Всякому, кто отдает что-
либо, что ему нравится, должен нравиться человек, которому это передается. Мери
знает всех, кто что-либо делает с книгами.».
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами ответ на вопрос “знает ли Мери
кого-нибудь, кому она нравится?”.
ВСАД: БДЗ, 2022 7
Задание 7.
Что дано.
№
п/п Исходная предметная область
1. «В подразделении 057 в течение апреля 2010 г.
оформляли отчетные материалы по трем темам,
представляющим собой инновационные проекты:
теме 11888, теме 57201 и теме 10633 в количе-
стве 3, 2 и 2 экземпляров соответственно»,
2. «Альфред считает, что некто счастлив, и так оно и
есть»,
3. «Либо Альфред считает, что некто счастлив, либо
это действительно так»,
4. «Альфред считает, что некто счастлив, но это не
так»,
5. «Постащики города Монреаля поставляют шины во
все магазины»,
6. «Служащие управляют другими служащими, кото-
рые получают менее 150000 руб. или бюджет их
отдела составляет более 100000000 руб. в год»,
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное
измерение; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами.
8 ВСАД: БДЗ
Задание 8.
Что дано.
«Речка движется и не движется,
Вся из лунного серебра.
Песня слышится и не слышится
В эти тихие вечера.»
“Подмосковные вечера”.
сл. М. Матусовский,
муз.В.Соловьев-Седой.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами. Дать семантический анализ вари-
антов представления.
ВСАД: БДЗ, 2022 9
Задание 9.
Что дано.
№
п/п Исходная предметная область
1. «Помогать товарищу есть качество»,
2. «Толпа»,
3. «Безысходность»,
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами.
10 ВСАД: БДЗ
Задание 10.
Что дано.
№
п/п Исходная предметная область
1. «Множество»,
2. «Функция»,
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами.
ВСАД: БДЗ, 2022 11
Задание 11.
Что дано.
«154. Солдат (матрос) в мирное и военное
время отвечает за точное и своевременное
выполнение возложенных на него обязан-
ностей и поставленных ему задач, а также
за исправное состояние своего оружия, вве-
ренной ему военной техники и сохранность
выданного ему имущества. Он подчиняется
командиру отделения.»
Устав внутренней службы ВС РФ,
“Обязанности солдата (матроса)”, п. 154.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами ответ на вопрос “Обязанности
солдата (матроса)?”.
12 ВСАД: БДЗ
Задание 12.
Что дано.
«184. Часовой есть лицо неприкосновенное.
Неприкосновенность часового заключается:
- в особой охране законом его прав и лично-
го достоинства;
- в подчинении его строго определенным ли-
цам - начальнику караула, помощнику на-
чальника караула и своему разводящему;
- в обязанности всех лиц беспрекословно вы-
полнять требования часового, определяемые
его службой;
- в предоставлении ему права применять
оружие в случаях, Указанных в настоящем
Уставе. »
Устав гарнизонной и караульной служб ВС РФ,
“Часовой”, п. 184.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Часовой”.
ВСАД: БДЗ, 2022 13
Задание 13.
Что дано.
«82. При совместном несении службы воен-
нослужащими, не подчиненными друг дру-
гу, когда их служебные взаимоотношения не
определены командиром, старший из них по
должности, а при равных должностях стар-
ший по воинскому званию является началь-
ником и пользуется дисциплинарной вла-
стью, предоставленной ему по занимаемой
должности.»
Дисциплинарный устав ВС РФ,
п. 82.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Начальник”.
14 ВСАД: БДЗ
Задание 14.
Что дано.
«173. Для переползания по-пластунски (рис.
58) лечь плотно на землю, правой рукой
взять оружие за ремень у верхней антабки
и положить его на предплечье правой ру-
ки. Подтянуть правую (левую) ногу и одно-
временно вытянуть левую (правую) руку воз-
можно дальше; отталкиваясь согнутой ногой,
передвинуть тело вперед, подтянуть другую
ногу, вытянуть другую руку и продолжать
движение в том же порядке. При перепол-
зании голову высоко не поднимать.»
Строевой устав ВС РФ,
п. 173.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Переползание по-
пластунски”.
ВСАД: БДЗ, 2022 15
Задание 15.
Что дано.
«351. Спасание – действия, направлен-
ные на недопущение гибели терпящих бед-
ствие людей, объекта, получившего боевые
или аварийные повреждения, и его груза
или другого имущества. Спасение – до-
стижение положительного результата в ходе
спасания. На каждом корабле должен быть
комплект спасательных устройств и средств,
предусмотренных проектной документаци-
ей и нормами снабжения. Спасатель- ные
устройства – корабельные устройства,
предназначенные для проведения спасатель-
ных работ. Спасательные средства – ко-
рабельные средства и имущество, использу-
емые для спасания людей и оказания помо-
щи аварийному кораблю, а также средства
информации об аварии.»
Корабельный устав ВМФ РФ,
п. 351.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Спасение”.
16 ВСАД: БДЗ
Задание 16.
Что дано.
«6.1. К обучающимся в университете отно-
сятся студенты, аспиранты, докторанты и
другие категории обучающихся. Студентом
является лицо, в установленном порядке за-
численное приказом ректора в университет
для обучения по образовательной программе
высшего профессионального образования.
6.6. Студенты университета обязаны:
– овладевать знаниями, выполнять в уста-
новленные сроки все виды заданий, преду-
смотренных учебным планом и образова-
тельными программами высшего професси-
онального образования;
– соблюдать Устав университета, правила
внутреннего распорядка и правила прожи-
вания в общежитии, правила пользования
библиотекой и другими подразделениями,
предоставляющими им услуги.»
Устав НИЯУ МИФИ,
пп. 6.1, 6.6.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Студент НИЯУ МИ-
ФИ”.
ВСАД: БДЗ, 2022 17
Задание 17.
Что дано.
«. . . интерес к получению магистерского обра-
зования в НИЯУ МИФИ неуклонно растет. . . .
это обусловлено теми перспективами и выгодами,
которые получают студенты, как в процессе обу-
чения, так и по его завершении.
Выпускник магистратуры НИЯУ МИФИ – это го-
товый специалист-практик, имеющий не только
фундаментальные познания в своей области, но
и достаточный практический опыт.
Диплом магистра университета дает возможность
успешной карьеры в российских и международ-
ных компаниях, где он признается наряду с ди-
пломами других зарубежных учебных заведений.»
Магистратура НИЯУ МИФИ
открыла двери для своих абитуриентов
URL https://mephi.ru/content/news/1387/58578/
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Магистерское обра-
зование НИЯУ МИФИ”.
18 ВСАД: БДЗ
Задание 18.
Что дано.
«Главная особенность обучения в НИЯУ МИФИ
– неразрывность образовательной, научной и
инновационной деятельности. Студенты имеют
возможность включаться в исследовательскую
деятельность, начиная с младших курсов. С 3-го
курса участие в учебно-исследовательских рабо-
тах является обязательным. Студенты старших
курсов, магистры и аспиранты привлекаются к
научно-исследовательским работам лабораторий,
кафедр и научных центров университета. »
НИЯУ МИФИ СЕГОДНЯ
URL https://priem.mephi.ru/about
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Главная особен-
ность обучения в НИЯУ МИФИ”.
ВСАД: БДЗ, 2022 19
Задание 19.
Что дано.
«Миссия [НИЯУ МИФИ]– генерация, распро-
странение, применение и сохранение научных
знаний в интересах решения глобальных про-
блем XXI века, а также для обеспечения ин-
новационных преобразований России, разви-
тия конкурентоспособности страны на миро-
вых энергетических и неэнергетических высо-
котехнологичных рынках.
НИЯУ МИФИ – один из ведущих исследова-
тельских университетов РФ с авторитетными
научными школами. Университет осуществля-
ет подготовку аспирантов, магистров, бакалав-
ров и специалистов для России и зарубежных
стран по наиболее актуальным направлениям
развития фундаментальной и прикладной нау-
ки и современных технологий.»
НИЯУ МИФИ СЕГОДНЯ
URL https://priem.mephi.ru/about
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Миссия [НИЯУ МИ-
ФИ]”. Дать полный семантический анализ.
20 ВСАД: БДЗ
Задание 20.
Что дано.
«Долгое время не говорил я того, во что верю,
никогда не верю я и в то, что говорю, и если
иногда случается так, что я и в самом деле го-
ворю правду, я окутываю ее такой ложью, что
ее трудно обнаружить.»
Никколо Макивелли,
из письма от 17 мая 1521 г.
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Сообщение Макиа-
велли”. Дать полный семантический анализ.
МНИ: КРА, 2016 21
Что требуется.
Пользуясь теорией типов, представить фреймами соответствующий концепт (тип), о
котором идет речь.
22 МНИ: КРА
Что требуется.
Пользуясь теорией типов, представить фреймами соответствующий концепт (тип), о
котором идет речь.
МНИ: КРА, 2016 23
Что представить.
По части 1. Представить: предметную область (ПО), отображенную предметную об-
ласть (ОПО), отображенную, отобранную проклассифицированную предметную область
(ООКПО), пространство выбора решений (ПВР).
По части 2.
Представить: первичные (исходные) типы (концепты); производные типы (концепты);
системы ролей; события, характеристики, логические предикаты, функции.
Представить: простые концептуальные зависимости (фреймы); составные фреймы.
Представить: сценарии.
Представить: ISA-иерархии типов (концептов); ISA-иерархии подобных фреймов;
ISA-измерение.
По части 3.
Представить: кванторы; подобные фреймы; определения и определительное измере-
ние; контейнеры.
Что требуется.
Пользуясь теорией типов, представить фреймами концепт (тип) “Реляционный под-
ход к управлению базой данных”. Дать полный семантический анализ.