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