Презентация на тему "3 кита информатики" 8 класс

Содержание

• 
  Слайд 1

  На каких трех «китах» держится информатика?

  Логика, алгоритмы и программа.

• 
  Слайд 2

  Алгебра логики

• 
  Слайд 3

  Цели

  • Немного об истории логики.
  • Дать определение логики как науки.
  • Сформулировать основные формы мышления.
  • Разобрать какие базовые логические операции существуют?
  • Привить навыки логически рассуждать.
  • Записать в тетрадь основные понятия.
• 
  Слайд 4

  1 этап - формальная логика

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

  2 этап - математическая логика

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

• 
  Слайд 6

  3 этап - Алгебра высказываний (Булева алгебра)

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

• 
  Слайд 7
  

  • В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать правильные решения в условиях неполной и нечеткой информации.
  • Построение моделей приближенных размышлений человека и использование их в компьютерных системах представляет сегодня одну из важнейших проблем науки.
• 
  Слайд 8

  Лютфи Заде

  • Основы нечеткой логики были заложены в конце 60-х лет в работах всемирно-известного математика, азербайджанского происхождения Лютфи Заде.
  • Он родился в Баку, Азербайджан 4 февраля 1921 года.
  • «На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде.
• 
  Слайд 9

  Логика - это наука о формах и способах мышления

  Основные формы мышления:

  • Понятие;
  • Высказывание;
  • Умозаключение.
• 
  Слайд 10

  Понятие

  Это форма мышления, фиксирующая основные, существенные признаки объекта:

  • Содержание
  • Объем
• 
  Слайд 11

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

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

• 
  Слайд 12

  Умозаключение

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

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

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

  • Истинно =1
  • Ложно=0
• 
  Слайд 14
  

  Для образования новых высказываний используются базовые логические операции

  • инверсия
  • логическое отрицание
  • операция не
  • конъюнкция
  • дизъюнкция
  • логическое умножение
  • операция и
  • логическое сложение
  • операция или
• 
  Слайд 15

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

• 
  Слайд 16

  Логическое умножение – операция Иконъюнкция

• 
  Слайд 17

  Логическое сложение - операция или дизъюнкция

• 
  Слайд 18

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

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

• 
  Слайд 19

  Ресурсы

  • http://pptcloud.ru/
  • Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева