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