Конспект урока по информатике

advertisement
Конспект урока по информатике
Автор конспекта урока: Пуспешев ВладимирАлексадрович
Учитель: Казанцева Елена Аркадьевна
Методист: Авдеев Виталий Владимирович
Тема урока: Алгебра высказываний
Тип урока: Повторение, изучение нового материала
Возраст учащихся: класс
Задачи урока:
 Обучающая – формирование у учащихся понимания алгебраических
высказываний и таблице вероятности
 Развивающая – развивать умение качественно оценивать поставленную
задачу для правильного выбора способа решения задачи; развивать
самостоятельность; логическое мышления учащихся.
 Воспитательная – формировать интерес к предмету, навыки контроля и
самоконтроля; чувство ответственности, деловые качества учащихся.
После изучения темы ученики должны:
Знать:
Уметь:
План урока:
 Организационный момент
 Актуализация знаний
 Изучение нового материала
 Закрепление материала
 Подведение итогов
Средства обучения:
И
Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio
— соединение) или логическим умножением
Объединение двух (или нескольких) высказываний в одно с помощью союза «и»
называется операцие логического умножения или конъюнкцией.
и обозначается знаком умножения " *" (может также обозначаться знаками или &).
Высказывание А . В истинно тогда и только тогда, когда оба высказывания А и В
истинны. Например, высказывание "10 делится на 2 и 5 больше 3" истинно, а
высказывания "10 делится на 2 и 5 не больше 3", "10 не делится на 2 и 5 больше 3",
"10 не делится на 2 и 5 не больше 3" — ложны.
Образуем составное высказывание С, которое получится в результате конъюнкции
двух простых высказываний. С= А^В
Истинность такого высказывания задается специальной таблицей, таблицей
истинности логического умножения.
А
0
0
1
1
В
0
1
0
1
А^В
0
0
0
1
ИЛИ
Операция, выражаемая связкой "или" (в неисключающем смысле этого
слова), называется дизъюнкцией (лат. disjunctio — разделение) или логическим
сложением
Объединение двух (или нескольких) высказываний с помощью союза «или»
называется операцией логического сложения или дизъюнкцией.
и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только
тогда, когда оба высказывания А и В ложны. Например, высказывание "10 не делится
на 2 или 5 не больше 3" ложно, а высказывания "10 делится на 2 или 5 больше 3", "10
делится на 2 или 5 не больше 3", "10 не делится на 2 или 5 больше 3" — истинны.
Образуем составное высказывание С, которое получится в результате дизъюнкции
двух простых высказываний. С=АvВ
Истинность такого высказывания задается специальной таблицей, таблицей
истинности логического сложения.
А
0
0
1
1
В
0
1
0
1
АvВ
0
1
1
1
Порядок выполнения логических операций задается круглыми скобками. Но для
уменьшения числа скобок договорились считать, что сначала выполняется операция
отрицания(инверсия) ("не"), затем конъюнкция(*) ("и"), после конъюнкции —
дизъюнкция(+) ("или").
Задание:
Сравнить два логических высказывания с помощью таблице истенности. А^В и АvВ
Операции импликации и эквиваленции.
Логическая операция импликации «если А то В», обозначается А
следующей таблицей истинности.
А
0
0
1
1
В
0
1
0
1
А
1
1
0
1
В и задается
В
Логическая операция эквивалентности «А тогда В и только тогда», обозначается А~В и
задается следующей таблицей истинности
А
0
0
1
1
В
0
1
0
1
А~ В
1
0
0
1
Задание:
1 Докажите, что операция импликации
А
В равносильна логическому выражению АvВ
2 Докажите, что операция эквиволентности А~ В
высказыванию (А^В) v(А^В)
равносильна логическому
3 Докажите, что логическое высказывание А^В равносильно логическому высказыванию
АvВ
Download