Планирование уроков на учебный год (по учебнику К.Ю. Полякова, Е.А. Еремина, сокращенный курс, 2 часа в неделю)



Уроки 17 - 18
Логика и компьютер. Логические операции. Диаграммы Эйлера-Венна
§18. Логика и компьютер. §19. Логические операции. §20. Диаграммы






Содержание урока

§18. Логика и компьютер
§19. Логические операции

Введение

Операция «НЕ»

Операция «И»

Операция «ИЛИ»

Операция «исключающее ИЛИ»

Импликация

Эквивалентность

Другие логические операции

Логические выражения

Вопросы и задания, Задачи

§20. Диаграммы

§19. Логические операции


Введение


Высказывания бывают простые и сложные. Простые высказывания нельзя разделить на более мелкие высказывания. Примеры простых высказываний: «Сейчас идёт дождь»; «Форточка открыта». Сложные (составные) высказывания строятся из простых с помощью логических связок (операций) «И», «ИЛИ», «НЕ», «если..., то», «тогда и только тогда».

В алгебре логики высказывания обычно обозначаются латинскими буквами. Таким образом, мы уходим от конкретного содержания высказываний, нас интересует только их истинность или ложность. Например, можно обозначить буквой А высказывание «Сейчас идет дождь», а буквой В — высказывание «Форточка открыта». Так как высказывания могут быть истинными или ложными, введённые символы А и В можно рассматривать как логические переменные, которые могут принимать два возможных значения: «ложь» (0) и «истина» (1). Из простых высказываний строятся сложные высказывания:

НЕ А: «Сейчас нет дождя».
НЕ В: «Форточка закрыта».
А И В: «Сейчас идёт дождь и открыта форточка».
А ИЛИ В: «Сейчас идёт дождь или открыта форточка».
ЕСЛИ А, ТО В: «Если сейчас идёт дождь, то форточка открыта».

Кроме этих высказываний есть ещё и другие, которые можно получить из двух исходных. С некоторыми из них мы также познакомимся.

Операции «НЕ», «И» и «ИЛИ» используются чаще других. Оказывается, с их помощью можно выразить любую логическую операцию, поэтому эти три операции считают основными, базовыми.

Следующая страница Операция «НЕ»



Cкачать материалы урока







Наверх