Конспект урока "Алгебра логики" 9 класс


Конспект урока информатики в 9 классе
Сладкова Надежда Михайловна,
учитель информатики МБОУ ООШ №15 г. Ельца Липецкой области
Тема: «Алгебра логики»
Цель: сформировать у учащихся понятие форм мышления, сформировать
понятия: логическое высказывание, логические величины, логические
операции.
Задачи:
Образовательная: познакомить детей с формами мышления, сформировать
понятия: логическое высказывание, логические величины, логические
операции.
Развивающая: создать условия для развития познавательного интереса
учащихся, способствовать развитию памяти, внимания, логического мышления;
Воспитательная: способствовать воспитанию умения выслушивать мнение
других, работать в коллективе и группах.
Тип урока: урок изучения нового материала.
Методы обучения: объяснительно-иллюстративный, исследовательский,
практический.
Оборудование и программное обеспечение:
интерактивная презентация по теме "Основы логики”;
интерактивная доска;
дидактический раздаточный материал.
План урока:
1. Организационный момент. (3 мин)
2. Подготовка к восприятию нового материала. (7 мин)
3. Изучение нового материала.(15 мин)
4. Закрепление знаний (15 мин)
5. Подведение итогов урока. (3 мин)
6. Домашнее задание (2 мин)
Ход занятия
1. Организационный момент (проверка присутствующих, проверка
готовности к работе).
2. Подготовка к восприятию нового материала.
Вы уже знаете, что наука информатика держится на трех основных китах.
Назовите, пожалуйста, их? Ответ: (логика, алгоритмы и программы).
Сегодня мы начинаем комплекс уроков, посвященных именно логике.
Что же такое ЛОГИКА и для чего она нужна? Слова «логично», «соответствует
логике» вы, вероятно, встречали в жизни. Что они означают? (Ответы
учащихся)
А какое отношение логика имеет к информатике и компьютерной технике, вы
узнаете из наших уроков по этой теме. Запишите тему урока «Алгебра логики»
в тетрадь.
3. Изучение нового материала.
Немного из истории:
1. 1 этап – формальная логика, основатель – Аристотель (384–322гг. до н.э. )
Ввел основные формулы абстрактного мышления.
2. 2 этап – математическая логика, основатель немецкий ученый и
философ Лейбниц(1642–1716), предпринял попытку логических
вычислений.
3. 3 этап – Алгебра высказываний (Булева алгебра), основатель –
английский математик Джордж Буль (1815–1864),ввел алфавит,
орфографию и грамматику для математической логики.
Запишите определение логики и ключевые слова.
Логика – это наука о формах и способах мышления.
Основные формы мышления:
Понятие;
Высказывание;
Умозаключение.
Высказывание это языковое образование, в отношении которого имеет
смысл говорить о его истинности или ложности (Аристотель).
В алгебре логики высказывания обозначаются именами логических
переменных, которые могут принимать лишь два значения "истинно” и
"ложно”.
Истинно = 1
Ложно = 0
Примерами высказываний могут служить следующие утверждения:
1. "Земля – планета Солнечной системы”.
2. "4 + 6 > 10”.
3. "Число 15 – простое”.
1-е высказывание истинно, высказывания 2, 3 – ложные.
Утверждения "х>0”, "Выучить логику просто” не являются высказываниями,
так как судить об их истинности или ложности невозможно.
Приведенные примеры являются простыми высказываниями (суждениями).
Используя союзы "и”, "или” из простых высказываний образуют составные
(сложные) высказывания. Например: "На улице идет дождь и дует ветер”.
Если истинность или ложность простых высказываний устанавливается в
результате соглашения на основании здравого смысла, то истинность или
ложность составных высказываний вычисляется с помощью алгебры
высказываний.
Для образования новых высказываний наиболее часто используют базовые
логические операции, выражаемые с помощью логических связок "и”, "или”,
"не”.
В алгебре высказываний все логические функции могут быть сведены
путем логического преобразования к трем базовым: конъюнкции,
дизъюнкции и инверсии.
Введем перечисленные логические операции.
Конъюнкция - логическое умножение (от латинского conjunctio - союз,
связь):
в естественном языке соответствует союзу «И»
в алгебре высказываний обозначение «&»
в языках программирования обозначение «And».
Конъюнкция - это логическая операция, ставящая в соответствие каждым двум
простым (или исходным) высказываниям составное высказывание, являющееся
истинным тогда и только тогда, когда оба исходных высказывания истинны.
Если хотя бы одно из составляющих высказываний ложно, то и полученное из
них с помощью союза «И» сложное высказывание также считается ложным.
В алгебре множеств конъюнкции соответствует операция пересечения
множеств, т.е. множеству получившемуся в результате умножения множеств А
и В соответствует множество, состоящее из элементов, принадлежащих
одновременно двум множествам.
Таблица истинности
Диаграмма Эйлера-
Венна
A
B
А&В
1
1
1
1
0
0
0
1
0
0
0
0
Итак, если два высказывания соединены союзом "И", то полученное сложное
высказывание истинно тогда и только тогда, когда истинны оба исходных
высказывания.
Дизъюнкция - логическое сложение (от латинского disjunctio - разобщение,
различие):
в естественном языке соответствует союзу «ИЛИ»
в алгебре высказываний обозначение «V» или «+»
в языках программирования обозначение «Or».
Дизъюнкция - это логическая операция, которая каждым двум простым (или
исходным) высказываниям ставит в соответствие составное высказывание,
являющееся ложным тогда и только тогда, когда оба исходных высказывания
ложны и истинным, когда хотя бы одно из двух образующих его высказываний
истинно.
В алгебре множеств дизъюнкции соответствует операция объединения
множеств, т.е. множеству получившемуся в результате сложения множеств А и
В соответствует множество, состоящее из элементов, принадлежащих либо
множеству А, либо множеству В.
Таблица истинности
A
B
A +
B
1
1
1
1
0
1
0
1
1
0
0
0
Итак, если два высказывания соединены союзом "ИЛИ", то полученное
сложное высказывание истинно когда истинно хотя бы одно из составляющих
высказываний.
Рассмотренные выше операции были двуместными (бинарными), т.е.
выполнялись над двумя операндами (высказываниями). В алгебре логики
определена и широко используется и одноместная (унарная) операция
отрицание.
Инверсия - отрицание (от латинского inversio переворачивание,
перестановка):
в естественном языке соответствует словам «неверно, что...» и частице «не»
в алгебре высказываний обозначение «¬» или «-»
в языках прогр