Редактирование: МФСП, 03 семинар (от 15 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
В прошлый раз рассматривались типы, операции с ними, производные типы. Разобрались с функциями, константами. | В прошлый раз рассматривались типы, операции с ними, производные типы. Разобрались с функциями, константами. | ||
- | Сейчас: дорешать задачи | + | Сейчас: дорешать задачи пр функции и перейти к множествам. |
Строка 131: | Строка 131: | ||
∀ (c1, ss1) : CourseIno • (c1, ss1) ∈ ci ∧ r &ssub; ss1 ∧ ... | ∀ (c1, ss1) : CourseIno • (c1, ss1) ∈ ci ∧ r &ssub; ss1 ∧ ... | ||
- | '''Задача.''' Функция, | + | '''Задача.''' Функция, кторая возвращает множество курсов, которые посещает заданный студент. |
'''Решение:''' | '''Решение:''' | ||
Строка 158: | Строка 158: | ||
{{МФСП}} | {{МФСП}} | ||
+ | {{Lection-stub}} |