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