Логика: от условия к схеме · 10 класс
Понять → попробовать → проверить → создать.
Порядок поможет разобраться постепенно. Любое занятие можно открыть сразу.
Твой маршрут
- 01Высказывания и логические операцииОткрыть
Высказывания и логические операции
Высказыванию можно приписать истинность или ложность в заданном контексте.
- Самостоятельно решить задачу по теме «Высказывания и логические операции» и объяснить проверку результата.
- Опиши правило допуска к учебному конкурсу двумя условиями и проверь все четыре сочетания.
Пригодится: informatics10-compression-search
5 задач · около 22 минут - 02Импликация и эквивалентностьОткрыть
Импликация и эквивалентность
Импликация A→B ложна только тогда, когда A истинно, а B ложно.
- Самостоятельно решить задачу по теме «Импликация и эквивалентность» и объяснить проверку результата.
- Придумай верную импликацию о числах и контрпример к её обратному утверждению.
Пригодится: informatics10-logic-operations
5 задач · около 22 минут - 03Таблица истинности и проверка правилаОткрыть
Таблица истинности и проверка правила
Для n независимых логических переменных таблица содержит 2^nстрок.
- Самостоятельно решить задачу по теме «Таблица истинности и проверка правила» и объяснить проверку результата.
- Построй таблицу правила (A ИЛИ B) И НЕ C и найди разрешённые состояния.
Пригодится: informatics10-implication
5 задач · около 22 минут - 04Законы логики и множестваОткрыть
Законы логики и множества
Законы де Моргана: НЕ(A И B) = НЕ A ИЛИ НЕ B; НЕ(A ИЛИ B) = НЕ A И НЕ B.
- Самостоятельно решить задачу по теме «Законы логики и множества» и объяснить проверку результата.
- Нарисуй два пересекающихся множества и раскрась отрицание их пересечения. Сверь с формулой.
Пригодится: informatics10-truth-tables
5 задач · около 22 минут - 05Логическая функция по таблицеОткрыть
Логическая функция по таблице
Функцию можно восстановить по строкам, где результат 1.
- Самостоятельно решить задачу по теме «Логическая функция по таблице» и объяснить проверку результата.
- Задай свою таблицу для двух датчиков, построй формулу и проверь её в мастерской логики.
Пригодится: informatics10-logic-laws
5 задач · около 22 минут - 06Логические элементы, сумматор и памятьОткрыть
Логические элементы, сумматор и память
Логическая схема связывает элементы И, ИЛИ, НЕ и другие в цепь.
- Самостоятельно решить задачу по теме «Логические элементы, сумматор и память» и объяснить проверку результата.
- Собери таблицу полусумматора для всех входов и объясни, зачем нужен перенос.
Пригодится: informatics10-formula-from-table
5 задач · около 22 минут