Математическая логика в школьном курсе математики

Скачать презентацию на тему: "Математическая логика в школьном курсе математики" с количеством слайдов в размере 28 страниц. У нас вы найдете презентацию на любую тему и для каждого класса школьной программы. Мы уверены, что наши слайды помогут найти вам свою аудиторию. Весь материал предоставлен бесплатно, в знак благодарности мы просим Вас поделиться ссылками в социальных сетях и по возможности добавьте наш сайт MirPpt.ru в закладки.

Нажмите для просмотра
Математическая логика в школьном курсе математики

1: Математическая логика в школьном курсе математики

2: Правила пользования презентацией

3: Содержание Предисловие Что такое логика? - История изучения - Высказывания Алгебра логики - Действия над высказываниями - Приоритет выполнения операций - Законы алгебры логики Примеры решения задач Предикаты Заключение

4: Предисловие В повседневной жизни мы часто сталкиваемся с ситуациями, когда не знаем, как прийти к выводу из предпосылок и получить истинное знание о предмете размышления. Логика служит одним из инструментов почти любой науки. Пример тому школьный курс математики.

5: Предмет логики Логика  (др. -греч. «λογική» — «искусство рассуждения») — наука, изучающая законы и формы мышления.

6: История

7: Высказывания

8: Алгебра высказываний

9: Приоритет выполнения операций

10: Законы математической логики Коммутативность

11: Законы алгебры логики 1. А А 2. А ν А А 3. А А А 4. А ν А I 5. A ν (A ν A) I

12: Отрицание

13: Дизъюнкция

14: импликация

15: конъюнкция

16: эквиваленция

17: Строгая дизъюнкция

18:

19: Разгадали? Давайте проверим Пусть АКапитан присутствует на судне, ВС судна выгружают груз, СРулевой присутствует на судне, тогда (В А) и (B (AC)) – истинные высказывания. Конъюнкция истинных высказываний истинна, т. е. (BA)(B (AC))(BvA)(B(AvС)) (BvA)(Bv (AvС)) BvA(AvС) BvLvAC BvAC BAC. Проанализировав полученное, выяснили, что рулевой присутствует на судне, если с судна не выгружают груз. Ответ: рулевой присутствует на судне, если с судна не выгружают груз.

20: Предикаты

21:

22: Для предикатов характерны те же действия, что и для высказываний, а именно: Для предикатов характерны те же действия, что и для высказываний, а именно: Конъюнкция Дизъюнкция Импликация Эквиваленция и др.

23: Кванторы Одним из способов получения высказываний из предикатов является навешивание кванторов. Для этого перед предикатом пишут кванторы – слова, описывающие его множество истинности.

24: квантор существования « »  Квантор существования — это символ, обозначающий единственное существование и читается как «существует» или «для некоторого».

25: квантор всеобщности «» Квантор всеобщности  — это символ, обозначающий всеобщность и читается как «для любого» или «для всех».

26: Заключение

27: Использованная литература Шабунин М. И. Математика. Алгебра. Начала анализа. http://ru. wikipedia. org

28: Работу выполнили Работу выполнили Ученицы 11 А класса: Баженова Наталья Луценко Ксения Масленникова Людмила Саяпина Юлия

Скачать презентацию


MirPpt.ru