Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
На каких трех «китах» держится информатика?
Содержание
- 1. На каких трех «китах» держится информатика?
- 2. Алгебра логики
- 3. Цели:
- 4. 1 этап формальная логика Основатель –
- 5. 2 этап математическая логика Основатель – немецкий
- 6. Слайд 6
- 7. В настоящее время самым впечатляющим у человеческого
- 8. «На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде
- 9. Логика - это наука о формах и способах мышления. Понятие; Высказывание; Умозаключение Основные формы мышления:
- 10. это форма мышления, фиксирую-щая основные, существенные признаки объекта.Понятие СодержаниеОбъем
- 11. Высказывание может быть истинно или ложно.Высказывание
- 12. Посылками умозаключения по правилам формальной логики могут
- 13. В алгебре высказываний высказывания обозначаются именами логических
- 14. Для образования новых высказываний используются базовые логические
- 15. Логическое отрицание -операция НЕ инверсияНЕАА
- 16. Логическое умножение – операция И конъюнкцияC=A&B
- 17. Логическое сложение - операция ИЛИ дизъюнкцияC=A۷B
- 18. Каждое составное высказывание можно выразить в виде
- 19. Ресурсы: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 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева
- 20. Скачать презентанцию
Алгебра логики
Слайды и текст этой презентации
Слайд 1На каких
трех «китах»
держится информатика?
Логика, алгоритмы и программа
Сайт
автора: http://natiqat.narod.ru
Слайд 4 1 этап
формальная логика
Основатель – Аристотель
(384 -322гг. до н.э. )
Ввёл основные формулы абстрактного мышления
Слайд 5 2 этап
математическая логика
Основатель – немецкий ученый
и философ Лейбниц(1642 -1716), предпринял попытку логических
вычислений.
Слайд 6
3 этап
Алгебра высказываний
(Булева алгебра) Основатель – английский математик Джордж Буль(1815 – 1864),ввёл алфавит,
орфографию и грамматику
для математической логики.
Слайд 7 В настоящее время самым впечатляющим
у человеческого интеллекта является способность
принимать правильные решения в условиях неполной и нечеткой информации.
Построение
моделей приближенных размышлений человека и использование их в компьютерных системах представляет сегодня одну из важнейших проблем науки. 
Слайд 9Логика - это наука о формах и способах мышления.
Понятие;
Высказывание;
Умозаключение
Основные формы мышления:
Слайд 10это форма мышления, фиксирую-
щая основные, существенные признаки объекта.
Понятие
Содержание
Объем
Слайд 11Высказывание может быть
истинно или ложно.
Высказывание
это
форма мышления,
в которой что-либо утверждается или отрицается о реальных
предметах, их свойствах и отношениях между ними.
Слайд 12Посылками умозаключения по правилам формальной логики могут быть только истинные
суждения.
Умозаключение
это форма мышления,
с помощью которой из одного
или несколько суждений (посылок) может быть получено новое суждение (заключение).
Слайд 13 В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут
принимать лишь два значения «истинно» и «ложно».
Истинно
= 1Ложно = 0
Алгебра высказываний
Слайд 14Для образования новых высказываний используются базовые логические операции:
инверсия
логическое отрицание
операция
не
конъюнкция
дизъюнкция
логическое умножение
операция и
логическое сложение
операция
или
Слайд 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 класс» И. Садыгов, Р.
Махмудзаде, Н. Исаева
Теги
