Тема «Основы логики и логические основы компьютера» в школьной информатике изучается на профильном уровне и несет большую методическую и познавательную нагрузку, способствует развитию логического мышления учащихся, важна при подготовке к сдаче ЕГЭ. В данной разработке приведены дидактические материалы для изучения первого раздела этой темы «Алгебра логики» по программе Н.Д. Угриновича «Информатика и ИКТ» 10класс. Профильный уровень
Цель: Систематизация знаний по теме "алгебра логики"
Задачи:
- Выделение существенных высказываний в тексте задачи
- Формализация высказываний, условия задачи
- Представление решения задачи в различных формах (формулы, схемы, графы, таблицы)
- Решение логических задач различными способами, выбор оптимального способа для данной задачи
Результаты обучения:
Учащиеся
- Знают логические операции и их таблицы истинности
- умеют строить таблицы истинности для сложных высказываний
- знают основные логические законы и умеют их применять для преобразования логических выражений
- умеют решать текстовые логические задачи алгебраическим, табличным, графическим способом, умеют по условию задачи выбирать оптимальный способ ее решения,
Дидактические материалы могут быть использованы учителями информатики при проведении уроков и учениками при подготовке к ЕГЭ.
| Тема в учебнике | Объяснение нового материала | Закрепление. Самостоятельная работа |
| Формы мышления | Приложение 1 презентация «Логика как наука» | |
| Логические выражения | Приложение 2 Презентация «Алгебра логики» | Приложение 6 «Логический диктант» |
| Логические функции | Приложение 3 Презентация «Таблицы истинности» | Приложение 7 «Построить таблицы истинности» |
| Логические законы и правила преобразования логических выражений | Приложение 4 Презентация «Законы логики» | Приложение 8 «Упростить выражения» |
| Решение логических задач | Приложение 5 Презентация «Решение логических текстовых задач» | Приложение 9 «Задачи для самостоятельной работы» |
| Контроль | Приложение 10 Контрольная работа «Алгебра логики» 1-4 вариант с ответами |
Список литературы:
- В.Ю. Лыскова, Е.А. М.Ракитина «Логика в информатике».Методическое пособие. М.:Лаборатория Базовых Знаний, 2001г.
- Н.Д.Угринович, Л.Л. Босова, Н.И Михайлова. Практикум по информатике и информационным технологиям. М.: БИНОМ. Лаборатория знаний, 2007.