Математическая логика

1. Математическая логика

2. Цель урока:

Знать определения
знать виды логических элементов
знать операции с логическими
высказываниями
уметь читать логические схемы
уметь составлять логические схемы по
логическому выражению
уметь упрощать логические выражения

3. Задача урока

Повторить, закрепить и углубить
знания по теме «Математическая
логика»

4.

Вступление
Это чудо из чудес:
как люди быстро
привыкают к чуду!

5.

6.

Теперь ЭВМ ст али привычным и
каждодневным явлением.

7. Переходим к повторению материала

Рассмотрим пристально
внутренность этого чуда техники

8. Системный блок

Невзрачно выглядит величайшее
изобретение, буквально перевернувшее
цивилизацию.

9. Системная плата

Это величие простым глазом не увидеть!

10. А теперь о математической логике серьезно!

11.

Схема Основы_логики.doc
Математическая логика
Логическое высказывание
Операции с логическими
высказываниями
Логический элемент
Электронные схемы
Таблицы истинности

12.

• Эту науку называют математической
логикой.
• Основоположником считают немецкого
математика Лейбница, 17 век. Гатфрит Лейбниц.docx
• Разработал – математик Джордж Буль
(отец Э. Войнич, автора романа «Овод»,
середина 19 века). Джордж Буль.docx
• Клод Шеннон - применил булевую
алгебру для проектирования
электрических цепей, 1936 г. Шеннон Клод.docx

13.

Элементарные логические операции
Название операций
Обозначения

14. Элементарные логические операции

Обозначение
Название операции
AND
Логическое
умножение.
Конъюнкция
пересечение
ИЛИ
OR
Лог. слож.
Дизъюнкция
объединение
НЕ
NOT
отрицание
Отрицание
И
&
V, U, 1
7А, А

15.

Сложные операции

16. Логические элементы

17. Логические элементы

Логические элементы

18.

Таблица истинности
X
Y
X*Y
X+Y
X

19. Чтение электронных схем

&
&
&
&
1

20. Таблица истинности к задаче 1

X
Y
Z

21. Упрощение сложных выражений

22.

Составляем таблицу истинности по
заданному выражению
x
y
z
0
0
0
0
0
1
1
0
0
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
y
u

23. По заданному выражению составить электронную схему

24. Подведем итоги

Правило упрощения выражения
Основные законы булевой алгебры
Связь математики и логики

25. Правило упрощения

Порядок выполнения задают
скобки.
Но договорились считать, что
сначала выполняется операция «НЕ»,
затем «И», затем «ИЛИ» и затем
А
В, А
В

26. Законы булевой алгебры

+
*

27. Законы булевой алгебры

+
а +а=а
а а 1
*
а * а = а
а +0 = а
а*а 0
а * 0 = 0
а + 1= 1
а * 1 = а

28. Связь математических и логических операций

+
*

29. Связь математических и логических операций

*
+
V

30. Гёте

Употребляйте с пользой время,
Учиться надо по системе.
Сперва хочу вам в долг вменить
На курсы логики ходить.

31. Фантастика? Экзотика?! Реальность!!!

Заключительное слово
Фантастика?
Экзотика?!
Реальность!!!

32. «Невозможное сегодня станет возможным завтра!» Циолковский

33.

Как знать, может быть, именно
тебе предстоит открыть новую
страницу в развитии ЭВМ!!!

34.

III – Домашнее задание
Повторение темы
Подготовить сообщения об ученых,
создателях математической логики

35. Игра

36. Тест