kopilkaurokov.ru - сайт для учителей

Создайте Ваш сайт учителя Курсы ПК и ППК Видеоуроки Олимпиады Вебинары для учителей

Презентация "Основы логики. Алгебра высказываний."

Нажмите, чтобы узнать подробности

Презентация для урока по информатике и ИКТ на тему :"Основы логики .Алгебра высказывания", Данную презентацию можно применять на различных этапах урока как для первогозанятия так и для повторения  на первом слайде указаны цели урока:1.сформировать  понятие форм мышления;2.сформировать понятия:

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

 

Вы уже знаете о суперспособностях современного учителя?
Тратить минимум сил на подготовку и проведение уроков.
Быстро и объективно проверять знания учащихся.
Сделать изучение нового материала максимально понятным.
Избавить себя от подбора заданий и их проверки после уроков.
Наладить дисциплину на своих уроках.
Получить возможность работать творчески.

Просмотр содержимого документа
«Презентация "Основы логики. Алгебра высказываний." »

Основы логики.  Алгебра высказываний. Цель: сформировать понятие форм мышления; сформировать понятия: логическое высказывание, логические величины, логические операции МБОУ «Рыбно слободская гимназия №1» Замалиев И.И.

Основы логики. Алгебра высказываний.

Цель:

  • сформировать понятие форм мышления;
  • сформировать понятия:
  • логическое высказывание,
  • логические величины,
  • логические операции

МБОУ «Рыбно слободская гимназия №1» Замалиев И.И.

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

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

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

Пример №1 Прямоугольник, проливной дождь , компьютер

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

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

Пример №2

Истинное высказывание :

  • «Буква «а» - гласная »
  • « Луна является спутником Земли»

Ложное высказывание:

  • «Компьютер был изобретен в середине XIX века»
  • «На яблонях растут бананы»
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание является повествовательным предложением. Высказывание Истинное Ложное Связь понятий правильно отражает свойства и отношения реальных вещей Высказывание не соответствует реальной действительности Высказывание Составное Простое

Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.

Высказывание является повествовательным предложением.

Высказывание

Истинное

Ложное

Связь понятий правильно отражает свойства и отношения реальных вещей

Высказывание не соответствует реальной действительности

Высказывание

Составное

Простое

Какие из предложений являются высказываниями?  Определить их истинность.

Какие из предложений являются высказываниями?

Определить их истинность.

  • Сканер- это устройство ввода
  • Прослушайте сообщение.
  • Делайте утреннюю зарядку!
  • Назовите устройство ввода информации.
  • Кто отсутствует?
  • Париж — столица Англии.
  • Число 11 является простым.
  • 4+5=10.
  • Без труда не вытащишь и рыбку из пруда.
  • Сложите числа 2 и 5.
  • Некоторые медведи живут на севере.
  • Все медведи — бурые.
  • Чему равно расстояние от Москвы до Ленинграда
  • Аристотель – основоположник логики
Умозаключение – это форма мышления , с помощью которой из одного или несколько суждений может быть получено новое суждение Пример 3 Дано высказывание: « Все углы равнобедренного треугольника равны ». Получить высказывание « Этот треугольник равносторонний » путем умозаключений.

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

Пример 3

Дано высказывание: « Все углы равнобедренного треугольника равны ».

Получить высказывание « Этот треугольник равносторонний » путем умозаключений.

  • Пусть основанием треугольника является сторона с
  • Тогда а = b
  • Так как в треугольнике все углы равны, следовательно,
  • основанием может быть любая другая сторона, например а
  • Тогда b = с
  • Следовательно а = b = с
  • Треугольник равносторонний.
Логические выражения и операции Алгебра — это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Такая алгебра называется алгеброй логики .  Джордж Буль (1815-1864) основоположник математической логики

Логические выражения и операции

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

Джордж Буль (1815-1864)

основоположник математической логики

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

Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначение - латинская буква (например, A , B , X , Y и т.д.).

А= « Все медведи- бурые»

X= «Сегодня дождливая погода»

Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).

Логическая функция – это составное высказывание , которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций.  Ее символическое обозначение - F ( A , B ,...). F =«  Число -1 четное и отрицательное » F =« Сегодня пасмурная погода и идет дождь » F =« Тише едешь-  дальше будешь »

Логическая функция – это составное высказывание , которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение - F ( A , B ,...).

F =« Число -1 четное и отрицательное »

F =« Сегодня пасмурная погода и идет дождь »

F =« Тише едешь- дальше будешь »

Логические операции - логические действия

Логические операции - логические действия

  • Конъюнкция ( &^ ) (от лат. conjunctio – связываю)
  • Дизъюнкция (v) ( Disjunctio - различаю)
  • Инверсия ( ) ( inversio — переворачиваю
  • Импликация ( ) ( implicatio — тесно связывать
  • Эквивалентность ( ~ ) Ае quivalens - равноценное)
Заполните таблицу в тетради по ходу изложения материала Название Конъюнкция Обозначение Дизъюнкция Союз в естественном языке Инверсия Таблица истинности Импликация  Эквивалентность

Заполните таблицу в тетради по ходу изложения материала

Название

Конъюнкция

Обозначение

Дизъюнкция

Союз в естественном языке

Инверсия

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

Импликация

Эквивалентность

Конъюнкция логическое умножение , обозначается знаками  & , ^ Таблица истинности A B 0 A&B 0 0 1 0 1 0 0 1 1 0 1

Конъюнкция логическое умножение , обозначается знаками & , ^

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

A

B

0

A&B

0

0

1

0

1

0

0

1

1

0

1

Дизъюнкция логическое сложение , обозначается знак о м   v Таблица истинности A B 0 A v B 0 0 1 0 1 1 0 1 1 1 1

Дизъюнкция логическое сложение , обозначается знак о м v

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

A

B

0

A v B

0

0

1

0

1

1

0

1

1

1

1

Инверсия отрицание , обозначается  A или знак о м   Таблица истинности A A 0 1 1 0

Инверсия отрицание , обозначается A или знак о м

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

A

A

0

1

1

0

Импликация  логическое следование , обозначается знакам  Таблица истинности A B 0 A  B 0 0 1 1 1 0 1 1 1 0 1

Импликация логическое следование , обозначается знакам

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

A

B

0

A B

0

0

1

1

1

0

1

1

1

0

1

Эквивалентность равнозначность , обозначается знаками  Таблица истинности A B 0 0 A  B 0 1 1 1 1 0 0 1 0 1

Эквивалентность равнозначность , обозначается знаками

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

A

B

0

0

A B

0

1

1

1

1

0

0

1

0

1

C )." width="640"

Пример №4 Записать в виде логического выражения следующее высказывание: « Летом Петя поедет в деревню и, если будет хорошая погода , то он пойдет на рыбалку ».

А = «Петя поедет в деревню»;

В = «Будет хорошая погода»;

С = «Он пойдет на рыбалку»

Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо, расставим скобки:

F = A & ( B - C ).

Определить истинность составного высказывания: (A & B )&(C v D) Состоит из простых высказываний: A={ Принтер- устройство вывода информации } B={ Процессор– устройство хранения информации } C={ Монитор- устройство вывода информации } D={ Клавиатура- устройство обработки информации }  A=1, B=0, C=1, D=0  Определим истинность высказывания  ( 1 & 0 )&( 1 v 0 ) = ( 0 & 1 )&( 1 v 0 ) = 0 & 1= 0 Составное высказывание ЛОЖНО

Определить истинность составного высказывания: (A & B )&(C v D)

Состоит из простых высказываний:

  • A={ Принтер- устройство вывода информации }
  • B={ Процессор– устройство хранения информации }
  • C={ Монитор- устройство вывода информации }
  • D={ Клавиатура- устройство обработки информации }

A=1, B=0, C=1, D=0

Определим истинность высказывания

( 1 & 0 )&( 1 v 0 ) = ( 0 & 1 )&( 1 v 0 ) = 0 & 1= 0

Составное высказывание ЛОЖНО


Получите в подарок сайт учителя

Предмет: Информатика

Категория: Презентации

Целевая аудитория: 10 класс.
Урок соответствует ФГОС

Скачать
Презентация "Основы логики. Алгебра высказываний."

Автор: Замалиев Ильгиз Ильясович

Дата: 29.10.2014

Номер свидетельства: 123733

Похожие файлы

object(ArrayObject)#863 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(106) "Основы логики Логические выражения  и таблицы истинности "
    ["seo_title"] => string(64) "osnovy-loghiki-loghichieskiie-vyrazhieniia-i-tablitsy-istinnosti"
    ["file_id"] => string(6) "116121"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1412265013"
  }
}
object(ArrayObject)#885 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(28) ""Основы логики" "
    ["seo_title"] => string(14) "osnovy-loghiki"
    ["file_id"] => string(6) "101970"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1402470870"
  }
}
object(ArrayObject)#863 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(82) "Презентация "Логические основы компьютеров" "
    ["seo_title"] => string(51) "priezientatsiia-loghichieskiie-osnovy-komp-iutierov"
    ["file_id"] => string(6) "106898"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1403107579"
  }
}
object(ArrayObject)#885 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(27) "Основы логики. "
    ["seo_title"] => string(16) "osnovy-loghiki-2"
    ["file_id"] => string(6) "114665"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1411607166"
  }
}
object(ArrayObject)#863 (1) {
  ["storage":"ArrayObject":private] => array(6) {
    ["title"] => string(93) "Презентация по информатике "Основы алгебры логики""
    ["seo_title"] => string(56) "priezientatsiia-po-informatikie-osnovy-alghiebry-loghiki"
    ["file_id"] => string(6) "143440"
    ["category_seo"] => string(11) "informatika"
    ["subcategory_seo"] => string(11) "presentacii"
    ["date"] => string(10) "1418545516"
  }
}


Получите в подарок сайт учителя

Видеоуроки для учителей

Курсы для учителей

ПОЛУЧИТЕ СВИДЕТЕЛЬСТВО МГНОВЕННО

Добавить свою работу

* Свидетельство о публикации выдается БЕСПЛАТНО, СРАЗУ же после добавления Вами Вашей работы на сайт

Удобный поиск материалов для учителей

Ваш личный кабинет
Проверка свидетельства