Разделы презентаций


АЛГЕБРА ЛОГИКИ

Содержание

Ключевые словалогическое высказываниелогическая операциялогическая переменнаяпредикат

Слайды и текст этой презентации

Слайд 1АЛГЕБРА ЛОГИКИ
ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ И АЛГЕБРЫ ЛОГИКИ

АЛГЕБРА ЛОГИКИЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ И  АЛГЕБРЫ ЛОГИКИ

Слайд 2Ключевые слова
логическое высказывание
логическая операция
логическая переменная
предикат

Ключевые словалогическое высказываниелогическая операциялогическая переменнаяпредикат

Слайд 3Алгебра логики
Джордж Буль (1815-1864) – английский математик, основоположник алгебры логики.

Изучал логику мышления матема-тическими методами и разработал алгебраические методы решения

тради-ционных логических задач. Долгое время алгебра логики была известна достаточно узкому классу специалистов.

В 1938 году Клод Шеннон применил алгебру логики для описания процесса функционирования релейно-контактных и электронно-ламповых схем.

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

Слайд 4Высказывания и переменные

Высказывания и переменные

Слайд 5Высказывания и переменные
Задание 1. Выберите пословицы которые являются высказываниями.
Знание да

наука на вороту не висят
Береги платье снову,  а честь смолоду
Труд человека кормит, а лень портит
Готовь

сани летом, а телегу зимой

Не сиди сложа руки, так и не будет скуки

Добра не смыслишь, так худа не делай

Цыплят по осени считают

В зимний холод всякий молод

Не в свои сани не садись!

Без труда не вынешь рыбки из пруда

Ответ

Высказывания и переменныеЗадание 1. Выберите пословицы которые являются высказываниями.Знание да наука на вороту не висятБереги платье снову,  а честь смолодуТруд человека

Слайд 6Высказывания и переменные
Истинность или ложность составных высказываний зависит от истинности

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

операций над высказываниями).
Высказывания и переменныеИстинность или ложность составных высказываний зависит от истинности или ложности образующих их высказываний и определённой

Слайд 7Логические операции
Высказывание истинно тогда и только тогда, когда истинны оба

исходных высказывания.
Высказывание ложно тогда и только тогда, когда ложны оба

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

Логическое
умножение

Логическое
сложение

Высказыванию ставится в соот-ветствие новое высказывание, значение которого противопо-ложно исходному.

Инверсия

Логические операцииВысказывание истинно тогда и только тогда, когда истинны оба исходных высказывания.Высказывание ложно тогда и только тогда,

Слайд 8Логические операции
Ложно тогда и только тогда, когда посылка (первое) истинна,

а следствие (второе) ложно.
Следование
Пример высказывания:
Если верно списали пример, то

получили верный ответ.

A: Пример списали верно
B: Получили верный ответ

В высказывании нет информации о правильности самого решения. Анализи-ровать можно только то, что сказано в высказывании.
Если списали неверно, то ответ может быть любым.
Из ложной посылки можно получить истинное и ложное высказывание, из истинного только истинное.

Логические операцииЛожно тогда и только тогда, когда посылка (первое) истинна, а следствие (второе) ложно.СледованиеПример высказывания: Если верно

Слайд 9Логические операции
Высказывание истинно тогда, когда только одно из двух исходных

выска-зываний истинно.
Исключающая дизъюнкция
Пример высказывания:
Сегодня мы пойдем либо в

театр, либо в кино.

A: Мы пойдем в театр
B: Мы пойдем в кино

Невозможно отправиться в кино и в театр одновременно.
Но если не пойти в театр и не пойти в кино, высказывание будет ложным.

Логические операцииВысказывание истинно тогда, когда только одно из двух исходных выска-зываний истинно. Исключающая дизъюнкцияПример высказывания: Сегодня мы

Слайд 10Логические операции
Высказывание истинно тогда, когда оба исходных высказывания истинны или

оба исходных выска-зывания ложны.
Равнозначность
Пример высказывания:
Аттестат об образовании выдается тогда

и только тогда, когда выпускник успешно про-ходит государственную итоговую аттестацию.

A: Выдается аттестат
B: Успешное прохождение аттестации

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

Логические операцииВысказывание истинно тогда, когда оба исходных высказывания истинны или оба исходных выска-зывания ложны.РавнозначностьПример высказывания: Аттестат об

Слайд 11Обозначения логических операций

Обозначения логических операций

Слайд 12Логические выражения
Не
И
Или Либо
Следует Равносильно
Приоритет

Логические выраженияНеИИли ЛибоСледует РавносильноПриоритет

Слайд 13Логические выражения
Задание 2. Проверить, удовлетворяет ли слово ОКНО логическому условию:
если

первая буква гласная или вторая гласная, но не обе вместе,

то из того, что последняя буква согласная, следует, что предпоследняя буква гласная.

Ответ: Да

Логические выраженияЗадание 2. Проверить, удовлетворяет ли слово ОКНО логическому условию:если первая буква гласная или вторая гласная, но

Слайд 14Логические выражения
Задание 3. Приведите пример слова, которое НЕ удовлетворяет логическому

условию:
если первая буква гласная или вторая гласная, но не обе

вместе, то из того, что последняя буква согласная, следует, что предпоследняя буква гласная.

Выполним преобразования, разбирая выражение с конца.

Ответ: РОСТ

1

0

0

0

Р

О

С

Т

Логические выраженияЗадание 3. Приведите пример слова, которое НЕ удовлетворяет логическому условию:если первая буква гласная или вторая гласная,

Слайд 15Логические выражения
Задание 4. Сколько решений имеет логическое уравнение:

Ответ: 14
+
+
=14

Логические выраженияЗадание 4. Сколько решений имеет логическое уравнение:Ответ: 14++=14

Слайд 16Предикаты и множества истинности
Ответ

Предикаты и множества истинностиОтвет

Слайд 17Самое главное
Высказывание – это предложение, в отношении которого можно сказать,

истинно оно или ложно. Высказывания, образованные из других высказываний, называются

составными. Высказывание, никакая часть которого не является высказыванием, называется элементарным.
Истинность или ложность составных высказываний зависит от истинности или ложности образующих их высказываний и логических операций над высказываниями.
Логическая операция полностью может быть описана таблицей истинности, указывающей, какие значения принимает составное высказывание при всех возможных значениях образующих его элементарных высказываний.
Самое главноеВысказывание – это предложение, в отношении которого можно сказать, истинно оно или ложно. Высказывания, образованные из

Слайд 18Самое главное
Приоритет операций: отрицание; конъюнкция; дизъюнкция и строгая дизъюнкция; импликация

и эквиваленция.
Операции одного приоритета выполняются в порядке их следования, слева

направо. Скобки меняют порядок выполнения операций.
Предикат – это утверждение, содержащее одну или несколько переменных. Из имеющихся предикатов с помощью логических операций можно строить новые предикаты.

Самое главноеПриоритет операций: отрицание; конъюнкция; дизъюнкция и строгая дизъюнкция; импликация и эквиваленция.Операции одного приоритета выполняются в порядке

Слайд 19Вопросы и задания
Выбрать два противоположных высказывания:
Среди учеников деревни Сосновка только

один добирается до школы на автобусе
Все ученики деревни Сосновка добираются

до школы на автобусе
Никто из учеников деревни Сосновка не добирается до школы на автобусе
В деревне Сосновка есть хотя бы один ученик, который до школы добирается не на автобусе

Ответ

Ответ

Вопросы и заданияВыбрать два противоположных высказывания:Среди учеников деревни Сосновка только один добирается до школы на автобусеВсе ученики

Слайд 20Ответ: 12
Вопросы и задания
Сколько точек с целочисленными координатами удовлетворяют условию:
Решение
Ответ
Сколько

решений имеет логическое уравнение:
Ответ: 1

Ответ: 12Вопросы и заданияСколько точек с целочисленными координатами удовлетворяют условию:РешениеОтветСколько решений имеет логическое уравнение:Ответ: 1

Слайд 21Информационные источники
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6c/George_Boole.jpg/267px-George_Boole.jpg
http://start2finish.org/wp-content/uploads/2015/02/photodune-9850340-symbol-s.jpg
http://i.piccy.info/i7/c329fe9c30f528069f625349057186a0/1-2-550/47021940/013_010.jpg
http://i.мастерская-психолога.рф/u/70/9dbf66933a11e3a4cc8e8087cd4527/-/%D0%B2%D1%8B%D0%B1%D0%BE%D1%80%20%D0%BF%D1%83%D1%82%D0%B8.jpg
http://www.thegameengineer.com/blog/wp-content/uploads/2014/02/dreamstime_s_21174065.jpg



Информационные источникиhttps://upload.wikimedia.org/wikipedia/commons/thumb/6/6c/George_Boole.jpg/267px-George_Boole.jpghttp://start2finish.org/wp-content/uploads/2015/02/photodune-9850340-symbol-s.jpghttp://i.piccy.info/i7/c329fe9c30f528069f625349057186a0/1-2-550/47021940/013_010.jpghttp://i.мастерская-психолога.рф/u/70/9dbf66933a11e3a4cc8e8087cd4527/-/%D0%B2%D1%8B%D0%B1%D0%BE%D1%80%20%D0%BF%D1%83%D1%82%D0%B8.jpghttp://www.thegameengineer.com/blog/wp-content/uploads/2014/02/dreamstime_s_21174065.jpg

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


Для правообладателей

Яндекс.Метрика