6 - Алгебра высказываний - ppt

Содержание

Слайд 2

ЛОГИКА

НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

ЛОГИКА НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

Слайд 4

Джордж Буль – создатель алгебры логики

Джордж Буль – английский математик-самоучка
(1815-1864г)
Джордж Буль

Джордж Буль – создатель алгебры логики Джордж Буль – английский математик-самоучка (1815-1864г)
по праву считается отцом математической логики. Его именем назван раздел математической логики – булева алгебра.

Слайд 5

Джордж Буль – создатель алгебры логики

Буль изобрел своеобразную алгебру - систему обозначений

Джордж Буль – создатель алгебры логики Буль изобрел своеобразную алгебру - систему
и правил, применимую ко всевозможным объектам, от чисел до предложений.
Пользуясь этой системой, он мог закодировать высказывания (утверждения, истинность или ложность которых требовалось доказать) с помощью символов своего языка, а затем манипулировать ими, подобно тому как в математике манипулируют числами. Основными операциями булевой алгебры являются конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ).

Слайд 6

Применение алгебры логики для разработки ЭВМ

Через некоторое время стало понятно, что система

Применение алгебры логики для разработки ЭВМ Через некоторое время стало понятно, что
Буля хорошо подходит для описания электрических переключателей схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому как утверждение может быть либо истинным, либо ложным.
А еще несколько десятилетий спустя, уже в ХХ столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.

Слайд 7

Клод Шеннон связал алгебру логики с работой компьютера

Клод Шеннон
(1916-2001г) –
американский математик
В

Клод Шеннон связал алгебру логики с работой компьютера Клод Шеннон (1916-2001г) –
1936 году выпускник Мичиганского университета Клод Шеннон, которому был тогда 21 год, сумел ликвидировать разрыв между алгебраической теорией логики и ее практическим приложением

Слайд 8

Клод Шеннон связал алгебру логики с работой компьютера

Шеннон, имея два диплома бакалавра

Клод Шеннон связал алгебру логики с работой компьютера Шеннон, имея два диплома
- по электротехнике и по математике, выполнял обязанности оператора на неуклюжем механическом вычислительном устройстве под названием "дифференциальный анализатор"
Постепенно у Шеннона стали вырисовываться контуры устройства компьютера. Если построить электрические цепи в соответствии с принципами булевой алгебры, то они могли бы выражать логические отношения, определять истинность утверждений, а также выполнять сложные вычисления.

Слайд 9

Клод Шеннон связал алгебру логики с работой компьютера

Электрические схемы, очевидно, были бы

Клод Шеннон связал алгебру логики с работой компьютера Электрические схемы, очевидно, были
гораздо удобнее шестеренок и валиков, щедро смазанных машинным маслом у "дифференциального анализатора".
Свои идеи относительно связи между двоичным исчислением, булевой алгеброй и электрическими схемами Шеннон развил в докторской диссертации, опубликованной в 1938 году.

Слайд 10

Джон фон Нейман – создатель первой ЭВМ

Джон фон Нейман – американский математик
1903-1957

Джон фон Нейман – создатель первой ЭВМ Джон фон Нейман – американский математик 1903-1957

Слайд 11

Удивительные способности Неймана

Джон фон Нейман родился в 1903 году в семье будапештского

Удивительные способности Неймана Джон фон Нейман родился в 1903 году в семье
банкира и уже в восьмилетнем возрасте владел не только несколькими иностранными языками, но также знал основы высшей математики.
Он обладал феноменальной памятью и помнил все, что когда-либо слышал, видел или читал, мог дословно цитировать по памяти большие фрагменты книг, которые читал несколько лет назад.

Слайд 12

Появление первых ЭВМ

В 1944 году фон Нейман был направлен в качестве консультанта

Появление первых ЭВМ В 1944 году фон Нейман был направлен в качестве
по математическим вопросам в группу разработчиков первой ЭВМ ENIAC.
После окончания строительства ENIAC фон Нейман опубликовал отчет "Предварительное обсуждение логической конструкции электронной вычислительной машины". Этот отчет стал исходным пунктом в конструировании новых машин.
Сам Нейман занялся разработкой собственной версии вычислительной машины, которую назвал машиной с памятью с прямой адресацией - IAS (Immediate Address Storage).

Слайд 13

Открытие фон Неймана

Уже во время работ над ENIAC фон Нейман понял, что

Открытие фон Неймана Уже во время работ над ENIAC фон Нейман понял,
создание компьютеров с большим количеством переключателей и проводов, которые реализуют тот или иной алгоритм, очень долго и утомительно.
И он понял: в памяти машины должны быть не только данные, которые обрабатываются в ходе работы, но также и сама программа.
Таким образом, его фундаментальным открытием в области вычислительной техники стала мысль, которая сегодня кажется нам такой естественной: в ходе работы компьютера и программа и обрабатываемые ею данные должны находиться в одном пространстве оперативной памяти.

Слайд 14

Применение принципов алгебры логики для создания новой ЭВМ

В ходе строительства ENIAC Нейман

Применение принципов алгебры логики для создания новой ЭВМ В ходе строительства ENIAC
пришел к выводу, что десятичная арифметика, реализуемая в ENIAC, очень неэффективна.
Для каждого десятичного разряда были отведены 10 ламп, и в любой момент времени горела только одна (скажем, если горит седьмая лампа, то в разряде стоит 7, если девятая - 9 и т. д.). В своей машине десятичную арифметику Нейман заменил двоичной.

Слайд 15

«Фон-неймановская» машина

Все современные компьютеры в главных чертах повторяют архитектуру IAS (вычислительной машины,

«Фон-неймановская» машина Все современные компьютеры в главных чертах повторяют архитектуру IAS (вычислительной
сконструированной фон Нейманом), которая в специальной литературе сегодня так и именуется - "архитектура фон Неймана", или "фон-неймановская машина".
Машина фон Неймана состояла из пяти основных узлов: памяти, арифметико-логического устройства (АЛУ), устройства управления и устройств ввода-вывода (в современных микропроцессорах АЛУ и устройство управления объединены в одном корпусе).

Слайд 16

ВЫСКАЗЫВАНИЕ (суждение, утверждение)

повествовательное предложение, о котором можно однозначно сказать, что оно истинно

ВЫСКАЗЫВАНИЕ (суждение, утверждение) повествовательное предложение, о котором можно однозначно сказать, что оно
или ложно
(Пример: Париж – столица Франции)

Слайд 17

АЛГЕБРА ЛОГИКИ (высказываний)

наука об операциях над высказываниями

АЛГЕБРА ЛОГИКИ (высказываний) наука об операциях над высказываниями

Слайд 19

Понятия алгебры логики:

Логическая переменная – это простое высказывание, содержащее только одну мысль

Понятия алгебры логики: Логическая переменная – это простое высказывание, содержащее только одну

Обозначение: латинская буква (А, В, Х …)
Значение: ИСТИНА (1) или ЛОЖЬ (0)
Логическая функция (или формула или логическое выражение)– это составное высказывание, которое содержит несколько простых высказываний, соединенных между собой с помощью логических операций
Обозначение: F
Логические операции – логическое действие (логическое умножение – коньюнкция, логическое сложение – дизъюнкция, отрицание – инверсия, следование – импликация, равенство – эквивалентность)

Слайд 20

Объясните, почему следующие предложения не являются высказываниями:
а) Уходя гасите свет.
б) Какого цвета этот дом?
в) Посмотрите

Объясните, почему следующие предложения не являются высказываниями: а) Уходя гасите свет. б)
в окно.
2. Придумай 2 высказывания
3. Придумай сложное высказывание с союзом И

Слайд 21

Базовые логические операции

Угринович 10-11 Стр.126-129

Базовые логические операции Угринович 10-11 Стр.126-129

Слайд 22

Таблица истинности

таблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний

Таблица истинности таблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний

Слайд 23

Таблица истинности для конъюнкции (умножение)

Вывод:
Результат будет истинным тогда и только тогда,

Таблица истинности для конъюнкции (умножение) Вывод: Результат будет истинным тогда и только
когда

оба исходных высказывания истинны

Слайд 24

Таблица истинности для дизъюнкции (сложение)

Вывод:
Результат будет ложным тогда и только тогда,

Таблица истинности для дизъюнкции (сложение) Вывод: Результат будет ложным тогда и только

когда оба исходных высказывания ложны, и истинным

во всех остальных случаях

Слайд 25

Таблица истинности для инверсии (отрицание)

Вывод:
Результат будет ложным, если

исходное высказывание истинно, и

Таблица истинности для инверсии (отрицание) Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот.
наоборот.

Слайд 26

Таблица истинности для импликации (следование)

Вывод:
Результат будет ложным тогда и только тогда,

Таблица истинности для импликации (следование) Вывод: Результат будет ложным тогда и только

когда из истинного основания (А) следует ложное следствие (В)

Слайд 27

Таблица истинности для эквивалентности (равенство)

Вывод:
Результат будет истинным тогда и только тогда,

Таблица истинности для эквивалентности (равенство) Вывод: Результат будет истинным тогда и только

когда оба высказывания одновременно либо ложны, либо истинны

Слайд 28

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут
логические переменные и знаки логических операций, то получится
ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ
истина ложь

Слайд 29

Порядок выполнения логических операций:

Действия в скобках
Инверсия (отрицание ¬)
Конъюнкция (умножение И ∧)
Дизъюнкция (сложение

Порядок выполнения логических операций: Действия в скобках Инверсия (отрицание ¬) Конъюнкция (умножение
ИЛИ ∨)
Импликация (следование →)
Эквивалентность (равенство ≡)

Слайд 30

Повторяем

Повторяем

Слайд 31

Таблица истинности для конъюнкции (умножение)

Вывод:
Результат будет истинным тогда и только тогда,

Таблица истинности для конъюнкции (умножение) Вывод: Результат будет истинным тогда и только
когда

оба исходных высказывания истинны

Слайд 32

Таблица истинности для дизъюнкции (сложение)

Вывод:
Результат будет ложным тогда и только тогда,

Таблица истинности для дизъюнкции (сложение) Вывод: Результат будет ложным тогда и только

когда оба исходных высказывания ложны, и истинным

во всех остальных случаях

Слайд 33

Таблица истинности для инверсии (отрицание)

Вывод:
Результат будет ложным, если

исходное высказывание истинно, и

Таблица истинности для инверсии (отрицание) Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот.
наоборот.

Слайд 34

Таблица истинности для импликации (следование)

Вывод:
Результат будет ложным тогда и только тогда,

Таблица истинности для импликации (следование) Вывод: Результат будет ложным тогда и только

когда из истинного основания (А) следует ложное следствие (В)

Слайд 35

Таблица истинности для эквивалентности (равенство)

Вывод:
Результат будет истинным тогда и только тогда,

Таблица истинности для эквивалентности (равенство) Вывод: Результат будет истинным тогда и только

когда оба высказывания одновременно либо ложны, либо истинны

Слайд 36

Импликация (Следование)

когда из истины следует ложь

Вывод:
Результат будет ложным тогда и только

Импликация (Следование) когда из истины следует ложь Вывод: Результат будет ложным тогда и только тогда, Пример
тогда,

Пример

Слайд 37

Число 376 четное и трехзначное Зимой дети катаются на коньках и на лыжах Новый

Число 376 четное и трехзначное Зимой дети катаются на коньках и на
год мы встретим на даче либо на Красной площади Неверно, что Солнце движется вокруг Земли Если 10 октября будет солнечным, то зима будет теплой Земля имеет форму шара, который из космоса кажется голубым На уроке математики старшекурсники отвечали на вопросы преподавателя, а также писали самостоятельную работу Если вчера было воскресенье, то Дима вчера не был в институте и весь день гулял Если сумма цифр натурального числа делиться на 3, то число делиться на 3 Число делится на 3 тогда и только тогда, когда сумма цифр числа делится на 3

Слайд 38

Вопрос 1

1)Операция, соответствующая связке “ИЛИ” называется…………..
2)Обозначается……
3)Истинна тогда……

Вопрос 1 1)Операция, соответствующая связке “ИЛИ” называется………….. 2)Обозначается…… 3)Истинна тогда……

Слайд 39

Вопрос 2

1)Операция, соответствующая союзу “И” называется…………..
2)Обозначается……
3)Истинна тогда……

Вопрос 2 1)Операция, соответствующая союзу “И” называется………….. 2)Обозначается…… 3)Истинна тогда……

Слайд 40

Вопрос 3

1)Операция, соответствующая связкам “ЕСЛИ ..., ТО”, “ИЗ ... СЛЕДУЕТ”, “... ВЛЕЧЕТ

Вопрос 3 1)Операция, соответствующая связкам “ЕСЛИ ..., ТО”, “ИЗ ... СЛЕДУЕТ”, “...
...”, называется…………..
2)Обозначается……
3)Ложь тогда……

Слайд 41

Вопрос 4

1)Операция, соответствующая связкам “тогда и только тогда”, "необходимо и достаточно”, “...

Вопрос 4 1)Операция, соответствующая связкам “тогда и только тогда”, "необходимо и достаточно”,
равносильно ...”, называется…………..
2)Обозначается……
3)Истинна тогда……

Слайд 42

№6_1 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_1 Обозначьте простые высказывания логическими переменными А и В и запишите логическую
операцию

Марина старше Светы. И Оля старше Светы

Слайд 43

2. Половина класса изучает английский язык или немецкий

№6_2 Обозначьте простые высказывания логическими

2. Половина класса изучает английский язык или немецкий №6_2 Обозначьте простые высказывания
переменными А и В и запишите логическую операцию

Слайд 44

№6_3 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_3 Обозначьте простые высказывания логическими переменными А и В и запишите логическую
операцию

3. В кабинете есть учебники. В кабинете есть справочники.

Слайд 45

№6_4 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_4 Обозначьте простые высказывания логическими переменными А и В и запишите логическую
операцию

4. Слова в этом предложении начинаются на букву Ч. Слова в этом предложении начинаются на букву А.

Слайд 46

№6_5 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_5 Обозначьте простые высказывания логическими переменными А и В и запишите логическую
операцию

3. Часть туристов любит чай. Остальные туристы любят молоко

Слайд 47

№6_6 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_6 Обозначьте простые высказывания логическими переменными А и В и запишите логическую
операцию

3. Синий кубик меньше красного. Синий кубик меньше зеленого

Слайд 48

№6_7 Обозначьте простые высказывания логическими переменными А и В и запишите логическую

№6_7 Обозначьте простые высказывания логическими переменными А и В и запишите логическую операцию 3. Х=3, Х>2
операцию

3. Х=3, Х>2

Слайд 49

Построение таблиц истинности

Для решения логического выражения необходимо построить таблицу истинности. Это таблица,

Построение таблиц истинности Для решения логического выражения необходимо построить таблицу истинности. Это
в которой по действиям показано, какие значения принимает логическое выражение при всех возможных наборах значений логических переменных.
Имя файла: 6---Алгебра-высказываний---ppt.pptx
Количество просмотров: 22
Количество скачиваний: 0