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

Слайд #1

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

Слайд #2

Слайд #3

Цели:

Слайд #4

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

Слайд #5

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

Слайд #6

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

Слайд #7

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

Слайд #8

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

Слайд #9

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

Слайд #10

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

Слайд #11

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

Слайд #12

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

Слайд #13

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

Слайд #14

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

Слайд #15

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

Слайд #16

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

Слайд #17

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

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