Презентация по информатике на тему " основы логики" (10 класс)

• 1 слайд

  Основы Логики
  « Человек, рассуждающий логично, приятно выделяется на фоне реального мира.» Элберт Хаббард.
  
  Преподаватель общеобразовательных дисциплин: Зарипова Р.Ж.
  

• 2 слайд

  Формы мышления
  Основные понятия
  Понятие
  Высказывание
  Умозаключение
  Содержание понятия
  Объем понятия
  Логическая форма суждения
  Основной принцип формальной логики
  Логика
  
  

• 3 слайд

  Родом Аристотель был из города Стагира на фракийском побережье полуострова Халькидика. Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта - будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласный со своим учителем.
  В 343 году до н.э. царь Филипп приглашает Аристотеля стать наставником своего сына Александра. Когда через несколько лет Александр сам становится царем, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодежь, которой читает курсы различных наук. В 323 году до н.э. умер Александр Македонский и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, вынужден был покинуть Афины. Год спустя он умер на острове Евбея.
  Аристотеля считают основоположником логики. В определении Аристотеля логика представляет собой науку о выводе одних умозаключений из других сообразно их логической форме. В соответствии с этим логику Аристотеля называют формальной. В своих трудах Аристотель впервые обосновал один из важнейших разделов логики √ учение о суждениях и силлогизмах.
  
  

• 4 слайд

  Логика (от греч. Logos –слово, понятие, рассуждение, разум)
  Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.
  
  
  Формы мышления
  понятие
  умозаключение
  суждение
  (высказывание,
  утверждение)
  

• 5 слайд

  Понятие
  Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличить их от других.
  Пример понятие выделяет существенные признаки объекта, которые отличают его от других объектов. Объекты, объединенные понятием, образуют некоторое множество.
  

• 6 слайд

  Логические характеристики понятия:
  Содержание понятия-
  совокупность существенных признаков, отраженных в этом понятии
  Объем понятия
  множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия.
  

• 7 слайд

  Круги Эйлера
  геометрическая иллюстрация объемов понятий и отношений между ними
  E – множество животных;
  A –множество травоядных животных;
  B – множество хищных животных;
  C –множество млекопитающих;
  А
  B
  E
  C
  

• 8 слайд

  Высказывания
  Высказывания – это формулировка своего понимания окружающего мира. Высказывание является повествовательным предложением, в котором что либо утверждается или отрицается.
  Пример:
  Истинное высказывание: « Клавиатура – устройство ввода».
  Ложное высказывание: «Жесткий диск, относится к внутренней памяти».
  
  
  

• 9 слайд

  Какие из предложений являются высказываниями? Определите их истинность.
  
  Какой длины лента?
  Прослушайте сообщение.
  Делайте утреннюю зарядку!
  Назовите устройство вывода информации.
  Кто отсутствует?
  Париж –столица Англии.
  Число 11 является простым.
  4+5=10.
  Без труда не вытащишь и рыбку из пруда.
  Сложите числа 2и 5.
  Некоторые медведи живут на севере.
  Чему равно расстояние от Москвы до Ленинграда?
  
  

• 10 слайд

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

• 11 слайд

  Примеры верных умозаключений
  Умозаключение
  Все люди смертны.
  Сократ – человек.
  Сократ смертен.
  
  Форма умозаключения
  Все S есть P.
  Некоторые А есть S.
  Некоторые А есть P.
  

• 12 слайд

  Примеры верных логических умозаключений:
  Умозаключение
  Все граждане России имеют право на отдых.
  Я – гражданин России.
  Я имею право на отдых.
  
  Форма умозаключения
  Все S есть P.
  А есть S.
  А есть P.
  
  

• 13 слайд

  Примеры верных умозаключений
  Умозаключение
  Если цветы поливают, то они не засохнут.
  Цветы засохли.
  Цветы не поливали.
  
  Форма умозаключения
  Если S есть P1, то S не есть P2.
  S есть P2.
  S не есть P1.
  
  
  

• 14 слайд

  Логическая форма суждения
  Для определения истинности сложных суждений важна форма высказывания. Форма суждения в отличие от его содержания, объективна, т.е. не зависит от тех или иных взглядов человека.
  
  
  
  Задание 1. Определить форму суждений:
  Некоторые школьники – отличники.
  Некоторые книги имеют страницы.
  Некоторые планеты вращаются вокруг Солнца.
  Задание 2. Определить форму суждений:
  Все медузы не имеют головы.
  Люди не боги.
  Все люди свободны.
  

• 15 слайд

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

• 16 слайд

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

• 17 слайд

  Рассмотри три базовые логические операции – конъюнкция, дизъюнкция, инверсия и дополнительные – импликация и эквивалентность.
  
  
  Конъюнкция (о лат.conjunctio-связываю) – логическое умножение.
  Обозначение A&B или A^B
  Союз в естственном языке И
  Правило истинности
  Составное высказывание, образованное в результате логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания.
  
  
  

• 18 слайд

  Дизъюнкция (от лат.disjunctio-различаю)
  логическое сложение
  Обозначение A B
  Союз в естственном языке или
  Правило истинности
  Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
  
  

• 19 слайд

  Инверсия (от лат.Inversio – переворачиваю)
  отрицание
  Обозначение или  А
  Союз в естственном языке НЕ A
  Правило истинности
  Логическое отрицание (инверсия) делает истинное высказывание ложным, а ложное - истинным.
  
  
  

• 20 слайд

  Импликация (от лат. Implikatio – тесно связывать)
  логическое следование
  Обозначение AB
  Союз в естственом языке Если А, то В
  А- условие B- следствие
  Правило истинности
  Составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда, когда из истинной посылки (высказывания) следует ложный вывод (второе высказывание)
  
  
  

• 21 слайд

  Эквивалентность ( от лат.aeguivalens-равноценное)
  логическое равенство
  Обозначение А ≡ B или А ⇔ B
    Союз в естственном языке , тогда и только тогда.
  Правило истинности
  Составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно только тогда, когда оба высказывания одновременно либо истинны, либо ложны
  
  
  
  
  

• 22 слайд

  Приоритет действий
  
  Инверсия
  Конъюнкция
  Дизъюнкция
  Составление таблиц истинности
  Число строк = 2n , где n –число логических переменных;
  Число столбцов = число логических переменных + число логических операций
  
  

• 23 слайд

  Задание 3. Записать в виде логического выражения следующее высказывание: «Летом Петя поедет в деревню и, если будет хорошая погода. То он пойдет на рыбалку».
  Проанализируем составное высказывание.
  Оно состоит из следующих простых высказываний: « Петя поедет в деревню», «Он пойдет на рыбалку», «Будет хорошая погода». Обозначим их через логические переменные.
  A=« Петя поедет в деревню»;
  B=«Будет хорошая погода»;
  C=«Он пойдет на рыбалку»;
  Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо расставим скобки:
  A&(BC).
  
  

• 24 слайд

  Задание 4. Найдите значения выражений:
  F=(00)(11)(ответ:?)
  F=(11)(10)( ответ:?)
  F=(0&0)&(1&1)( ответ:?)
  F=1&(11)&( 0&1)( ответ:?)
  F=(11)&(1 1) &(10) ( ответ:?)
  

• 25 слайд

  Подведем предварительные итоги
  
  Что есть логика?
  Какие существуют основные формы мышления?(Приведите примеры понятий, высказываний, умозаключений).
  Какую алгебру называют алгеброй логики?
  
  

• 26 слайд

  Запишите домашнее задание
  
  Учебник Н.Д. Угринович . Информатика и ИКТ. 10 класс. Профильный уровень.
  § 3.1стр. 104-118, устно отв. на вопросы в конце параграфа