Инфоурок Математика ПрезентацииПрезентация «Элементы математической логики»

Презентация «Элементы математической логики»

Скачать материал
Скачать материал "Презентация «Элементы математической логики»"

Настоящий материал опубликован пользователем Домарева Ксения Игоревна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт

Скачать материал
    • 09.04.2014 7461
    • PPTX 2.1 мбайт
    • 145 скачиваний
    • Оцените материал:
  • Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.

    Удалить материал
  • Автор материала

    Домарева Ксения Игоревна
    Домарева Ксения Игоревна
    • На сайте: 10 лет
    • Подписчики: 0
    • Всего просмотров: 6304
    • Всего материалов: 1

Рабочий лист «Элементы математической логики»

Файл будет скачан в формате:

  • pdf
2981
28
21.11.2023
«Инфоурок»

Материал разработан автором:

Максютова Зульфира Хурматовна

Учитель математики и информатики

Об авторе

Категория/ученая степень: Высшая категория
Место работы: МОБУ "Школа Успеха" с. Жуково муниципального района Уфимский район Республики Башкортостан
Образование: 1981 - 1986 Башкирский государственный университет (Уфа) факультет: Математический специальность: математика Мои успехи: 1. Городской конкурс методических разработок уроков информатики с использованием современных технологий , 3-е место 2. Участник Всероссийского конкурса профессионального мастерства педагогов "Мой лучший урок" по естественно-научному направлению 3. Участник республиканского конкурса среди педагогов, использующих информационно-коммуникационные технологии в образовательной деятельности «ИКТ в творчестве педагога – 2011/2012 учебного года»
Подробнее об авторе
Данный рабочий лист можно использовать для проведения контрольной работы по информатике в 8-9 классах при обобщении темы "Элементы математической логики". Рабочий лист состоит из 6 заданий, также имеются ответы для быстрой проверки.

Краткое описание методической разработки

Данный рабочий лист можно использовать для проведения контрольной работы по информатике в 8-9 классах при обобщении темы "Элементы математической логики". Рабочий лист состоит из 6 заданий, также имеются ответы для быстрой проверки.

Смотреть ещё 6 034 курса

Методические разработки к Вашему уроку:

Рабочие листы
к вашим урокам

Скачать

Описание презентации по отдельным слайдам:

  • Элементы                                        		 матема...

    1 слайд

    Элементы математической
    логики
    (высказывания, предикаты,
    простейшие правила рассуждений)

  • СОДЕРЖАНИЕ1. Понятие «математическая логи...

    2 слайд

    СОДЕРЖАНИЕ

    1. Понятие «математическая логика»

    2. Из истории...

    3. Понятие «высказывание»

    4. Логические операции над высказываниями

    5. Построение отрицания

    6. Понятие «предикаты»

    7. Понятие «рассуждение»

  • Математическая логика – 						современный вид формальной...

    3 слайд



    Математическая логика – современный вид формальной логики, то есть науки, изучающей умозаключения с точки зрения их формального строения.
    Математическая логика — это анализ методом рассуждений, при этом в первую очередь исследуются формы рассуждений, а не их содержание, т.е. математическая логика, исследует соотношения между основными понятиями математики, на базе которых доказываются математические утверждения.


  • Вплоть до начала XIX...

    4 слайд

    Вплоть до начала XIX века формальная логика практически
    не выходила за рамки
    силлогических умозаключений.
    Однако, начиная с работ
    Дж.Буля, можно говорить
    о превращении ее в
    математическую логику.



    Математическая логика – это обширная наука, которая кроме традиционной проблематики занимается вопросами оснований математики и теории алгоритмов и имеет целый ряд приложений.

  • ВЫСКАЗЫВАНИЕ		Основным объектом, изучаемым математической логикой являетс...

    5 слайд

    ВЫСКАЗЫВАНИЕ
    Основным объектом, изучаемым
    математической логикой является высказывание.
    Высказыванием
    называется повествовательное предложение,
    о котором в данной ситуации можно сказать,
    что оно истинно или ложно, но не то и другое одновременно.Пример 1. Волга впадает в Каспийское море.Пример 2. Два больше трех.
    Первое высказывание является истинным, а второе — ложным.
    Таким образом, высказывание обладает свойством представлять истину или ложь, поэтому на высказывание
    можно смотреть как на величину,
    которая может принимать только одно из двух значений: «истина», «ложь».

  • 6 слайд

  • Высказывание обозначаются прописными латинскими буквами A, B, C,…. Подобно...

    7 слайд

    Высказывание обозначаются прописными латинскими буквами A, B, C,…. Подобно тому, как в алгебре числа обозначаются буквами a, b, c…
    Основные логические операции над высказываниями:
    1)отрицание;
    2)конъюнкция;
    3)дизъюнкция;
    4)импликация;
    5)эквивалентность.

  • Отрицанием высказывания Х называется высказывание ¬Х, которое истинно, когда...

    8 слайд

    Отрицанием высказывания Х называется высказывание ¬Х, которое истинно, когда Х ложно, и ложно, когда Х истинно.

    Таблица истинности для отрицания.




  • Конъюнкцией двух высказываний Х и Y называется высказывание, которое истинн...

    9 слайд

    Конъюнкцией двух высказываний Х и Y называется высказывание, которое истинно только в том случае,
    когда Х и Y оба истинны.
    Таблица истинности для конъюнкции.

  • Дизъюнкцией двух высказываний Х и Y называется высказывание, которое истинно...

    10 слайд

    Дизъюнкцией двух высказываний Х и Y называется высказывание, которое истинно, когда хотя бы одно из них истинно.

    Таблица истинности дизъюнкции.

  • Импликацией двух высказываний Х и Y называется высказывание, которое ложно...

    11 слайд

    Импликацией двух высказываний Х и Y называется высказывание, которое ложно тогда и только тогда,
    когда Х истинно, а Y ложно.
    Таблица истинности для импликации.

  • Эквивалентностью высказываний Х и Y называется высказывание, которое истинн...

    12 слайд

    Эквивалентностью высказываний Х и Y называется высказывание, которое истинно тогда и только тогда,
    когда Х и Y оба истинны или ложны.
    Таблица истинности для эквивалентности.

  • ПОСТРОЕНИЕ ОТРИЦАНИЯ 				При...

    13 слайд


    ПОСТРОЕНИЕ ОТРИЦАНИЯ

    При построении отрицания к простому высказыванию используется простой речевой оборот «неверно, что...», либо отрицание строится к сказуемому, тогда к сказуемому добавляется частица «не», при этом слово «все» заменяется на «некоторые» и наоборот.

    Пример 1. Отрицанием высказывания «Все натуральные числа — четные» будет высказывание «Неверно, что все натуральные числа — четные».

    Пример 2. Отрицанием высказывания «Все целые числа являются отрицательными» будет высказывание «Некоторые целые числа не являются отрицательными».

  • ПРЕДИКАТЫ		Предикат — один из элементов логики первого и высших...

    14 слайд

    ПРЕДИКАТЫ

    Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.

    Предикат называют тождественно-истинным,
    если на любом наборе аргументов он принимает значение 1.

    Предикат называют тождественно-ложным,
    если на любом наборе аргументов он принимает значение 0.

    Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.
    Так как предикаты принимают только два значения, то к ним применимы все операции, например: отрицание, импликация, конъюнкция, дизъюнкция и т.д.

  • ПРИМЕР ПРЕДИКАТОВ								Обозначим предикатом EQ(x, y) отно...

    15 слайд

    ПРИМЕР ПРЕДИКАТОВ

    Обозначим предикатом EQ(x, y) отношение равенства
    («x = y»), где x и y принадлежат R (множеству вещественных чисел). В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.
    Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y
    на улице z» или ЛЮБИТ(x, y) для «x любит y»,
    где множество M — это множество всех людей.

  • РАССУЖДЕНИЕ		Рассуждение — сопоставление мыслей,	 связывание их дл...

    16 слайд

    РАССУЖДЕНИЕ

    Рассуждение — сопоставление мыслей,
    связывание их для соответствующих выводов.
    Рассуждения является предметом логики.
    Логическое мышление — способность мыслить точно и последовательно, не допуская противоречий в своих рассуждениях, и умение вскрывать логические ошибки.
    Правильное рассуждение — это рассуждение, в котором одни мысли с необходимостью вытекают из других мыслей.

  •  ОСНОВНЫЕ ФОРМЫ РАССУЖДЕНИЙПОНЯТИЕСУЖДЕНИЕУМОЗАКЛЮЧЕНИЕДЕДУКТИВНОЕИНДУКТИВНОЕ

    17 слайд

    ОСНОВНЫЕ ФОРМЫ РАССУЖДЕНИЙ
    ПОНЯТИЕ
    СУЖДЕНИЕ
    УМОЗАКЛЮЧЕНИЕ
    ДЕДУКТИВНОЕ
    ИНДУКТИВНОЕ

  • Понятие — отображённое в мышлении единство существенных свойств, связей и о...

    18 слайд

    Понятие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений.

    Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
    УМОЗАКЛЮЧЕНИЯ:
    Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путём выводится из общего, вывод по правилам логики.
    Индукция (лат. inductio — наведение) — процесс логического вывода на основе перехода от частного положения к общему.

  • Наше изложение математической логики      было очень кратким, но все же...

    19 слайд

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

  • БЛАГОДАРИМ ЗА ВНИМАНИЕ!

    20 слайд

    БЛАГОДАРИМ ЗА ВНИМАНИЕ!

Краткое описание документа:

     Презентация для урока математики на тему «Элементы математической логики». Работа подготовлена для круглого стола по дисциплине Теоретические Основы Начального Курса Математики(СОФ НИУ БелГУ).СОДЕРЖАНИЕ ПРЕЗЕНТАЦИИ.     Вплоть до начала XIX века формальная логика практически не выходила за рамки силлогических умозаключений. Однако, начиная с работ Дж. Буля, можно говорить о превращении ее в математическую логику. Особенности математической логики заключаются в ее математическом аппарате, в преимущественном внимании к умозаключениям, применяемым в самой математике.                               ВЫСКАЗЫВАНИЕ   Основным объектом, изучаемым математической логикой является высказывание. Высказыванием называется повествовательное предложение, о котором в данной ситуации можно сказать, что оно истинно или ложно, но не то и другое одновременно.           Приведем примеры высказываний. Пример 1. Волга впадает в Каспийское море. Пример 2. Два больше трех. Первое высказывание является истинным, а второе - ложным.     Таким образом, высказывание обладает свойством представлять истину или ложь, поэтому на высказывание можно смотреть как на величину, которая может принимать только одно из двух значений: «истина», «ложь».           В математической логике для образования составных высказываний используются следующие основные грамматические связки: «не», «и», «или», «если.., то», «тогда и только тогда». Построение из данных простых высказываний нового составного высказывания называется логической операцией над высказываниями. Действия над высказываниями с применением логических операций называют алгеброй высказываний.          В алгебре высказываний все высказывания рассматриваются только с точки зрения их логического значения, а от содержания их отвлекаются. Считается, что каждое высказывание либо истинно, либо ложно и что ни одно высказывание не может быть одновременно истинным и ложным.      Высказывание обозначаются прописными латинскими буквами A, B, C,….подобно тому, как в алгебре числа обозначаются буквами a, b, c…     Основные логические операции над высказываниями называются Отрицание Конъюнкция Дизъюнкция Импликация Эквивалентность      Отрицанием высказывания Х называется высказывание Х, которое истинно, когда Х ложно, и ложно, когда Х истинно. Таблица истинности для отрицания.     Конъюнкцией двух высказываний Х и Y называется высказывание, которое истинно только в том случае, когда Х и Y оба истинны. Таблица истинности для конъюнкции.     Дизъюнкцией двух высказываний Х и Y называется высказывание, которое истинно, когда хотя бы одно из них истинно. Таблица истинности дизъюнкции.     Эквивалентностью высказываний Х и Y называется высказывание, которое истинно тогда и только тогда, когда Х и Y оба истинны или ложны. Таблица истинности для эквивалентности.                                  ПРЕДИКАТ      Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам. Предикат называют тождественно-истинным и пишут:    если на любом наборе аргументов он принимает значение 1.          Предикат называют тождественно-ложным и пишут:     если на любом наборе аргументов он принимает значение 0.         Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1. Так как предикаты принимают только два значения, то к ним применимы все операции, например: отрицание, импликация, конъюнкция, дизъюнкция и т.д.                     ПРИМЕР ПРЕДИКАТОВ     Обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат R (множеству вещественных чисел). В этом случае предикат EQ будет принимать истинное значение для всех равных x и y. Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество  M — это множество всех людей. Предикат — это то, что утверждается или отрицается о субъекте суждения.                             РАССУЖДЕНИЕ       Рассуждение — сопоставление мыслей, связывание их для соответствующих выводов, логическое мышления.         ПРАВИЛА ПОСТРОЕНИЯ РАССУЖДЕНИЙ     Понятие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений.       Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.                        УМОЗАКЛЮЧЕНИЯ:      Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путём выводится из общего, вывод по правилам логики.     Индукция (лат. inductio — наведение) — процесс логического вывода на основе перехода от частного положения к общему.   

Скачать материал

Найдите материал к любому уроку, указав свой предмет (категорию), класс, учебник и тему:

7 364 550 материалов в базе

Скачать материал

Вам будут интересны эти курсы:

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.

Оформите подписку «Инфоурок.Маркетплейс»

Вам будут доступны для скачивания все 351 497 материалов из нашего маркетплейса.

Мини-курс

Преодоление расстройств: путь к психическому здоровью

3 ч.

699 руб.
Подать заявку О курсе
  • Этот курс уже прошли 15 человек

Мини-курс

Финансовый менеджмент и управление рисками

2 ч.

699 руб.
Подать заявку О курсе

Мини-курс

Традиции Китая: Новый год и свадебные обычаи

4 ч.

699 руб.
Подать заявку О курсе
Смотреть ещё 6 034 курса