Инфоурок / Математика / Презентации / Презентация по предмету Элементы математической логики "Кванторы"
Только сейчас Вы можете пройти дистанционное обучение на курсах повышения квалификации прямо на сайте "Инфоурок" со скидкой 40%. По окончании курсов Вы получите печатное удостоверение о повышении квалификации установленного образца (доставка удостоверения бесплатна).

Открыт приём заявок на новые курсы повышения квалификации:

- «Профилактическая работа в ОО по выявлению троллинга, моббинга и буллинга среди подростков» (108 часов)

- «Психодиагностика в образовательных организациях с учетом реализации ФГОС» (72 часа)

- «Укрепление здоровья детей дошкольного возраста как ценностный приоритет воспитательно-образовательной работы ДОО» (108 часов)

- «Профориентация школьников: психология и выбор профессии» (108 часов)

- «Видеотехнологии и мультипликация в начальной школе» (72 часа)

- «Патриотическое воспитание дошкольников в системе работы педагога дошкольной образовательной организации» (108 часов)

- «Психолого-педагогическое сопровождение детей с синдромом дефицита внимания и гиперактивности (СДВГ)» (72 часа)

- «Использование активных методов обучения в ВУЗе в условиях реализации ФГОС» (108 часов)

- «Специфика преподавания русского языка как иностранного» (108 часов)

- «Экологическое образование детей дошкольного возраста: развитие кругозора и опытно-исследовательская деятельность в рамках реализации ФГОС ДО» (108 часов)

- «Простые машины и механизмы: организация работы ДОУ с помощью образовательных конструкторов» (36 часов)

- «Федеральный государственный стандарт ООО и СОО по истории: требования к современному уроку» (72 часа)

- «Организация маркетинга в туризме» (72 часа)

Также представляем Вашему вниманию новый курс переподготовки «Организация тренерской деятельности по физической культуре и спорту» (300/600 часов, присваиваемая квалификация: Тренер-преподаватель).

Смотреть список всех 216 курсов со скидкой 40%

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

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

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

от проекта "Инфоурок" с указанием данных образовательной лицензии, что важно при прохождении аттестации.


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


Список всех тестов можно посмотреть тут - https://infourok.ru/tests

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

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

Кванторы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

Общая информация

Номер материала: 544867

Похожие материалы