PPt4Web Хостинг презентаций

Главная / Математика / Предикаты
X Код для использования на сайте:

Скопируйте этот код и вставьте его на свой сайт

X

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

После чего скачивание начнётся автоматически!

Кнопки:

Презентация на тему: Предикаты


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

Презентация на тему: Предикаты


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



№ слайда 1 Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением
Описание слайда:

Предикаты Определение 1 а) Множество называется n-местным предикатом (отношением) между элементами множеств А1,А2,...,Аn; б) Если , то мы говорим, что отношение Р истинно на наборе (a1,a2,...an) и обозначаем Р(a1,a2,...an)=1 или просто Р(a1,a2,...an), если же , то мы говорим, что P ложно на наборе (a1,a2,...an) и пишем Р(a1,a2,...an)=0 или (a1,a2,...an). Определение 2 Пусть  – n-местный предикат. а) При n=1 называется одноместным предикатом или свойством, определенным на множестве ;

№ слайда 2 б) при n=2 Р называется двухместным предикатом или бинарным предикатом или прост
Описание слайда:

б) при n=2 Р называется двухместным предикатом или бинарным предикатом или просто отношением; б) при n=2 Р называется двухместным предикатом или бинарным предикатом или просто отношением; в) если , то Р называется отношением между элементами множества А. Примеры 1) Пусть . Свойство определяется условием:  – четное число, тогда Р={...;-4;-2;0;2;4;...}. 2) , , определяется условием: – иррациональное число. Тогда , 3)  – множество всех людей, определим так: – мужчина

№ слайда 3  – множество треугольников на плоскости,   – равносторонний треугольни
Описание слайда:

 – множество треугольников на плоскости,   – равносторонний треугольник  – множество треугольников на плоскости,   – равносторонний треугольник Определение 3 Пусть  – бинарный предикат. Тогда предикат называется обратным к Р, если для любых и Обозначим через следующий бинарный предикат: IА называется диагональным отношением или отношением равенства или просто равенством на множестве А. Очевидно, что .

№ слайда 4 Определение 4 Определение 4 Пусть   бинарные предикаты, тогда предикат опре
Описание слайда:

Определение 4 Определение 4 Пусть   бинарные предикаты, тогда предикат определяется следующим условием: для любых существует , такой, что называется суперпозицией предикатов Р и Q. Пример 1 A={1,2,3},B={a, b, c},C={x, y, z}; P={(1;a);(1;c);(2;b);(2;c);(3;a)} A х B; Q={(a; x);(a; y);(b; y);(b; z);(c; x);(c; z)} B х C; ={(1;x);(1;y);(1;z);(2;x);(2;y);(2;z);(3;x);(3;y)}= =(A х C)/{(3;z)}.

№ слайда 5 Теорема 1 Теорема 1 Пусть , тогда а) ; б) . Доказательство а) Возьмем существует
Описание слайда:

Теорема 1 Теорема 1 Пусть , тогда а) ; б) . Доказательство а) Возьмем существует . Но влечет X=Z , значит , то есть . Теперь возьмем , тогда можно написать , то есть существует такое , что , значит . Аналогично доказывается пункт б).

№ слайда 6 Теорема 2 Теорема 2 Пусть и , тогда . Доказательство Возьмем существует , такой,
Описание слайда:

Теорема 2 Теорема 2 Пусть и , тогда . Доказательство Возьмем существует , такой, что . Теорема 3 Пусть тогда   – ассоциативность суперпозиции.

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


Презентации по предмету
Презентации из категории
Лучшее на fresher.ru