Сервер Методического Обеспечения вгуэс

Вид материала

Реферат

Подобный материал:

• Дипломная работа студента 545 группы, 334.18kb.
• Т. Н. Коржавина Принципы организации службы научного и методического обеспечения колледжа, 47.35kb.
• «sql*net», 239.02kb.
• Генезис развития теории и методики программно-методического обеспечения обучения, 145.89kb.
• Прозрачный прокси сервер на базе squid, ipfw и Freebsd, 8.5kb.
• Доклад «Три кита школьного образования: стандарты, учебники, егэ», 116.02kb.
• Справка по результатам самоаттестации методического объединения учителей русского языка, 447.26kb.
• Большой Сервер Недвижимости 31. 05. 2008: программа, 1328.13kb.
• Т. Г. Римская научный редактор, к и. н., доцент, директор филиала вгуэс в г. Находке, 2476.8kb.
• Владивосток: Изд-во вгуэс, 2005., 1071.2kb.

.

Следовательно,

.

б) Возьмем

.

Следовательно,

.

в) Возьмем

.

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

Возьмем

.

Следовательно,

.

1. Теорема 8

Если множество А состоит из m элементов, а В – из n элементов, тогда А В состоит из m n элементов.

• Доказательство

Доказываем индукцией по числу n-элементов множества В.

При n=1 имеем , поэтому , то есть A B имеет m=m 1 элементов.

Допустим, теорема верна при n=k. И пусть теперь В состоит из к+1 элемента, то есть

,

где

.

Тогда .

Первое множество состоит из m k элементов по индуктивному предположению, второе множество состоит из m элементов, как отмечалось в базисе индукции. Кроме того, , так как , поэтому множество А В состоит из mk+m=m(k+1) элементов, что и требовалось доказать.

1. §5. Предикаты

2. Определение 1

а) Множество называется n-местным предикатом (отношением) между элементами множеств А₁,А₂,...,А_n;

б) Если , то мы говорим, что отношение Р истинно на наборе (a₁,a₂,...a_n) и обозначаем Р(a₁,a₂,...a_n)=1 или просто Р(a₁,a₂,...a_n), если же , то мы говорим, что P ложно на наборе (a₁,a₂,...a_n) и пишем Р(a₁,a₂,...a_n)=0 или (a₁,a₂,...a_n).

1. Определение 2

Пусть  – n-местный предикат.

а) При n=1 называется одноместным предикатом или свойством, определенным на множестве ;

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

в) если , то Р называется отношением между элементами множества А.

1. Примеры

1) Пусть . Свойство определяется условием: Р(х)=1«х – четное число, тогда Р={...;-4;-2;0;2;4;...}.

2) , определяется условием: Р(х)=1«х – иррациональное число. Тогда , а

.

3)  – множество всех людей, определим так: