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

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

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

Выберите документ из архива для просмотра:

Выбранный для просмотра документ Элементы математической логики Урок 1.pptx

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

Получите профессию

Методист-разработчик онлайн-курсов

за 6 месяцев

Пройти курс

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

Скачать

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

Получите новую специальность за 2 месяца

Психолог-перинатолог

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

  • Основы математической логикиОсновные понятия

    1 слайд

    Основы математической логики
    Основные понятия

  • Слово логика означает совокупность правил, которым подчиняется процесс мышлен...

    2 слайд

    Слово логика означает совокупность правил, которым подчиняется процесс мышления. Термин "логика" происходит от древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон". 
    Формальная логика - наука о формах и законах мышления.
    Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения  и умозаключения

  • Понятие - это форма мышления, которая выделяет существенные признаки предмета...

    3 слайд

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

  • Суждения - это форма мышления, в которой утверждается или отрицается связь ме...

    4 слайд

    Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной. Языковой формой выражения суждения является повествовательное предложение.

  • Умозаключение - прием мышления, позволяющий на основе одного или нескольких с...

    5 слайд

    Умозаключение - прием мышления, позволяющий на основе одного или нескольких суждений-посылок получить новое суждение (знание или вывод).
         Примерами умозаключений являются доказательства теорем в геометрии. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда и умозаключение будет истинным. Иначе можно прийти к ложному умозаключению

  • Математическая логика изучает вопросы применения математических методов для р...

    6 слайд

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

  • Основные определения.Любое предложение, о смысле которого можно сказать, исти...

    7 слайд

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

  • Примеры 
A: “2*2=4”
B: “Ставрополь - столица России.”
C: “2+х=12”
D: “Какой с...

    8 слайд

    Примеры
    A: “2*2=4”
    B: “Ставрополь - столица России.”
    C: “2+х=12”
    D: “Какой следующий урок?”
    E: “Завтра принести тетради.”
    F: “Сумма углов треугольника 180 градусов.”
    H: “Только на Земле есть жизнь.”

  • Примеры В группе Пр-39 20 студентов.
Который час?
2

    9 слайд

    Примеры
    В группе Пр-39 20 студентов.
    Который час?
    2<5
    Завтра будет дождь.
    Сколько в доме №24 квартир?
    Последний герой.
    Модуль вектора АВ - это длина отрезка АВ

  • Истинно ли следующее предложение?То что написано в этом прямоугольнике  - ест...

    10 слайд

    Истинно ли следующее предложение?
    То что написано в этом прямоугольнике - есть ложь

  • Высказывания обозначаются  заглавными латинскими буквами А,В, М и тд. Истинно...

    11 слайд

    Высказывания обозначаются заглавными латинскими буквами А,В, М и тд. Истинность или ложность высказывания записывается в виде α(А)= И, или α(В)=False или α(В)=0 или α(А)= 1

  • Отрицание высказыванияОтрицанием высказывания Р называется новое высказывание...

    12 слайд

    Отрицание высказывания
    Отрицанием высказывания Р называется новое высказывание обозначаемое (читается: «Не Р» или «Неверно, что Р») которое считается истинным, если высказывание Р ложно, и ложным, если Р истинно.

  • Таблица истинности

    13 слайд

    Таблица истинности

  • Конъюнкция высказыванийКонъюнкцией высказываний Р и Q называется новое высказ...

    14 слайд

    Конъюнкция высказываний
    Конъюнкцией высказываний Р и Q называется новое высказывание, обозначаемое P Q (читается «Р и Q»), которое считается истинным, если истинны оба высказывания Р и Q, и ложным во всех остальных случаях.

  • Таблица истинности

    15 слайд

    Таблица истинности

  • Дизъюнкция высказыванийДизъюнкцией высказываний Р и Q называется новое высказ...

    16 слайд

    Дизъюнкция высказываний
    Дизъюнкцией высказываний Р и Q называется новое высказывание, обозначаемое Р Q (читается «Р или Q»), которое истинно в тех случаях, если истинно хотя бы одно из высказываний Р или Q, и ложно, если ложны оба высказывания Р и Q.

  • Таблица истинности

    17 слайд

    Таблица истинности

  • Импликация высказыванийИмпликацией высказываний Р и Q называется высказывание...

    18 слайд

    Импликация высказываний
    Импликацией высказываний Р и Q называется высказывание, обозначаемое Р Q(читается: «Если Р, то Q», или «Из Р
    следует Q», или «Р влечет за собой Q»), которое ложно лишь в том случае, если Р истинно, a Q ложно.

  • Таблица истинности

    19 слайд

    Таблица истинности

  • Эквивалентность высказываний Эквивалентностью (или эквиваленцией) высказывани...

    20 слайд

    Эквивалентность высказываний
    Эквивалентностью (или эквиваленцией) высказываний Р и Q называется новое высказывание, обозначаемое P Q (читается «Р эквивалентно Q», или «Р тогда и только тогда, когда Q»), которое истинно в том и только в том случае, если Р и Q уодновременно истинны или одновременно ложны.

  • Таблица истинности

    21 слайд

    Таблица истинности

  • Исключающее «или» (неравнозначность)Неравнозначностью двух высказываний A и B...

    22 слайд

    Исключающее «или» (неравнозначность)
    Неравнозначностью двух высказываний A и B называется высказывание, истинное, когда истинностные значения A и B не совпадают, и ложное — в противном случае. Обозначается: A ⊕ B . Читается: «либо A, либо B » (понимается — в разделительном смысле).

  • Таблица истинности

    23 слайд

    Таблица истинности

  • Логические операции на множестве {0,1}1      1 = 1,
1      0 = 0,
0      1 =...

    24 слайд

    Логические операции на множестве {0,1}
    1 1 = 1,
    1 0 = 0,
    0 1 = 0,
    0 0 = 0.


    1 1 = 1,
    1 0 = 1,
    0 1 = 0,
    0 0 = 1.

Получите профессию

Бухгалтер

за 6 месяцев

Пройти курс

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

Скачать

Получите профессию

Няня

за 6 месяцев

Пройти курс

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

Скачать

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

Презентация первых уроков к лекции по предмету Элементы математической логики для специальности  230115 «Программирование в компьютерных системах» системы среднего профессионального обучения. Рассматриваются основные понятия математической логики, их определения, и основные операции над высказываниями, приводятся примеры. Материал может быть использован на уроках информатики при изучении темы «Математическая логика», так как первые уроки являются по сути повторением и систематизацией знаний школьного курса информатики. 

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

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

6 626 933 материала в базе

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

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

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

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

  • Скачать материал
    • 18.06.2014 1816
    • ZIP 209.1 кбайт
    • 25 скачиваний
    • Оцените материал:
  • Настоящий материал опубликован пользователем Толоконников Александр Владимирович. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт

    Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.

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

    • На сайте: 9 лет и 3 месяца
    • Подписчики: 0
    • Всего просмотров: 67885
    • Всего материалов: 37

Ваша скидка на курсы

40%
Скидка для нового слушателя. Войдите на сайт, чтобы применить скидку к любому курсу
Курсы со скидкой

Курс профессиональной переподготовки

HR-менеджер

Специалист по управлению персоналом (HR- менеджер)

500/1000 ч.

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

Курс повышения квалификации

Применение математических знаний в повседневной жизни

36 ч. — 180 ч.

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

Курс профессиональной переподготовки

Математика и информатика: теория и методика преподавания в профессиональном образовании

Преподаватель математики и информатики

500/1000 ч.

от 8900 руб. от 4450 руб.
Подать заявку О курсе
  • Сейчас обучается 43 человека из 22 регионов

Курс повышения квалификации

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

36 ч. — 144 ч.

от 1700 руб. от 850 руб.
Подать заявку О курсе
  • Сейчас обучается 47 человек из 27 регионов

Мини-курс

Эволюция и современное состояние искусства

6 ч.

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

Мини-курс

Психологические особенности педагогического общения

6 ч.

780 руб. 390 руб.
Подать заявку О курсе
  • Сейчас обучается 31 человек из 19 регионов

Мини-курс

Психологическая экспертиза в работе с детьми и родителями

2 ч.

780 руб. 390 руб.
Подать заявку О курсе
  • Сейчас обучается 55 человек из 27 регионов