ВО «Бутурлиновский механико-технологический колледж» г.Бутурлиновка Вылегжанина Татьяна Викторовна
- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике Основные законы алгебры логики
Содержание
- 1. Презентация по информатике Основные законы алгебры логики
- 2. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)
- 3. В основе современной логики лежат учения, созданные
- 4. ЛОГИКА – наука о формах и способах мышления
- 5. Законы мышления отражают в сознании человека свойства, связи и отношения объектов окружающего мира
- 6. ВысказываниеПонятиеУмозаключение
- 7. Высказывание –логическое выражение, истинность которого требуется доказать
- 8. Высказывание не может быть выражено повелительным или вопросительным предложением
- 9. Высказывание имеет 2 значения:ложь – (false) – 0истина – (true) - 1
- 10. Высказывание – обозначается большими буквами латинского алфавита (А, В, С)
- 11. ЛОГИЧЕСКИЕ ОПЕРАЦИИ
- 12. Слайд 12
- 13. Таблица истинности логического умножения
- 14. Дизъюнкция (логическое сложение)читается обозначается А ν BДизъюнкция истинна, когда хотя бы одно высказывание истинноИЛИ
- 15. Таблица истинности логического сложения
- 16. Инверсия (логическое отрицание)читается обозначается А (не А)НЕ
- 17. Таблица истинности логического отрицания
- 18. Импликация (логическое следование)обозначается А BИмпликация ложна,
- 19. Таблица истинности логической функции «импликация»
- 20. Эквивалентность (логическое равенство)обозначается А ~ BЭквивалентность
- 21. Таблица истинности логической функции эквивалентности
- 22. Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными
- 23. Даны выражения: иПостроить таблицы истинности и выяснить, равносильны ли данные выражения
- 24. Список источников1. Учебник «Информатика и ИКТ» Семакин
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия)
Слайд 1ОСНОВНЫЕ ЗАКОНЫ
АЛГЕБРЫ ЛОГИКИ
Учитель информатики отделения основного общего образования ГОБУ СПО
Слайд 2Первые учения
о формах и
способах
рассуждений
возникли
в странах
Древнего
Востока
(Китай, Индия)
Слайд 3В основе современной
логики лежат учения,
созданные древнегреческими
мыслителями (Аристотель, Геродот)
Аристотель
384-322 до н.э
Геродот ок 490-425 до н.э
Слайд 5Законы мышления
отражают в
сознании человека свойства,
связи и отношения объектов
окружающего мира
Слайд 14Дизъюнкция
(логическое сложение)
читается
обозначается А ν B
Дизъюнкция истинна,
когда хотя бы
одно
высказывание истинно
высказывание истинно
ИЛИ
Слайд 18Импликация
(логическое следование)
обозначается А B
Импликация ложна,
тогда и только тогда,
когда из истины следует
ложный вывод
Слайд 20Эквивалентность
(логическое равенство)
обозначается А ~ B
Эквивалентность истинна,
тогда и только
тогда,
когда оба высказывания
одновременно либо
ложны, либо истинны
когда оба высказывания
одновременно либо
ложны, либо истинны
Слайд 22Логические выражения,
у которых последние столбцы
таблиц истинности совпадают,
называются равносильными
Слайд 24Список источников
1. Учебник «Информатика и ИКТ» Семакин И.Г., изд. Москва «БИНОМ»,
2014 г.
2. Изображение:
Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg
http://apxeo.info/wp-content/uploads/2012/07/pers.jpg
Аристотель: http://modafix.ru/images/arist1.jpg
Геродот: http://www.stadtwanderer.net/media/sherodot.jpg
Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg
http://www.stihi.ru/pics/2011/04/05/3574.gif
2. Изображение:
Древний Восток: http://www.yana.kiev.ua/img/resortsb/1965387912.jpg
http://apxeo.info/wp-content/uploads/2012/07/pers.jpg
Аристотель: http://modafix.ru/images/arist1.jpg
Геродот: http://www.stadtwanderer.net/media/sherodot.jpg
Логика: http://gcvhf.biz/images/55daf80fc2ffc.jpg
http://www.stihi.ru/pics/2011/04/05/3574.gif
