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

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

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

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

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

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

Основы нечеткой логики были заложены в конце 60-х лет в работах всемирно-известного математика, азербайджанского происхождения Лютфи Заде. Он родился в Баку, Азербайджан 4 февраля l92l года. « На протяжении всей жизни моя первая любовь - наука и техника» Лютфи Заде

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

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

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

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

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

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

НЕ инверсия Логическое отрицание -операция НЕ инверсияА(вход) Ā(выход) НЕ А А

И конъюнкция Логическое умножение – операция И конъюнкцияА(вход)В(вход)С(выход) И А В С C=A&B

ИЛИ дизъюнкция Логическое сложение - операция ИЛИ дизъюнкцияА(вход)В(вход)С(выход) C=A۷B ИЛИ А В С

Ресурсы: /nachokrurok nto.immpu.sgu.ru/sites/default/files/3/__12697.pdf exsolver.narod.ru/Books/Other/Logica/c53.html Учебник «Информатика 8 класс» И. Садыгов, Р. Махмудзаде, Н. Исаева