ХОД УРОКА (90 мин):
1. Целевая установка (2 мин.)
2. Активизация опорных знаний и умений учащихся: (18 мин.)
Слайд №1 |
Слайд №2 |
Слайд №3 |
Слайд №4 |
Слайд №5 |
- Затем обучающиеся меняются работами и выставляют оценки соседу. После сдают работы, и преподаватель диктует предварительные оценки. На следующем уроке преподаватель объявит откорректированные оценки. (2 мин)
III. Изучение нового материала (30 мин.)
Лекция проходит с применением ноутбука и мультимедийного проектора.
Слайд №6 |
- в естественном языке соответствует союзу «и»;
- в алгебре высказываний обозначение «&»;
- в языках программирования обозначение «Аnd».
Конъюнкция — это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
В алгебре множеств конъюнкции соответствует операция пересечен и.я множеств.
Таблица истинности Диаграмма Эйлера-Венна |
Слайд №7 |
- в естественном языке соответствует союзу «или»;
- обозначение «v»;
- в языках программирования обозначение «Or».
Дизъюнкция — это логическая операция, которая каждым двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.
В алгебре множеств дизъюнкции соответствует операция объединения множеств.
Таблица истинности Диаграмма Эйлера-Венна |
Слайд №8 |
- В естественном языке соответствует словам «неверно, что...» и частице «не»;
- обозначение « »;
- в языках программирования обозначение «Not».
Отрицание — это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.
В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, то есть множеству, получившемуся в результате отрицания множества А, соответствует множество А, дополняющее его до универсального множества.
Таблица истинности Диаграмма Эйлера-Венна |