zaharova_anna_petrovna

Захарова Анна Петровна, учитель информатики ГБОУ «ЯКШИ»
Тема «Решение логических задач по
Задачи:
Закрепить
полученные
знания,
Научить учащихся решать логические задачи.
пройденным
темам»
умения,
навыки;
Требования
к
знаниям
и
умениям:
Учащиеся
должны
знать:
основные
понятия
и
определения.
Учащиеся
должны
уметь:
строить логические схемы по логическому выражению и наоборот;
решать
логические
задачи,
используя
законы
логики.
Тип урока: Урок закрепления, систематизации ЗУН
Цель
урока:
Задачи урока:
Регулятивные
Правильно
спланировать
учебную
деятельность.
Закрепить
полученные
Познавательные
Создать условия
для
осуществления
учебной
деятельности
учащихся
при
закреплении
полученных
знаний, умений,
навыков.
знания,
Коммуникативные
Строить
логические схемы
по
логическому
выражению
и
наоборот;
решать
логические
задачи, используя
законы
логики.
умения,
навыки;
Личностные
Развивать
ответственность
за
результаты
своего труда
Оборудование:
Техническое:
 ПК на базе процессора Intel;
 ИД;
Программное:
 операционная система Windows XP
 приложения Microsoft Office 2007: Word, Excel, Internet Explorer,
PowerPoint;
 ЭП.
План урока:
1
1. Организационный момент. Подготовка учащихся к усвоению
материала. Взаимное приветствие, рапорт дежурного, проверка
подготовленности учащихся к уроку.
«Сделал – понял,
Услышал – забыл,
Увидел – запомнил».( См.Приложение1)
Правильно сложите строки этой поговорки.
Эпиграфом к нашему уроку возьмем китайскую поговорку:
«Услышал – забыл,
Увидел – запомнил,
Сделал – понял».
-Как вы понимаете данную поговорку?
- Скажи мне, и я многое забуду. Покажи мне, и я запомню. Дайте мне
действовать самому, и я научусь.
-Вы с ним согласны?
Объявление критерии оценок, которые ребята могут получить во время
работы на уроке.(См.Приложение1) Ученики, сидят за компьютером,
раздаются листочки с заданиями, каждый листочек подписан: Ф.И.О. и
класс. У каждого на парте карточка с практическим заданием.
2. Постановка цели и задач урока. Мотивация учебной деятельности
учащихся к самостоятельной работе. Сегодня вы, повторяя темы по
логике, в конце урока должны показать свое знание по теме Логика.
3. Актуализация опорных знаний.
В течение ряда уроков вы изучали тему Логика. Вы убедились, что «Логика»
- один из основных разделов информатики. Сегодня на уроке мы еще раз
закрепим полученные знания. Насколько вы знаете тему, покажет
повторение.
Задание для повторения. Задание сопровождаются слайдами (см.
Приложение 2 ЭП.Методика подготовки к ЕГЭ по теме "Основы
логики"Примеры решения логических задач). Задание выявляет знание
основныхпонятий и законов математической логики.
1) Таблица истинности:
А
0
1
Ā
1
0
Результат отрицания всегда противоположен значению аргумента.
Логическое И еще часто называют конъюнкцией, или логическим
2
умножением, а ИЛИ – дизъюнкцией, или логическим сложением.
Операция И (обозначается «И», «and», «&», А•В) имеет результат «истина»
только в том случае, если оба ее операнда истинны.
Таблица истинности:
A
0
0
1
1
B
0
1
0
1
F
0
0
0
1
Если F = A&B, то F истинно тогда и только тогда,
когда истинны и А и В
Операция ИЛИ (обозначается «ИЛИ», «or», А+В) «менее привередлива» к
исходным данным. Она дает «истину», если значение «истина» имеет хотя
бы один из операндов. Разумеется, в случае, когда справедливы оба
аргумента одновременно, результат по-прежнему истинный.
Таблица истинности:
A
0
0
1
1
B
0
1
0
1
F
0
1
1
1
Если F = A+B, то F ложно тогда и только тогда, когда ложны и А и В.
Например, A – пасмурно; B – идет дождь.
Логическое следование: импликация – связывает два простых
логических выражения, из которых первое является условием (А), а второе
(В) – следствием из этого условия. Результатом импликации является ЛОЖЬ
только тогда, когда условие А истинно, а следствие В ложно. Обозначается
символом "следовательно" и выражается словами ЕСЛИ … , ТО …
Таблица истинности:
A
1
1
0
0
B
1
0
1
0
F
1
0
1
1
Логическая равнозначность: эквивалентность – определяет результат
3
сравнения двух простых логических выражений А и В. Результатом
эквивалентности является новое логическое выражение, которое будет
истинным тогда и только тогда, когда оба исходных выражения
одновременно истинны или ложны. Обозначается символом
"эквивалентности".
Таблица истинности:
A
1
1
0
0
B
1
0
1
0
F
1
0
0
1
2. Для какого из приведенных значений числа X истинно высказывание:
((X > 3) v (X > 2) v (X = 1)) -> (X > 4)?
1) 1 2) 2 3) 3 4) 4
3. Для какого слова истинно высказывание:
┐(Первая буква согласная —> (Вторая буква гласная v Последняя буква
гласная))?
1) ГОРЕ 2) ПРИВЕТ 3) КРЕСЛО 4) ЗАКОН
4.Для какого символьного выражения неверно:
Первая буква гласная → ┐(Последняя буква гласная)?
1) abced 2) bacde 3) dabec 4) abсde
Корректировка ответов учащихся.
4.Практическая работа. Из задания А3 задачи для тренировки №1, А10
задачи для тренировки №1, вопрос из презентаци
Логика2(см.
Приложение 2 ЭП. Презентацию “Логика 2” , Примеры решения логических
задач А3, А10).
1) Символом F обозначено одно из указанных ниже логических выражений
от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности
выражения F (см. таблицу справа). Какое выражение соответствует F?
1) X  ¬Y  Z 2) X  Y  Z 3) X  Y  ¬Z 4) ¬X  Y  ¬Z
2) 2) Для какого из указанных значений числа X истинно высказывание
((X < 5)→(X < 3))  ((X < 2)→(X < 1))
1) 1
2) 2
3) 3
4) 4
3) Рассмотрим пример построения таблицы истинности для следующего
сложного (составного) логического выражения:
4
5.Здоровьесберегающий элемент урока. Далее, вам ребята, предлагается
начать самостоятельную работу. Настроиться на эту нелегкую работу нам
поможет простое упражнение. Существует много различных способов
настроиться на работу. Я предлагаю вам один из них.
Выполним упражнения для глаз:
Изобразить в пространстве с закрытыми глазами:
•
Сердце
•
Круг
•
Букву М
•
Квадрат
•
Треугольник
закрыть глаза и представить по очереди цвета радуги как можно отчетливее.
Постарайтесь удержать это изображение в вашем мысленном образе в
течение нескольких секунд. (Пауза – молчание в течение 5 сек.) Спасибо!
Откройте глаза ребята.
6. Задания для самостоятельной работы (см. Приложение 2 ЭП. Примеры
решения логических задач А3, А10. Задания для тренировки А3 2-5, А10 2-5))
Задания А3:
2) Символом F обозначено одно из указанных ниже логических выражений
от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F
(см. таблицу справа). Какое выражение соответствует F?
1) ¬X  Y  ¬Z
2) X  Y  ¬Z 3) ¬X  ¬Y  Z 4) X  ¬Y  Z
X
0
0
3) Символом F обозначено одно из указанных ниже логических 0
Y
0
0
1
Z
0
1
0
F
1
0
0
X
0
0
4) Символом F обозначено одно из указанных ниже логических 0
Y
0
0
1
Z
0
1
0
F
1
0
1
выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы
истинности выражения F (см. таблицу справа). Какое выражение
соответствует F?
1) X  Y  Z2) ¬X  ¬Y  Z
3) X  Y  ¬Z 4) ¬X  ¬Y  ¬Z
выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы
истинности выражения F (см. таблицу справа). Какое выражение
соответствует F?
5
1) ¬X  ¬Y  Z
2) ¬X  ¬Y  Z
3) X  Y  ¬Z
4) X  Y  Z
3) Символом F обозначена логическая функция от двух аргументов
(A и B), заданная таблицей истинности. Какое выражение
соответствует F?
1) A → (¬A  ¬B)
2) A  B
3) ¬A → B 4) ¬A
 ¬B
A B F
0 0 1
0 1 1
1 0 1
1 1 0
Задания А10:
1) Для какого числа X истинно высказывание ((X > 3)(X < 3)) →(X <
1)
1)1
2)2
3)3
4) 4
2) Для какого числа X истинно высказывание
1)1
2)2
3)3
X > 1  ((X < 5)→(X < 3))
4) 4
3) Для какого имени истинно высказывание:
¬ (Первая буква имени гласная → Четвертая буква имени согласная)?
1)ЕЛЕНА
2)ВАДИМ 3)АНТОН 4)ФЕДОР
4) Для какого символьного выражения неверно высказывание:
Первая буква гласная → ¬ (Третья буква согласная)?
1)abedc
2)becde
3) babas
4) abcab
7. Контрольно-диагностический этап. Самопроверка по ключу(см.
Приложение 2 ЭП. Примеры решения логических задач. Ответы оценивание
по заранее определённым критериям).
8. Подведение итогов урока. Рефлексия. Лист самооценки.
9. Информация о домашнем задании.Разобрать примеры решения
логических задач местных авторов (см. Приложение 2 ЭП.Методика
полготовки к ЕГЭ по теме Логика ) и решать из заданий для тренировки (см.
Приложение 2 ЭП, Примеры решения логических задач А3, А10 6-10).
6
Аннотация к уроку. Данный урок предназначен для 9 класса по
закреплению темы «Логика» с использованием авторской электронной
пособии.
В
данном
электронном
пособии
имеются
лекции
по
математической логике, презентации, задачи, вопросы, тесты, глоссарий,
список литературы. Электронное пособие «Основы
логики» могут быть
полезен всем тем, кто самостоятельно изучает основы логики и готовится к
ЕГЭ.
Опытно-экспериментальная работа по выявлению эффективности
электронного пособия
Успеваемость групп
Проведенный
эксперимент
показал
следующие
результаты:
У кадетов экспериментальной группы абсолютная успеваемость намного
выше, чем у кадетов контрольного класса, качество знаний значительно
выше,
чем
у
контрольной
группы.
Наше исследование показало, что ученики 2 подгруппы, где обучение
проводилось с использованием электронного пособия, лучше освоили
материал и поэтому лучше отвечали на тест и вопросы устного опроса. Эти
результаты
доказывают
гипотезу
нашего
исследования.
Эксперимент показал, что электронное пособие является эффективным
компьютерным средством обучения, помогает школьникам лучше осваивать
учебный материал.
7