Разделы презентаций


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

Содержание

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

Слайды и текст этой презентации

Слайд 1На каких трех «китах» держится информатика?
Логика, алгоритмы и программа
Сайт

автора: http://natiqat.narod.ru

На каких  трех «китах»  держится информатика?  Логика, алгоритмы и программаСайт автора: http://natiqat.narod.ru

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

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

Слайд 3Цели:

Цели:

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

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


Ввёл основные формулы абстрактного мышления

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

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

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

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

Слайд 6

3 этап

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

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

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

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

Слайд 8 «На протяжении всей жизни моя первая любовь - наука

и техника» Лютфи Заде

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

Слайд 9Логика - это наука о формах и способах мышления.
Понятие;

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

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

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

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

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

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

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

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

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

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

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

принимать лишь два значения «истинно» и «ложно».
Истинно

= 1
Ложно = 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Слайд 19Ресурсы:
http://metod-kopilka.ru
www.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 класс» И. Садыгов, Р.

Махмудзаде, Н. Исаева

Ресурсы: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 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева

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

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

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

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


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

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