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

• 1 слайд

  Основные понятия
  алгебры логики
  Дисциплина Информатика
  Для 1 курса
  Преподаватель Щербакова В.В.
  

• 2 слайд

  Логика – наука о законах и формах мышления.
  «Логика» происходит от древнегреческого logos и означает «слово, мысль, понятие, рассуждение, закон».
  Алгеброй логики называется аппарат, который позволяет выполнять действия над высказываниями.
  Высказывание – это некоторое повествовательное предложение, которое может быть истинно (верно) или ложно.
  

• 3 слайд

  Примеры высказываний
  «Дмитрий Анатольевич Медведев – президент России» (истина)
  «Апельсин синего цвета» (ложь)
  «5 × 5 = 25» (истина)
  «Н + О = Н2О» (ложь)
  «Истина» и «ложь» - это логические константы.
  

• 4 слайд

  Примеры невысказываний
  «Программное обеспечение компьютера – это комплекс используемых в компьютере программ»
  «5х2 + 12 = 204»
  «Она красива»
  «Существуют внеземные цивилизации»
  «На улице идет дождь»
  

• 5 слайд

  Какие из предложений являются высказываниями?
  Число 6 – четное.
  Посмотрите на доску.
  Все роботы являются машинами.
  У каждой лошади есть хвост.
  Внимание!
  х > 0.
  Некоторые люди являются художниками.
  Память компьютера – совокупность устройств для хранения информации.
  Наполеон был французским императором.
  Да
  Нет
  Да
  Да
  Нет
  Нет
  Да
  Нет
  
  Да
  
  

• 6 слайд

  Готфрид Вильгельм фон Лейбниц
  Первым (в 1666 году) попытался перевести законы мышления из словесного царства в царство математики, где отношения между высказываниями определяются в виде математических отношений.
  
  1646 – 1716
  

• 7 слайд

  Джордж Буль
  В 1816 году английский математик Джордж Буль подхватил идею Лейбница о создании логического универ-сального языка, подчиняющегося строгим математическим законам.
  Буль изобрел своеобразную алгебру – систему обозначений и правил, применимую к все-возможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля или булева алгебра.
  1858 – 1908
  

• 8 слайд

  В булевой алгебре высказывания принято обозначать прописными латинскими буквами: A, B, X, Y.
  Действия, которые производятся над высказываниями записываются в виде логических выражений.
  Высказывание (логическое выражение) может принимать только одно из двух значений – ИСТИНА (1) или ЛОЖЬ (0).
  

• 9 слайд

  Определить истинность высказываний
  Все ребята умеют плавать.
  Киев – столица Украины.
  Все кошки любят рыбу.
  Невозможно создать вечный двигатель.
  2 + 5 = 10.
  Человек все может.
  Н + Н + О = Н2О.
  Каждый человек – художник.
  Тигр – хищное животное.
  0
  1
  1
  1
  0
  1
  1
  0
  1
  

• 10 слайд

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

• 11 слайд

  Используемые материалы
  http://ru.wikipedia.org
  КИМ для подготовки и проведения ЕГЭ за курс основной школы.
  Информатика. 8 – 9 класс. Базовый курс. Теория /Под. Ред. Н.В.Макаровой. – Спб.: Питер, 2008.
  Логика в информатике./Б.А.Лыскова, Е.А.Ракитина, Бином, 2004.
  Информатика и ИКТ: Методическое пособие для учителей. Часть 3. Техническое обеспечение информационных технологий./ Под. Ред. Н.В.Макаровой. – Спб.: Питер, 2008.
  ЕГЭ 2010. Информатика: сдаем без проблем! / Е.М.Островская, Н.Н.Самылкина, Эксмо, 2009.