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