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

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

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

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

Может ли ЭВМ думать?

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

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

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

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

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

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

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

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

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

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

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

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

Таблица истинности

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

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

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

Составляем таблицу истинности по заданному выражению

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

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

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

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

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

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

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

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

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

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

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

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

Игра