Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему Алгебра логики

Содержание

Алгебра логики
На каких  трех «китах»  держится информатика?  Логика, алгоритмы и программаСайт автора: http://natiqat.narod.ru Алгебра логики Цели:Немного об истории логики.Дать определение логики как науки. Сформулировать основные формы мышления.Разобрать 1 этап формальная логика Основатель – Аристотель    (384 2 этап 		математическая логика 		Основатель – немецкий ученый    и В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать правильные Основы нечеткой логики были заложены в конце 60-х лет в работах всемирно-известного Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления: это форма мышления, фиксирую-щая основные, существенные признаки объекта.Понятие  СодержаниеОбъем Высказывание может быть  истинно или ложно.Высказывание  это форма мышления, в Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь Для образования новых высказываний используются базовые логические операции:инверсиялогическое отрицание операция не конъюнкция Логическое отрицание -операция НЕ инверсияНЕАА Логическое умножение – операция И конъюнкцияC=A&B Логическое сложение - операция ИЛИ дизъюнкцияC=A۷B Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую Ресурсы:http://metod-kopilka.ruwww.zavuch.info/component/mtree/nachal/okrnach/nachokrurok nto.immpu.sgu.ru/sites/default/files/3/__12697.pdf exsolver.narod.ru/Books/Other/Logica/c53.html www.twirpx.com/files/pedagogics/common/Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева
Слайды презентации

Слайд 2 Алгебра логики

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

Слайд 3 Цели:
Немного об истории логики.
Дать определение логики как науки.

Цели:Немного об истории логики.Дать определение логики как науки. Сформулировать основные формы

Сформулировать основные формы мышления.
Разобрать какие базовые логические операции существуют?
Привить

навыки логически рассуждать.
Записать в тетрадь основные понятия.


Слайд 4 1 этап
формальная логика
Основатель – Аристотель

1 этап формальная логика Основатель – Аристотель  (384 -322гг.

(384 -322гг. до н.э. )


Ввёл основные формулы

абстрактного мышления

Слайд 5 2 этап
математическая логика
Основатель – немецкий ученый

2 этап 		математическая логика 		Основатель – немецкий ученый  и философ

и философ Лейбниц(1642 -1716), предпринял

попытку логических вычислений.

Слайд 6

3 этап

3 этап

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

Слайд 7 В настоящее время самым впечатляющим
у человеческого интеллекта

В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать

является способность принимать правильные решения в условиях неполной и

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

Слайд 8 Основы нечеткой логики были заложены в конце 60-х

Основы нечеткой логики были заложены в конце 60-х лет в работах

лет
в работах всемирно-известного математика, азербайджанского происхождения Лютфи

Заде.
Он родился в Баку, Азербайджан
4 февраля l92l года.

«На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде


Слайд 9 Логика - это наука о формах и способах

Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:

мышления.
Понятие;
Высказывание;
Умозаключение
Основные формы мышления:


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

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


Содержание
Объем


Слайд 11 Высказывание может быть
истинно или ложно.
Высказывание

Высказывание может быть  истинно или ложно.Высказывание это форма мышления, в


это форма мышления,
в которой что-либо утверждается или

отрицается о реальных предметах, их свойствах и отношениях между ними.

Слайд 12 Посылками умозаключения по правилам формальной логики могут быть

Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.Умозаключение

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

которой из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).

Слайд 13 В алгебре высказываний высказывания обозначаются именами логических переменных,

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

которые могут принимать лишь два значения «истинно» и

«ложно».
Истинно = 1
Ложно = 0

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


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

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

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


операция или

Слайд 15
Логическое отрицание -операция НЕ инверсия
НЕ
А
А

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

Слайд 16 Логическое умножение – операция И конъюнкция
C=A&B

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

Слайд 17 Логическое сложение - операция ИЛИ дизъюнкция
C=A۷B

Логическое сложение - операция ИЛИ дизъюнкцияC=A۷B

Слайд 18 Каждое составное высказывание можно выразить в виде формулы

Каждое составное высказывание можно выразить в виде формулы (логического выражения), в

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

и знаки логических операций, обозначающие логические функции.

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


  • Имя файла: algebra-logiki.pptx
  • Количество просмотров: 125
  • Количество скачиваний: 0