PPt4Web Хостинг презентаций

Главная / Информатика / Основы логики  10 класс
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

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

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Основы логики  10 класс


Скачать эту презентацию

Презентация на тему: Основы логики  10 класс


Скачать эту презентацию



№ слайда 1 основы логики  Морозова Инна Валентиновна Учитель информатики и технологии МБОУ»
Описание слайда:

основы логики  Морозова Инна Валентиновна Учитель информатики и технологии МБОУ»СОШ №3 им. Г.В.Зимина» г. Калуги

№ слайда 2 Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания,
Описание слайда:

Алгебра логики (булева алгебра) - это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними.

№ слайда 3 Джордж Буль
Описание слайда:

Джордж Буль

№ слайда 4 Логическое высказывание — это любое повествовательное предложение, в отношении к
Описание слайда:

Логическое высказывание — это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

№ слайда 5 Пример: «Трава зеленая» -истинное высказывание. «Лев – птица» - ложное высказыва
Описание слайда:

Пример: «Трава зеленая» -истинное высказывание. «Лев – птица» - ложное высказывание.

№ слайда 6 Не всякое предложение является логическим высказыванием. Пример: «ученик десятог
Описание слайда:

Не всякое предложение является логическим высказыванием. Пример: «ученик десятого класса» «информатика — интересный предмет».

№ слайда 7 Употребляемые в обычной речи слова и словосочетания "не", "и", "или", "если... ,
Описание слайда:

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

№ слайда 8 Высказывания, образованные из других высказываний с помощью логических связок, н
Описание слайда:

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

№ слайда 9 Пример: Элементарные высказывания: «Петров — врач», «Петров — шахматист» Составн
Описание слайда:

Пример: Элементарные высказывания: «Петров — врач», «Петров — шахматист» Составные высказывания: "Петров — врач и шахматист", понимаемое как "Петров — врач, хорошо играющий в шахматы". "Петров — врач или шахматист", понимаемое в алгебре логики как "Петров или врач, или шахматист, или и врач и шахматист одновременно".

№ слайда 10 Чтобы обращаться к логическим высказываниям, их обозначают буквами. Пример: А =
Описание слайда:

Чтобы обращаться к логическим высказываниям, их обозначают буквами. Пример: А = «Луна – спутник Земли», А = 1 В = « 3* 2 = 5», В = 0

№ слайда 11 Пример: А ="Тимур поедет летом на море", В = "Тимур летом отправится в горы". А
Описание слайда:

Пример: А ="Тимур поедет летом на море", В = "Тимур летом отправится в горы". А и В = "Тимур летом побывает и на море,  и в горах»

№ слайда 12 Операции над логическими высказываниями
Описание слайда:

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

№ слайда 13 Таблица истинности это табличное представление логической схемы (операции), в ко
Описание слайда:

Таблица истинности это табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний.

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

Логическое «отрицание»    (инверсия или НЕ) обозначается чертой над высказыванием Ā .

№ слайда 15 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 16 Пример: А = «Луна — спутник Земли» А = "Луна — не спутник Земли"
Описание слайда:

Пример: А = «Луна — спутник Земли» А = "Луна — не спутник Земли"

№ слайда 17 Таблица истинности Высказывание А истинно, когда A ложно, и ложно, когда A истин
Описание слайда:

Таблица истинности Высказывание А истинно, когда A ложно, и ложно, когда A истинно.

№ слайда 18 Логическое умножение     ( «и», конъюнкция (лат. conjunctio — соединение)) обозн
Описание слайда:

Логическое умножение     ( «и», конъюнкция (лат. conjunctio — соединение)) обозначается точкой " . " (может также обозначаться знаками /\ или &). А . В, А /\ В, А & В

№ слайда 19 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 20 Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное ч
Описание слайда:

Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное число», С = 0 А & В = «10 делится на 2 и 5 больше 3», А & В = 1 А & С = «10 делится на 2 и 4 – чётное число», А & С = 0

№ слайда 21 Таблица истинности Высказывание А · В истинно тогда и только тогда, когда оба вы
Описание слайда:

Таблица истинности Высказывание А · В истинно тогда и только тогда, когда оба высказывания А и В истинны.

№ слайда 22 Логическое сложение    ( «или», дизъюнкция (лат. disjunctio — разделение) обозна
Описание слайда:

Логическое сложение    ( «или», дизъюнкция (лат. disjunctio — разделение) обозначается знаком v или +. А V В, А + В

№ слайда 23 Диаграмма Эйлера-Венна:
Описание слайда:

Диаграмма Эйлера-Венна:

№ слайда 24 Таблица истинности Высказывание А v В ложно тогда и только тогда, когда оба выск
Описание слайда:

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

№ слайда 25 Импликация (лат. implico — тесно связаны)  -операция, выражаемая связками   «есл
Описание слайда:

Импликация (лат. implico — тесно связаны)  -операция, выражаемая связками   «если ..., то…»,  «из ... следует…»,  «... влечет ...». Обозначается знаком . А В .

№ слайда 26 Таблица истинности Высказывание   А В ложно тогда и только тогда, когда А истинн
Описание слайда:

Таблица истинности Высказывание   А В ложно тогда и только тогда, когда А истинно, а В – ложно.

№ слайда 27 Эквиваленция (двойная импликация)   - операция, выражаемая связками «тогда и тол
Описание слайда:

Эквиваленция (двойная импликация)   - операция, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «... равносильно ...» Обозначается знаком    или  ~.   А В, А ~ В.

№ слайда 28 Таблица истинности Высказывание А В истинно тогда и только тогда, когда значения
Описание слайда:

Таблица истинности Высказывание А В истинно тогда и только тогда, когда значения А и В совпадают.      

№ слайда 29 Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное ч
Описание слайда:

Пример: А = «10 делится на 2», А= 1 В = «5 больше 3», В = 1 С = « 4 – нечётное число», С = 0 К = « 3 – чётное число», К = 0 А + В = «10 делится на 2 или 5 больше 3», А + В = 1 А + С = «10 делится на 2 или 4 – чётное число», А + С = 1 С + К = « 4 – нечётное число или 3 – чётное число», С+К = 0

№ слайда 30 Порядок выполнения логических операций 1.Сначала выполняется операция отрицания
Описание слайда:

Порядок выполнения логических операций 1.Сначала выполняется операция отрицания (“не”), 2. Затем конъюнкция (“и”), 3. После конъюнкции — дизъюнкция (“или”), 4. В последнюю очередь — импликация и эквиваленция.

№ слайда 31 Законы логики. A → B = ¬ A B Законы де Моргана ¬ (A B) = ¬ A ¬ B ¬ (A B) = ¬ A ¬
Описание слайда:

Законы логики. A → B = ¬ A B Законы де Моргана ¬ (A B) = ¬ A ¬ B ¬ (A B) = ¬ A ¬ B 3. Законы коммутативности А&B B&A AVB BVA 4. Законы ассоциативности (А&B)&C A&(B&C) (АVB)VC AV(BVC) 5. Законы дистрибутивности А&(BVC) (A&B)V(A&C) АV(B&C) (AVB)&(AVC) 6. Законы поглощения A&(AVB)A AV(A&B)A 7. Законы противоречия A&¬A=0 8. Закон исключения третьего AV¬A=1 9. Закон двойного отрицания ¬¬A=A 10. Закон контрапозиции A-›B ¬A->¬B

№ слайда 32 Список использованных источников информации. http://electrik.info/main/fakty/229
Описание слайда:

Список использованных источников информации. http://electrik.info/main/fakty/229-buleva-algebra-chast-1-nemnogo-istorii.html http://booleanalgebra.narod.ru/ http://www.mirea.ac.ru/d1/metodika/Indexmet.htm http://alglib.sources.ru/articles/logic.php http://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D00 http://www.sch861.ru/2-school/3-11-ikt/ikt/urok/logica/2.html· http://kpolyakov.narod.ru/school/ege.htm О.Б. Богомолова Логические задачи. — М. БИНОМ. Лаборатория знаний, 2005 В.Ю. Лыскова, Е.А. Ракитина Логика в информатике. — М. “Информатика и образование”. 1999 г. С.С. Коробков Элементы математической логики и теории вероятности. — Екатеринбург, 1999 М.И. Башмаков Уроки математики. Выпуск 4. Учимся логике. — Санкт-Петербург “Информатизация образования”, 2000 г. А.П. Бойко Практикум по логике. — М. “Издательский центр АЗ”, 1997 г. А.С. Жилин Логические задачи.

Скачать эту презентацию


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru