1489135
столько раз учителя, ученики и родители
посетили официальный сайт проекта «Инфоурок»
за прошедшие 24 часа
Добавить материал и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
Инфоурок Математика ПрезентацииПрезентация по предмету Элементы математической логики "Кванторы"

Презентация по предмету Элементы математической логики "Кванторы"

IV Международный дистанционный конкурс «Старт» Идёт приём заявок Для дошкольников и учеников 1-11 классов 16 предметов ОРГВЗНОС 25 Р. ПОДАТЬ ЗАЯВКУ
библиотека
материалов
Кванторы

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

1 слайд Кванторы
Описание слайда:

Кванторы

2 слайд Квантор общности Пусть Р(х) одноместный предикат, определенный на множестве Х
Описание слайда:

Квантор общности Пусть Р(х) одноместный предикат, определенный на множестве Х. Высказывание «для всех х из Х Р(х) истинно» обозначается , где знак называется квантор общности.

3 слайд Квантор существования Высказывание «существует такой х из Х, что Р(х) истинно
Описание слайда:

Квантор существования Высказывание «существует такой х из Х, что Р(х) истинно» обозначается . Знак называется квантором существования. Переход от Р(х) к или называется связыванием переменной х, или навешиванием квантора на переменную х. Несвязанная переменная называется свободной.

4 слайд Пример Пусть Р(х) – предикат «х- четное число». Тогда высказывание истинно на
Описание слайда:

Пример Пусть Р(х) – предикат «х- четное число». Тогда высказывание истинно на множестве четных чисел и ложно , если в это множество входит хотя бы одно нечетное число. Высказывание истинно на любом множестве, содержащем хотя бы одно четное число, и ложно на множестве нечетных чисел.

5 слайд Истинность или ложность предиката Р, а также формул логики предикатов опреде
Описание слайда:

Истинность или ложность предиката Р, а также формул логики предикатов определяется подстановкой вместо предметных переменных некоторых допустимых констант.

6 слайд Если в области Х существует такой набор констант , что формула становится ис
Описание слайда:

Если в области Х существует такой набор констант , что формула становится истинным высказыванием, она называется выполнимой в этой области. Если формула выполнима при любых подстановках констант, она называется тождественно истинной в области Х.

7 слайд Если не существует набора констант из Х, для которых формула выполнима в Х,
Описание слайда:

Если не существует набора констант из Х, для которых формула выполнима в Х, она называется невыполнимой в Х. Если формула невыполнима ни в каких областях Х, она называется противоречивой.

8 слайд Формулы называются эквивалентными, если при любых подстановках констант они
Описание слайда:

Формулы называются эквивалентными, если при любых подстановках констант они принимают одинаковые значения. Метод непосредственных подстановок констант называется методом интерпретаций или семантическим (смысловым).

Курс профессиональной переподготовки
Учитель математики
Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Краткое описание документа:

Презентация по предмету Элементы математической логики "Кванторы" разработана на основе Федерального государственного образовательного стандарта по специальности среднего профессионального образования 230115 Программирование в компьютерных системах. Целью является ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач, повышение уровня математической культуры, развития логичности и конструктивности мышления. Возможно использовать при изучении нового материала, при повторении и самоподготовке.

 

Общая информация
ВНИМАНИЮ УЧИТЕЛЕЙ: хотите организовать и вести кружок по ментальной арифметике в своей школе? Спрос на данную методику постоянно растёт, а Вам для её освоения достаточно будет пройти один курс повышения квалификации (72 часа) прямо в Вашем личном кабинете на сайте "Инфоурок".

Пройдя курс Вы получите:
- Удостоверение о повышении квалификации;
- Подробный план уроков (150 стр.);
- Задачник для обучающихся (83 стр.);
- Вводную тетрадь «Знакомство со счетами и правилами»;
- БЕСПЛАТНЫЙ доступ к CRM-системе, Личному кабинету для проведения занятий;
- Возможность дополнительного источника дохода (до 60.000 руб. в месяц)!

Пройдите дистанционный курс «Ментальная арифметика» на проекте "Инфоурок"!

Подать заявку
26-28 октября 2019 I МЕЖДУНАРОДНЫЙ ПЕДАГОГИЧЕСКИЙ «ИНФОФОРУМ» «Современные тенденции в воспитании и социализации детей» Подать заявку Очное участие Дистанционное участие Курс повышения квалификации (36 часов) + Сертификат участника “Инфофорума”
IV Международный дистанционный конкурс «Старт» Для дошкольников и учеников 1-11 классов Рекордно низкий оргвзнос 25 Р. 16 предметов ПОДАТЬ ЗАЯВКУ
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.