Презентация по теме "Введение в алгебру логики"

• 1 слайд

  Логика
  

• 2 слайд

  Логика –наука, изучающая законы и формы мышления.
  Логика изучает:
  Формы мышления
  Способы мышления
  
  
  

• 3 слайд

  1 этап – формальная логика
  Основатель – Аристотель
  (384 -322гг. до н.э. )
  Ввёл основные формулы абстрактного мышления
  

• 4 слайд

  2 этап – математическая логика
  Основатель – немецкий
  ученый и философ Лейбниц(1642 -1716),
  предпринял попытку
  логических вычислений.
  

• 5 слайд

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

• 6 слайд

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

• 7 слайд

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

• 8 слайд

  Понятие
  Объем понятия- это совокупность (множество) предметов, на которое оно распространяется.
  Содержание понятия- это совокупность основных, существенных признаков объекта.
  

• 9 слайд

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

• 10 слайд

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

• 11 слайд

  Алгебра высказываний
  Высказывания могут быть
  простыми или составными.
  2+2=4 – это пример простого высказывания.
  Простое высказывание содержит одну простую мысль.
  Составные высказывания состоят из простых высказываний и логических операций.
  “На улице солнечно и у меня хорошее настроение.” – это пример составного высказывания.
  Алгебра высказываний определяет истинность или ложность составных высказываний.
  

• 12 слайд

  Алгебра высказываний
  Математический аппарат логики:
  Вводятся вместо простых высказываний логические переменные: А, В, С и т.д.
  Значения высказываний обозначаются следующим образом:
  истина- 1
  ложь- 0.
  

• 13 слайд

• 14 слайд

  Информатика изучается в курсе средней школы.
  «Е»- шестая буква алфавита.
  Квадрат является ромбом.
  Квадрат гипотенузы равен сумме квадратов катетов.
  Сумма углов треугольника равна 1900.
  12+14>30
  Графическое изображение векторной графики формируется из точек(пикселей).
  16-битные звуковые карты точнее кодируют и воспроизводят звук, чем 8-битные.
  

• 15 слайд

  Здравствуй!
  Аксиома не требует доказательств.
  Идёт дождь.
  Какая температура на улице?
  Число 2 является делителем числа 9.
  Число х не больше двух.
  Уходя гасите свет.
  

• 16 слайд

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

• 17 слайд

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

• 18 слайд

  Н. Д. Угринович
  Информатика и информационные технологии. Учебник для 10-11 классов.
  И.А. Иванова
  Информатика 10 класс. Практикум.
  В.М. Казиев
  Информатика в примерах и задачах. Книга для учащихся 10-11 класс
  

Краткое описание документа:

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

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

Любое понятие состоит из двух составляющих:

объёма понятия и

содержания понятия.

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

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