Содержание
-
На каких трех «китах» держится информатика?
Логика, алгоритмы и программа.
-
Алгебра логики
-
Цели
- Немного об истории логики.
- Дать определение логики как науки.
- Сформулировать основные формы мышления.
- Разобрать какие базовые логические операции существуют?
- Привить навыки логически рассуждать.
- Записать в тетрадь основные понятия.
-
1 этап - формальная логика
- Основатель – Аристотель (384 -322 гг. до н.э.)
- Ввёл основные формулы абстрактного мышления
-
2 этап - математическая логика
Основатель – немецкий ученый и философ Лейбниц (1642 -1716), предпринял попытку логических вычислений.
-
3 этап - Алгебра высказываний (Булева алгебра)
Основатель – английский математик Джордж Буль(1815 – 1864), ввёл алфавит, орфографию и грамматику для математической логики.
-
- В настоящее время самым впечатляющим у человеческого интеллекта является способность принимать правильные решения в условиях неполной и нечеткой информации.
- Построение моделей приближенных размышлений человека и использование их в компьютерных системах представляет сегодня одну из важнейших проблем науки.
-
Лютфи Заде
- Основы нечеткой логики были заложены в конце 60-х лет в работах всемирно-известного математика, азербайджанского происхождения Лютфи Заде.
- Он родился в Баку, Азербайджан 4 февраля 1921 года.
- «На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде.
-
Логика - это наука о формах и способах мышления
Основные формы мышления:
- Понятие;
- Высказывание;
- Умозаключение.
-
Понятие
Это форма мышления, фиксирующая основные, существенные признаки объекта:
- Содержание
- Объем
-
Высказывание
- Это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними.
- Высказывание может быть истинно или ложно.
-
Умозаключение
- Это форма мышления, с помощью которой из одного или несколько суждений (посылок) может быть получено новое суждение (заключение).
- Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.
-
Алгебра высказываний
В алгебре высказываний высказыванияобозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и«ложно».
- Истинно =1
- Ложно=0
-
Для образования новых высказываний используются базовые логические операции
- инверсия
- логическое отрицание
- операция не
- конъюнкция
- дизъюнкция
- логическое умножение
- операция и
- логическое сложение
- операция или
-
Логическое отрицание - операция неинверсия
-
Логическое умножение – операция Иконъюнкция
-
Логическое сложение - операция или дизъюнкция
-
Логические выражения
Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.
-
Ресурсы
- http://pptcloud.ru/
- Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.