Построение модели предметной области, страница 2

F₃

F₄

Докажем  что:

F₅    истинно.

 

Доказательство:

Мы получили ложный дизъюнкт, следовательно,  истинна.

 

Контрольная работа №3

1. Предложения (ситуации) возникающие в пространстве состояний:

P1 - Исполнитель занят

P2 – Исполнитель выбрал Проект

P3 – Исполнитель назначил Проекту Высший приоритет

P4 – Проект поступил к Исполнителю

P5 – Исполнитель выполнил проект

P6(Ù(P2, P3))

P7(Ø(P1))

P8(Ú(P4, P5).

2. Полученная семантическая сеть:

Контрольная работа №4

F1: Выполнение Проекта					F2: Проект
Проект:		F2			Номер проекта:	#
Приоритетность:		F3			Приоритет:	Выс./низ./сред.
Временные условия:		F4			Время:	t
Исполнитель:		F5			Состояние:	Вып./ожид./отложен
F5: Исполнитель					F3: Выбор Проекта с наивысшим приоритетом
ФИО:					ПроектA:	приоритет
Квалификация:	Выс./ср./низ.				ПроектB:	приоритет
Навыки:	Вып. работа				Условие:	ПроектA.Приоритет≤ ПроектB.Приоритет
Текущая занятость:	Занят/свобод.
Время:	t
F4: Оценка времени по Проекту
Проект:	t
Исполнитель:	t
Условие:	Проект.Время≤ Исполнитель.Время