Начальный уровень · Доказательства
Функции и отношения
Объяснить отображения и выполнить упражнение «Определить свойства заданного отношения», обосновав выбранный подход.
Это программа подготовки модуля. Полный урок ещё не опубликован.
Перед началом
Последовательность уроков
Отображения
До урока: предварительные знания модуля. Результат: объяснить отображения на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Инъекции и сюръекции
До урока: Отображения. Результат: объяснить инъекции и сюръекции на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Бинарные отношения
До урока: Инъекции и сюръекции. Результат: объяснить бинарные отношения на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Практика
Задания находятся в программе подготовки. Для базового модуля нужны две задачи на освоение, две на применение и одна в новом контексте. Продвинутые подборки открываются после соответствующей базы.
Подготовить доказательство, контрпример, реализацию и измерительный эксперимент.
Проверочные вопросы
- Объясните «Отображения» на собственном примере. Какие предварительные условия необходимы?
- Какая типичная ошибка возможна в упражнении «Определить свойства заданного отношения»? Какой пример её обнаружит?
Критерии ответа: верные определения, подходящий пример, явные условия применимости и объяснение проверки.
Итоговое упражнение
Определить свойства заданного отношения
- Объединить темы модуля и объяснить выбор решения.
- Проверить нормальный, граничный и ошибочный сценарии.
- Обосновать корректность, время и память; приложить результаты проверки.