Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Перечислить студентов группы К5-221 и курсы, по которым они сдали экзамен в срок




СтК5-221ЭкзСдалиВсрок(Нз(х),Фио(х),ИдКурса(х)).

 

{СтК5-221ЭкзСдалиВсрок.Нз(z),СтК5-221ЭкзСдалиВсрок.Фио(z), СтК5-221ЭкзСдалиВсрок.ИдКурса(z)}:
$х/СтК5-221ЭкзСдали$y/КлндПлан
(

СтК5-221ЭкзСдали.ИдКурса(x) = КлндПлан.ИдКурса(y) &
СтК5-221ЭкзСдали.УчНед(х)) = КлндПлан.УчНед(y) &
КлндПлан.Гр(y)=“К5-221” &
КлндПлан.ВидОтч(y)=“экз” &
СтК5-221ЭкзСдалиВсрок.Нз(z)=СтК5-221ЭкзСдали.Нз(x) &
СтК5-221ЭкзСдалиВсрок.Фио(z)=СтК5-221ЭкзСдали.Фио(x) &
СтК5-221ЭкзСдалиВсрок.ИдКурса(z)=СтК5-221ЭкзСдали.ИдКурса(x)

)

Введем производное понятие «План экзаменов группы К5-221»:

КлндПланК5-221Экз(ИдКурса(x),УчНед(x))

 

"х/КлндПланК5-221Экз$y/КлндПлан

(

КлндПлан.ВидОтч(y)=“экз” &

КлндПлан.Nгр(y)=“К5-221” &

КлндПланК5-221Экз.ИдКурса(x)=КлндПлан.ИдКурса(y) &

КлндПланК5-221Экз.УчНед(x)=КлндПлан.УчНед(y)

)

Используя это понятие можно записать:

"x/СтК5-221ЭкзСдалиВсрок$y/КлндПланК5-221Экз$z/СтК5-221ЭкзСдали

(
СтК5-221ЭкзСдали.ИдКурса(z)=КлндПланК5-221Экз.ИдКурса(y) &
СтК5-221ЭкзСдали.УчНед(z)=КлндПланК5-221Экз.УчНед(y) &
СтК5-221ЭкзСдалиВсрок.Нз(х)=СтК5-221ЭкзСдали.Нз(z) &
СтК5-221ЭкзСдалиВсрок.Фио(х)=СтК5-221ЭкзСдали.Фио(z) &
СтК5-221ЭкзСдалиВсрок.ИдКурса(х)=СтК5-221ЭкзСдали.ИдКурса(z)

)

 

5. Перечислить студентов группы К5-221, которые сдали ВСЕ экзамены, предусмотренные календарным планом, в срок.

СтК5-221ЭкзСдалиВсеВсрок(Нз(z),Фио(z))

Предварительно сформирован список курсов, по которым группа К5-221 должна сдавать экзамены: КлндПланК5-221Экз(ИдКурса(x),УчНед(x))

 

{СтК5-221ЭкзСдалиВсеВсрок.Нз(z),

СтК5-221ЭкзСдалиВсеВсрок.Фио(z)}:
"x/КлндПланК5-221Экз$y/СтК5-221ЭкзСдалиВсрок
(

КлндПланК5-221Экз.ИдКурса(x)=СтК5-221ЭкзСдалиВсрок.ИдКурса(y)&

СтК5-221ЭкзСдалиВсеВсрок.Нз(z)=СтК5-221ЭкзСдалиВсрок.Нз(х) &
СтК5-221ЭкзСдалиВсеВсрок.Фио(z)=СтК5-221ЭкзСдалиВсрок.Фио(х)

)

 

СтК5-221ЭкзСдалиВсеВсрок(Нз(z),Фио(z))

"z/СтК5-221ЭкзСдалиВсеВсрок"x/КлндПланК5-221Экз$y/СтК5-221ЭкзСдалиВсрок
(

КлндПланК5-221Экз.ИдКурса(x)=СтК5-221ЭкзСдалиВсрок.ИдКурса(y) &

СтК5-221ЭкзСдалиВсеВсрок.Нз(z)=СтК5-221ЭкзСдалиВсрок.Нз(х) &
СтК5-221ЭкзСдалиВсеВсрок.Фио(z)=СтК5-221ЭкзСдалиВсрок.Фио(х)

)

 






Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных