Логика
<<  Основы логики Тема «Основы логики»  >>
Содержание
Содержание
Историческая справка
Историческая справка
Картинки из презентации «Основы логики» к уроку алгебры на тему «Логика»

Автор: 1. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Основы логики.ppt» со всеми картинками в zip-архиве размером 216 КБ.

Основы логики

содержание презентации «Основы логики.ppt»
Сл Текст Сл Текст
1Основы логики. Муниципальное 9тогда, когда истинны все входящие в него
образовательное учреждение Сизинская простые высказывания. К содержанию.
средняя общеобразовательная школа. 10Алгебра высказываний. A. B. А v B. 0.
Составитель: учитель информатики и ИКТ 0. 0. 1. 1. 0. 1. 1. 0. 0. 0. 0.
Гумаров Дамир Раифович. Арск, 2009. Логическое сложение (дизъюнкция, операция
2Цель презентации: Задачи презентации: “или”). sign: v Истинно тогда и только
Познакомиться с основами логики. Дать тогда, когда истинно хотя бы одно из
определение терминам “логика”, основных входящих в него простых высказываний. К
форм мышления, логических операций; содержанию.
составить таблицы истинности логических 11Алгебра высказываний. А. А. 0. 1. 1.
операций; познакомиться с логическими 0. Логическое отрицание (инверсия,
законами. операция “не”). sign: Инверсия делает
3Содержание. 1. Историческая справка. истинное высказывание ложным и ,наоборот,
2. Логика. Алгебра логики. 3. Формы ложное – истинным. К содержанию.
мышления (понятие, высказывание, 12Алгебра высказываний. A. B. А ? b. 0.
умозаключение). Слайды 6 – 8. 4. Алгебра 0. 0. 1. 1. 0. 1. 1. 1. 1. 0. 1.
высказываний. 3.1. Логическое умножение. Логическое следование (импликация, если…,
3.2. Логическое сложение. 3.3. Логическое то…) sign: ? Составное высказывание,
отрицание. 3.4. Логическое следование. образованное с помощью импликации ложно
3.5. Логическое равенство. 5. Логические тогда и только тогда, когда из истинного
законы. Слайды 14 – 17. 6. Список высказывания следует ложное. К содержанию.
источников. Слайд 4. Слайд 5. Слайд 6. 13Алгебра высказываний. A. B. А ? b. 0.
Слайд 9. Слайд 10. Слайд 11. Слайд 12. 0. 0. 1. 1. 0. 1. 1. 1. 0. 0. 1.
Слайд 13. Слайд 14. Слайд 18. Логическое равенство (эквивалентность, “…
4Историческая справка. Английский тогда и только тогда, когда…”); sign: ?
математик Джордж Буль разработал основы Составное высказывание, образованное с
алгебры, в которой используются только 0 и помощью эквивалентности истинно тогда и
1 (алгебра логики, булева алгебра). (1815 только тогда, когда оба высказывания
-1864). К содержанию. одновременно либо ложны, либо истинны. К
5Логика – это наука о способах и формах содержанию.
мышления. Алгебра логики – это 14Логические законы. 1. Закон тождества:
математический аппарат, с помощью которого 2. Закон противоречия: 3. Закон исключения
записывают (кодируют), упрощают, вычисляют третьего: 4. Закон двойного отрицания: 5.
и преобразовывают логические высказывания. Законы де Моргана: К содержанию.
К содержанию. 15Логические законы. 6. Закон
6Формы мышления. 1. Понятие. 2. коммутативности: 7. Закон ассоциативности:
Высказывание. 3. Умозаключение. Понятие – 8. Закон дистрибутивности:
форма мышления, фиксирующая основные, 16Логические законы. 9. Закон
существенные признаки объекта. К идемпотентности: 10. Законы исключения
содержанию. констант: 11. Закон поглощения:
7Высказывание – повествовательное 17Логические законы. 12. Закон
предложение, о котором можно сказать, исключения (склеивания): 13. Закон
истинно оно или ложно. Умозаключение – это контрапозиции:
форма мышления, с помощью которой из 18Список используемых источников для
одного или нескольких суждений может быть создания данной презентации. Угринович
получено новое суждение. Задание. Н.Д. Информатика и информационные
Приведите примеры простых и сложных технологии. Учебник для 10-11 классов. 2.
высказываний. Угринович Н.Д. Практикум по информатике и
8Высказывание или нет? Сейчас светит информационным технологиям: Учебное
солнце. Сократ – человек. История – Пособие для общеобразовательных
интересный предмет. Луна является Учреждений/Н.Д. Угринович, Л.Л. Босова,
спутником Земли. Превосходно! Как пройти к Н.И. Михайлова. 3.
музею Чайковского? У меня есть кошка. http://slovari.yandex.ru/dict/krugosvet/ar
9Алгебра высказываний. A. B. А ? b. 0. icle/e/e7/ 1003924.htm.
0. 0. 1. 1. 0. 1. 1. 0. 0. 0. 0. 19Гумаров Дамир Раифович Учитель
Логическое умножение (конъюнкция, операция информатики МОУ "Сизинская СОШ"
“и”). sign: ? Истинно тогда и только E-mail: gumarov_damir@mail.ru.
Основы логики.ppt
http://900igr.net/kartinka/algebra/osnovy-logiki-194014.html
cсылка на страницу

Основы логики

другие презентации на тему «Основы логики»

«Логические основы компьютера» - Логическое умножение (конъюнкция). Диаграмма Эйлера - Венна. Оперативная память. Высказывание. Логическое сложение (дизъюнкция). Таблица истинности логических функций двух аргументов. Для чего необходим сумматор? Логические основы устройства компьютера. Алгебра высказываний. Логика. Компьютер. Формы мышления.

«Логика высказываний» - Будем обозначать высказывания прописными буквами. Если высказывание А истинное, то запишем «А=1», если ложное, то «А=0». Подлинный прогресс науки, называемой математической логикой, был достигнут в середине XIX в. прежде всего благодаря труду английского логика Джорджа Буля «Математический анализ логики».

«Логика» - Такие точные языки имеют две стороны: синтаксис и семантику. Такие правила вывода принято называть аксиомами. Важную роль в математической логике играет понятие исчисления. Отношение исчислений к семантике выражается понятиями семантической пригодности и семантической полноты исчисления. Правила вывода подразделяются на два класса.

«Задачи на логику» - Задача 2 (2009, В-135). Задача 5 (Демо 2010). Задача 1 (2008). Решение логических задач (Законы математической логики). Условие задачи: В одном доме живут Воронов, Павлов, Журавлёв и Синицын. Алгоритм. Выполнила: Н.Н.Севрюкова, учитель информатики с.Богучаны, Красноярского края. Требуется определить, кто есть кто.

«Законы логики» - Воспользуемся распределительным законом: Х ? ( Y V Z ) = X ? Y V X ? Z (или вынесем общий множитель за скобку). Задание 1. Упростить выражение: _ X ? Y V X ? Y. Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)). Применим (Аv 1= 1 ) и получим ответ: B&(1vC)vA&C=BvA&C. Дана следующая логическая схема.

«Законы алгебры логики» - — Для логического сложения: (A + B) + C = A+ (B + C) — для логического умножения: (A*B)*C = A*(B*C). 7. Законы исключения констант. Высказывание может быть истинным, либо ложным, третьего не дано. 1. Закон двойного отрицания. Равносильные преобразования. — Для логического умножения: A* (A + B) = A. 9. Закон исключения третьего.

Логика

15 презентаций о логике
Урок

Алгебра

35 тем
Картинки