- Главная
- Разное
- Образование
- Спорт
- Естествознание
- Природоведение
- Религиоведение
- Французский язык
- Черчение
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, фоны, картинки для презентаций
- Экология
- Экономика
Презентация, доклад по информатике на тему Основы логики
Содержание
- 1. Презентация по информатике на тему Основы логики
- 2. Логика –наука о формах и способах мышления
- 3. Историческая справка 1 этап – формальная логика
- 4. Историческая справка 2 этап – математическая логика
- 5. Историческая справка 3 этап – алгебра высказываний
- 6. Логика –наука о формах и способах мышления ОСНОВЫ ЛОГИКИ
- 7. Формы мышления ПонятиеВысказываниеУмозаключение
- 8. ПонятиеПонятие- это форма мышления, отражающая основные, существенные признаки объекта.Любое понятие имеет две составляющие:
- 9. ПонятиеОбъем понятия- это совокупность (множество) предметов, на
- 10. Круги ЭйлераНаглядная геометрическая иллюстрация объемов понятий и
- 11. Круги ЭйлераИзобразите с помощью кругов Эйлера объемы
- 12. Высказывание- это форма мышления, в которой что-либо
- 13. Высказывание не может быть выражено повелительным или
- 14. Простое высказывание содержит одну простую мысльСоставные высказывания состоят из простых высказываний и логических операцийВысказывание
- 15. Умозаключение- это форма мышления, с помощью которой
- 16. Умозаключения.дедуктивныеиндуктивныепо аналогии
- 17. рассуждения ведутся от общего к частному. Какой
- 18. рассуждения ведутся от частного к общему. Приведите
- 19. Движение мысли от общности одних свойств и
- 20. Алгебра высказываний определяет истинность или ложность составных высказываний.Алгебра высказываний
- 21. Математический аппарат логики: Вместо простых высказываний вводятся
- 22. В алгебре высказываний, как и в обычной
- 23. Логические операции+
- 24. соответствует союзу И обозначается знаком & или
- 25. Таблица истинности КонъюнкцияГрафическая иллюстрация Диаграмма Эйлера-Венна
- 26. соответствует союзу ИЛИ обозначается знаком + или
- 27. Таблица истинности ДизъюнкцияГрафическая иллюстрация
- 28. Соответствует частице НЕ обозначается черточкой над именем
- 29. Таблица истинности ИнверсияГрафическая иллюстрация
- 30. соответствует союзу либо,…либо обозначается знаком + или
- 31. Таблица истинности Разделительная дизъюнкцияГрафическая иллюстрация +
- 32. Соответствует союзу «ЕСЛИ…ТО» Обозначается знаком →Импликация двух
- 33. Таблица истинности ИмпликацияГрафическая иллюстрация АВ
- 34. Соответствует выражению «тогда и только тогда»Обозначается знаком
- 35. Таблица истинности ЭквивалентностьГрафическая иллюстрация
- 36. Логические операцииЕсть 4 друга: Антон, Виктор, Семен,
- 37. Задание на домПридумать свой пример понятий и
- 38. Логические законы В алгебре высказываний законы логики
- 39. Закон тождества. Закон непротиворечия.Закон исключенного третьего.Закон двойного отрицания
- 40. Законы идемпотентности. Законы де Моргана:
- 41. Свойства констант.
- 42. Правила коммутативности. Правила ассоциативности.
- 43. Правило дистрибутивности. Законы поглощения:
Логика –наука о формах и способах мышления (от греч. «логос» – рассуждение, речь) Логика – древняя наука, появившаяся примерно в IV веке до н.э. На Востоке логика развивалась в Китае и в Индии, а в Европе
Слайд 2Логика –наука о формах и способах мышления (от греч. «логос» –
рассуждение, речь)
Логика – древняя наука, появившаяся примерно в IV веке до н.э. На Востоке логика развивалась в Китае и в Индии, а в Европе развитие логики происходит из Древней Греции.
В развитии логики можно выделить три этапа.
Логика – древняя наука, появившаяся примерно в IV веке до н.э. На Востоке логика развивалась в Китае и в Индии, а в Европе развитие логики происходит из Древней Греции.
В развитии логики можно выделить три этапа.
Историческая справка
Слайд 8Понятие
Понятие- это форма мышления, отражающая основные, существенные признаки объекта.
Любое понятие имеет
две составляющие:
Слайд 9Понятие
Объем понятия- это совокупность (множество) предметов, на которое оно распространяется
Содержание понятия-
это совокупность основных, существенных признаков объекта
Определите объем и содержание понятий:
школьник, студент, спортсмен.
Определите объем и содержание понятий:
школьник, студент, спортсмен.
Слайд 10Круги Эйлера
Наглядная геометрическая иллюстрация объемов понятий и отношений между ними была
предложена Леонардом Эйлером (1707 – 1781) и носит название круги Эйлера.
А – множество школьников
В – множество спортсменов
С – множество студентов
А
С
В
Слайд 11Круги Эйлера
Изобразите с помощью кругов Эйлера объемы понятий и отношений между
ними
1
А – столица
В – столица России
С – город
2
А – десятиклассники
В – лицеисты ЦОДа г.Н.Новгорода
С – учащиеся Н.Новгорода
D - старшеклассники
Д/з: придумать свой пример понятий и отношений между ними и изобразить их с помощью кругов Эйлера.
Слайд 12Высказывание- это форма мышления, в которой что-либо утверждается или отрицается о
свойствах реальных объектов и отношениях между ними.
Высказывание
Слайд 13Высказывание не может быть выражено повелительным или вопросительным предложением, т. к.
оценка их истинности или ложности невозможна.
Высказывание
Слайд 14Простое высказывание содержит одну простую мысль
Составные высказывания состоят из простых высказываний
и логических операций
Высказывание
Слайд 15Умозаключение- это форма мышления, с помощью которой из одной или нескольких
суждений (посылок) может быть получено новое суждение (заключение).
Умозаключение
Слайд 17рассуждения ведутся от общего к частному.
Какой вывод вы можете сделать
из двух высказываний?
1. «Ртуть является металлом»
2.«Все металлы электропроводны»
«Ртуть электропроводна»
«Ртуть электропроводна»
Дедуктивные умозаключения
.
Слайд 18рассуждения ведутся от частного к общему.
Приведите примеры?
Индуктивные умозаключения
Например, установив, что
отдельные металлы – железо, медь, цинк и так далее – обладают свойством электропроводности можно сделать вывод, что все металлы электропроводны.
Слайд 19Движение мысли от общности одних свойств и отношений у сравниваемых предметов
или процессов.
Например, химический состав Солнца и Земли сходен по многим показателям, поэтому, когда на Солнце нашли еще неизвестный элемент гелий, предположили, что данный элемент есть и на Земле.
Например, химический состав Солнца и Земли сходен по многим показателям, поэтому, когда на Солнце нашли еще неизвестный элемент гелий, предположили, что данный элемент есть и на Земле.
Умозаключения по аналогии
Слайд 20Алгебра высказываний определяет истинность или ложность составных высказываний.
Алгебра высказываний
Слайд 21Математический аппарат логики:
Вместо простых высказываний вводятся логические переменные: А,
В, С и т.д.
Значения высказываний обозначаются следующим образом:
истина- 1
ложь- 0.
Значения высказываний обозначаются следующим образом:
истина- 1
ложь- 0.
Слайд 22
В алгебре высказываний, как и в обычной алгебре, вводится логические операции:
конъюнкция, дизъюнкция и инверсия. Это основные логические операции, при помощи которых можно записать любую логическую функцию.
Базовые логические операции
Слайд 24соответствует союзу И
обозначается знаком & или Λ, или ·
Конъюнкция
двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны.
Конъюнкция
Слайд 26соответствует союзу ИЛИ
обозначается знаком + или V
Дизъюнкция двух логических
переменных ложна тогда и только тогда, когда оба высказывания ложны.
Дизъюнкция
Слайд 28Соответствует частице НЕ
обозначается черточкой над именем или знаком ¬
Инверсия
логической переменной ложна, когда сама переменная истинна и наоборот, инверсия истинна, когда сама переменная ложна.
Инверсия
Слайд 30соответствует союзу либо,…либо
обозначается знаком + или
Разделительная дизъюнкция двух
логических переменных истинна тогда и только тогда, когда только одно высказывание истинно.
Разделительная дизъюнкция
Слайд 32Соответствует союзу «ЕСЛИ…ТО»
Обозначается знаком →
Импликация двух логических переменных истинна всегда,
кроме случая, когда первое высказывание истинно, а второе ложно
Импликация
Слайд 34Соответствует выражению «тогда и только тогда»
Обозначается знаком ≡ или
Эквивалентность двух
высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны
Эквивалентность
Слайд 36Логические операции
Есть 4 друга: Антон, Виктор, Семен, Дмитрий. Относительно их умения
играть в шахматы справедливы следующие высказывания:
1)Семен играет в шахматы;
2)если Виктор не играет в шахматы, то играют Семен и Дмитрий;
Если Антон или Виктор играет, то Семен не играет
Задание: преобразовать эти высказывания к алгебраической форме.
1)Семен играет в шахматы;
2)если Виктор не играет в шахматы, то играют Семен и Дмитрий;
Если Антон или Виктор играет, то Семен не играет
Задание: преобразовать эти высказывания к алгебраической форме.
Слайд 37Задание на дом
Придумать свой пример понятий и отношений между ними и
изобразить их с помощью кругов Эйлера.
Учебник п.1.6.1 (стр. 96-100) учить.
Заполнить таблицу (распечатка) и выучить.
Задания из учебника № 5, №6 письм. (стр.102)
Учебник п.1.6.1 (стр. 96-100) учить.
Заполнить таблицу (распечатка) и выучить.
Задания из учебника № 5, №6 письм. (стр.102)
Слайд 38Логические законы
В алгебре высказываний законы логики записываются в виде формул,
которые позволяют проводить эквивалентные преобразования логических выражений в соответствие с законами логики.
Знание законов логики позволяет проверять правильность рассуждений и доказательств.
Знание законов логики позволяет проверять правильность рассуждений и доказательств.
