Информатика
<<  Игра по информатике «Юный кодировщик» Организация и виды внеклассных мероприятий по информатике в младших классах  >>
На каких трех «китах» держится информатика
На каких трех «китах» держится информатика
Алгебра логики
Алгебра логики
Цели:
Цели:
1 этап формальная логика Основатель – Аристотель (384 -322гг
1 этап формальная логика Основатель – Аристотель (384 -322гг
2 этап математическая логика Основатель – немецкий ученый и философ
2 этап математическая логика Основатель – немецкий ученый и философ
3 этап Алгебра высказываний (Булева алгебра) Основатель – английский
3 этап Алгебра высказываний (Булева алгебра) Основатель – английский
В настоящее время самым впечатляющим у человеческого интеллекта
В настоящее время самым впечатляющим у человеческого интеллекта
«На протяжении всей жизни моя первая любовь - наука и техника» Лютфи
«На протяжении всей жизни моя первая любовь - наука и техника» Лютфи
Логика - это наука о формах и способах мышления
Логика - это наука о формах и способах мышления
Это форма мышления, фиксирую- щая основные, существенные признаки
Это форма мышления, фиксирую- щая основные, существенные признаки
Высказывание
Высказывание
Умозаключение
Умозаключение
В алгебре высказываний высказывания обозначаются именами логических
В алгебре высказываний высказывания обозначаются именами логических
Инверсия
Инверсия
А(вход)
А(вход)
C=A&B
C=A&B
C=A?B
C=A?B
Каждое составное высказывание можно выразить в виде формулы
Каждое составное высказывание можно выразить в виде формулы
Ресурсы:
Ресурсы:

Презентация: «На каких трех «китах» держится информатика». Автор: Administrator. Файл: «На каких трех «китах» держится информатика.ppt». Размер zip-архива: 1991 КБ.

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

содержание презентации «На каких трех «китах» держится информатика.ppt»
СлайдТекст
1 На каких трех «китах» держится информатика

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

Логика, алгоритмы и программа

Сайт автора: http://natiqat.narod.ru

2 Алгебра логики

Алгебра логики

3 Цели:

Цели:

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

4 1 этап формальная логика Основатель – Аристотель (384 -322гг

1 этап формальная логика Основатель – Аристотель (384 -322гг

до н.э. ) Ввёл основные формулы абстрактного мышления

5 2 этап математическая логика Основатель – немецкий ученый и философ

2 этап математическая логика Основатель – немецкий ученый и философ

Лейбниц(1642 -1716), предпринял попытку логических вычислений.

6 3 этап Алгебра высказываний (Булева алгебра) Основатель – английский

3 этап Алгебра высказываний (Булева алгебра) Основатель – английский

математик Джордж Буль(1815 – 1864),ввёл алфавит, орфографию и грамматику для математической логики.

7 В настоящее время самым впечатляющим у человеческого интеллекта

В настоящее время самым впечатляющим у человеческого интеллекта

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

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

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

Заде

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

9 Логика - это наука о формах и способах мышления

Логика - это наука о формах и способах мышления

Понятие; Высказывание; Умозаключение

Основные формы мышления:

10 Это форма мышления, фиксирую- щая основные, существенные признаки

Это форма мышления, фиксирую- щая основные, существенные признаки

объекта.

Содержание Объем

Понятие

11 Высказывание

Высказывание

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

Высказывание может быть истинно или ложно.

12 Умозаключение

Умозаключение

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

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

13 В алгебре высказываний высказывания обозначаются именами логических

В алгебре высказываний высказывания обозначаются именами логических

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

Алгебра высказываний

14 Инверсия

Инверсия

Дизъюнкция

Конъюнкция

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

Логическое отрицание операция не

Логическое сложение операция или

Логическое умножение операция и

15 А(вход)

А(вход)

?(выход)

0

1

1

0

А

Не

Логическое отрицание -операция НЕ инверсия

А

16 C=A&B

C=A&B

Логическое умножение – операция И конъюнкция

А(вход)

В(вход)

С(выход)

0

0

0

0

1

0

1

0

0

1

1

1

17 C=A?B

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

«На каких трех «китах» держится информатика»
http://900igr.net/prezentacija/informatika/na-kakikh-trekh-kitakh-derzhitsja-informatika-83495.html
cсылка на страницу

Информатика

26 презентаций об информатике
Урок

Информатика

130 тем
Слайды
900igr.net > Презентации по информатике > Информатика > На каких трех «китах» держится информатика