Главная / Информатика / Презентация по информатике на тему "Алгебра высказываний"

Презентация по информатике на тему "Алгебра высказываний"

Алгебра высказываний Цели урока: Повторить материал предыдущего урока. Изучит...
Повторение Какие существуют основные формы мышления? В чём состоит разница ме...
Алгебра высказываний была разработана для того, чтобы можно было определить и...
В логике высказываниям ставятся в соответствии логические переменные, обознач...
Высказывания могут быть истинными (1) и ложными (о) Например: А=«Два умножить...
Определите истинность высказываний и заполните таблицу. А=«Квадрат – это ромб...
В логике над высказываниями можно проводить логические операции, в результате...
Логическое умножение (конъюнкция) Объединение двух (или нескольких) высказыва...
Определите истинность высказываний «2*2=5 и 3*3=10» «2*2=5 и 3*3=9» «2*2=4 и ...
Запись на формальном языке А, В – логические переменные F- логическая функция...
Таблица истинности Таблица истинности – таблица, в которой перечислены все во...
Логическое сложение (дизъюнкция) Объединение двух (или нескольких) высказыван...
Определите истинность высказываний «2*2=5 или 3*3=10» «2*2=5 или 3*3=9» «2*2=...
Запись на формальном языке А, В – логические переменные F- логическая функция...
Таблица истинности Таблица истинности – таблица, в которой перечислены все во...
Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию наз...
Определите истинность высказываний А=«Идёт урок» А = «Не идёт урок» В=«На ули...
Запись на формальном языке А– логическая переменная F- логическая функция А- ...
Таблица истинности Таблица истинности – таблица, в которой перечислены все во...
Логические выражения Для записи составного высказывания в виде логического вы...
Например: Составное высказывание: (2·2=5 или 2·2=4) и (2·2≠5 или 2·2≠4) Оно с...
Порядок выполнения логических операций (приоритет) Скобки Инверсия (отрицание...
Расставьте порядок выполнения действий F = А & (А  В) & (В  В) 1 2 3 4 5
Логическое следование (импликация) Логическое следование (импликация) образуе...
Определите истинность высказываний «Если месяц июль, то у учеников каникулы» ...
Запись на формальном языке А, В – логические переменные F- логическая функция...
Таблица истинности Таблица истинности – таблица, в которой перечислены все во...
F=А→В равносильна А  В В алгебре высказываний все логические функции можно с...
Логическое равенство (эквивалентность) Логическое равенство (эквивалентность)...
Определите истинность высказываний «Компьютер может производить вычисления то...
Запись на формальном языке А, В – логические переменные F- логическая функция...
Таблица истинности Таблица истинности – таблица, в которой перечислены все во...
F=А ~ В равносильна (А  В) & (А  В) А	В	В				 0	0	1				 0	1	0				 1	0	1				...
F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ			 0	0	1	1			 0	1	0	0			 1	0	...
F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А		 0	0	1	1	1		 0	1	0	0	1		 1...
F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А	АВ	 0	0	0	1	1	1	 0	1	0	0	1...
F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А	АВ	(А  В) & (А  В) 0	0	1...
F=А ~ В равносильна (А  В) & (А  В) В алгебре высказываний все логические ф...
1 из 38

Описание презентации по отдельным слайдам:

№ слайда 1 Алгебра высказываний Цели урока: Повторить материал предыдущего урока. Изучить п
Описание слайда:

Алгебра высказываний Цели урока: Повторить материал предыдущего урока. Изучить понятия: логическая переменная, логическая функция, таблица истинности. Познакомиться с тремя логическими функциями: дизъюнкция, конъюнкция, инверсия. Вопрос: почему эту тему мы изучаем в курсе информатике?

№ слайда 2 Повторение Какие существуют основные формы мышления? В чём состоит разница между
Описание слайда:

Повторение Какие существуют основные формы мышления? В чём состоит разница между объёмом и содержанием понятия? Может ли высказывание быть вопросительным предложением? Какое высказывание называется составным? Как определяется истинность или ложность простого высказывания? Составного высказывания?

№ слайда 3 Алгебра высказываний была разработана для того, чтобы можно было определить исти
Описание слайда:

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

№ слайда 4 В логике высказываниям ставятся в соответствии логические переменные, обозначаем
Описание слайда:

В логике высказываниям ставятся в соответствии логические переменные, обозначаемые прописными буквами латинского алфавита. Например: А=«Два умножить на два равно четырём» В= «Два умножить на два равно пяти»

№ слайда 5 Высказывания могут быть истинными (1) и ложными (о) Например: А=«Два умножить на
Описание слайда:

Высказывания могут быть истинными (1) и ложными (о) Например: А=«Два умножить на два равно четырём» А=1 В= «Два умножить на два равно пяти» В=0

№ слайда 6 Определите истинность высказываний и заполните таблицу. А=«Квадрат – это ромб» В
Описание слайда:

Определите истинность высказываний и заполните таблицу. А=«Квадрат – это ромб» В=«Земля вращается вокруг своей оси» С=«Солнце вращается вокруг земли» Д=«В равнобедренном треугольнике все стороны равны» Е=«Сумма углов треугольника равна 1800» F=«Процессор – устройство вывода информации» 1 1 0 0 1 0

№ слайда 7 В логике над высказываниями можно проводить логические операции, в результате ко
Описание слайда:

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

№ слайда 8 Логическое умножение (конъюнкция) Объединение двух (или нескольких) высказываний
Описание слайда:

Логическое умножение (конъюнкция) Объединение двух (или нескольких) высказываний в одно с помощью союза «И» называется операцией логического умножения или конъюнкцией. А «и» В Составное высказывание, образованное в результате конъюнкции, истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.

№ слайда 9 Определите истинность высказываний «2*2=5 и 3*3=10» «2*2=5 и 3*3=9» «2*2=4 и 3*3
Описание слайда:

Определите истинность высказываний «2*2=5 и 3*3=10» «2*2=5 и 3*3=9» «2*2=4 и 3*3=10» «2*2=4 и 3*3=9» 0 0 0 0 1 0 1 0 0 1 1 1

№ слайда 10 Запись на формальном языке А, В – логические переменные F- логическая функция &
Описание слайда:

Запись на формальном языке А, В – логические переменные F- логическая функция & - логическое умножение (конъюнкция) F = А & В

№ слайда 11 Таблица истинности Таблица истинности – таблица, в которой перечислены все возмо
Описание слайда:

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

№ слайда 12 Логическое сложение (дизъюнкция) Объединение двух (или нескольких) высказываний
Описание слайда:

Логическое сложение (дизъюнкция) Объединение двух (или нескольких) высказываний в одно с помощью союза «ИЛИ» называется операцией логического сложения или дизъюнкцией. А «или» В Составное высказывание, образованное в результате конъюнкции, истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

№ слайда 13 Определите истинность высказываний «2*2=5 или 3*3=10» «2*2=5 или 3*3=9» «2*2=4 и
Описание слайда:

Определите истинность высказываний «2*2=5 или 3*3=10» «2*2=5 или 3*3=9» «2*2=4 или 3*3=10» «2*2=4 или 3*3=9» 0 0 0 0 1 1 1 0 1 1 1 1

№ слайда 14 Запись на формальном языке А, В – логические переменные F- логическая функция 
Описание слайда:

Запись на формальном языке А, В – логические переменные F- логическая функция  - логическое сложение (дизъюнкция) F = А  В

№ слайда 15 Таблица истинности Таблица истинности – таблица, в которой перечислены все возмо
Описание слайда:

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

№ слайда 16 Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию называ
Описание слайда:

Логическое отрицание (инверсия) Присоединение частицы «НЕ» к высказыванию называется операцией логического отрицания или инверсией. «не» А Логическое отрицание (инверсия), делает истинное высказывание ложным и, наоборот, ложное - истинным.

№ слайда 17 Определите истинность высказываний А=«Идёт урок» А = «Не идёт урок» В=«На улице
Описание слайда:

Определите истинность высказываний А=«Идёт урок» А = «Не идёт урок» В=«На улице идёт снег» В=«На улице не идёт снег» 1 0 1 0

№ слайда 18 Запись на формальном языке А– логическая переменная F- логическая функция А- лог
Описание слайда:

Запись на формальном языке А– логическая переменная F- логическая функция А- логическое отрицание (инверсия) F = А

№ слайда 19 Таблица истинности Таблица истинности – таблица, в которой перечислены все возмо
Описание слайда:

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

№ слайда 20 Логические выражения Для записи составного высказывания в виде логического выраж
Описание слайда:

Логические выражения Для записи составного высказывания в виде логического выражения нужно выделить простые высказывания и логические связи между ними.

№ слайда 21 Например: Составное высказывание: (2·2=5 или 2·2=4) и (2·2≠5 или 2·2≠4) Оно соде
Описание слайда:

Например: Составное высказывание: (2·2=5 или 2·2=4) и (2·2≠5 или 2·2≠4) Оно содержит два простых: А = «2·2=5» - ложно (0), В = «2·2=4» - истинно (1). Тогда составное высказывание запишем: (А или В) и (не А или не В) Запишем логическое выражение: F=(А  В) & (А  В) Определим истинность F=(0  1) & (1  0) = 1 & 1 = 1

№ слайда 22 Порядок выполнения логических операций (приоритет) Скобки Инверсия (отрицание) К
Описание слайда:

Порядок выполнения логических операций (приоритет) Скобки Инверсия (отрицание) Конъюнкция (логическое умножение) по порядку Дизъюнкция (логическое сложение) по порядку F = (А  В) & (А  В) 1 2 4 3 5

№ слайда 23 Расставьте порядок выполнения действий F = А & (А  В) & (В  В) 1 2 3 4 5
Описание слайда:

Расставьте порядок выполнения действий F = А & (А  В) & (В  В) 1 2 3 4 5

№ слайда 24 Логическое следование (импликация) Логическое следование (импликация) образуется
Описание слайда:

Логическое следование (импликация) Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «ЕСЛИ…, ТО…» если А, то В Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда и только тогда, когда из истиной предпосылки (первого высказывания) следует ложный вывод (второе высказывание).

№ слайда 25 Определите истинность высказываний «Если месяц июль, то у учеников каникулы» (В)
Описание слайда:

Определите истинность высказываний «Если месяц июль, то у учеников каникулы» (В) (А)

№ слайда 26 Запись на формальном языке А, В – логические переменные F- логическая функция →
Описание слайда:

Запись на формальном языке А, В – логические переменные F- логическая функция → - логическое следование (импликация) F = А → В

№ слайда 27 Таблица истинности Таблица истинности – таблица, в которой перечислены все возмо
Описание слайда:

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

№ слайда 28 F=А→В равносильна А  В В алгебре высказываний все логические функции можно свес
Описание слайда:

F=А→В равносильна А  В В алгебре высказываний все логические функции можно свести путём логических преобразований к трём базовым: дизъюнкции, конъюнкции, инверсии А В А А  В 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1

№ слайда 29 Логическое равенство (эквивалентность) Логическое равенство (эквивалентность) об
Описание слайда:

Логическое равенство (эквивалентность) Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «…ТОГДА И ТОЛЬКО ТОГДА, КОГДА…» А тогда и только тогда, когда В Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

№ слайда 30 Определите истинность высказываний «Компьютер может производить вычисления тогда
Описание слайда:

Определите истинность высказываний «Компьютер может производить вычисления тогда и только тогда, когда компьютер включен. (В) (А)

№ слайда 31 Запись на формальном языке А, В – логические переменные F- логическая функция ~
Описание слайда:

Запись на формальном языке А, В – логические переменные F- логическая функция ~ - логическое равенство (эквивалентность) F = А ~ В

№ слайда 32 Таблица истинности Таблица истинности – таблица, в которой перечислены все возмо
Описание слайда:

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

№ слайда 33 F=А ~ В равносильна (А  В) & (А  В) А	В	В				 0	0	1				 0	1	0				 1	0	1				 1
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) А В В 0 0 1 0 1 0 1 0 1 1 1 0

№ слайда 34 F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ			 0	0	1	1			 0	1	0	0			 1	0	1	1
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) А В В АВ 0 0 1 1 0 1 0 0 1 0 1 1 1 1 0 1

№ слайда 35 F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А		 0	0	1	1	1		 0	1	0	0	1		 1	0
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) А В В АВ А 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0

№ слайда 36 F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А	АВ	 0	0	0	1	1	1	 0	1	0	0	1	1
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) А В В АВ А АВ 0 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 1 0 1

№ слайда 37 F=А ~ В равносильна (А  В) & (А  В) А	В	В	АВ	А	АВ	(А  В) & (А  В) 0	0	1	1
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) А В В АВ А АВ (А  В) & (А  В) 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1

№ слайда 38 F=А ~ В равносильна (А  В) & (А  В) В алгебре высказываний все логические функ
Описание слайда:

F=А ~ В равносильна (А  В) & (А  В) В алгебре высказываний все логические функции можно свести путём логических преобразований к трём базовым: дизъюнкции, конъюнкции, инверсии А В В АВ А АВ (А  В) & (А  В) 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 1

Презентация по информатике на тему "Алгебра высказываний"
  • Информатика
Описание:

Презентация "Алгебра высказываний" предназначена для изучения темы "Основы логики" в курсе информатики 10 класс.

Презентацию можно использовать для сопровождения второго урока в теме "Основы логики".

Задачи урока:

1. Повторить материал предыдущего урока. 2. Изучить  понятия: логическая переменная, логическая функция, таблица истинности.

 

3. Познакомиться  с тремя логическими функциями: дизъюнкция, конъюнкция, инверсия. 4. Познакомиься с понятием "равносильность высказываний" Данная презентация содержит 38 слайдов, которые содержат теоретичекий материал, а так-же  задани\ для фронтальной работы с класом.

  1.  
Автор Гаспоревич Ольга Евгеньевна
Дата добавления 10.01.2015
Раздел Информатика
Подраздел
Просмотров 459
Номер материала 52249
Скачать свидетельство о публикации

Оставьте свой комментарий:

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

Получить новый код
* Обязательные для заполнения.


Комментарии:

↓ Показать еще коментарии ↓