Diskretka
.pdf
Diskretka.doc20.02.2014 |
151 |
97.http://www.auditorium.ru/books/339/philosophy/chap06.htm1#i06
98.http://www.isu.ru/slava/do/disc/curshome.htm
99.Harary F. Graph Theory. Reading, MA, Addison-Wesley, 1969Русскийперевод[
ХарариФ.Теорияграфов.М.Мир: , 197 |
3] |
100.Oxley J. What is a matroid
101.Post E.L. The two-valued interactive systems of mathematical logic. – Annals of Math. Studies, v. 5, Princeton Univ. Press. Princeton-London, 1941).
ПРИЛОЖЕНИЕ
Буквылатинскогоалфавита
Представнаибоуп летрно(небдительныйнствен |
ный)вариантпроизношения |
(вчастности,вмесйо„"инг гдаворятжи„"). |
|
Diskretka.doc20.02.2014 |
152 |
Нарядусуказаннымпроизношениемтакжеговорятлямб„ |
|
|
|
|
да", |
„мю"иню„". |
|
|
||
Принятыеобозначения |
|
|
|
|
|
|
f(n) и g(n) (с |
|||
Символыпорядка« неболее». |
|
|
|
Присравнениискоростиростадвухфункций |
|
|||||
неотрицатзначениями)очудобныследующиенымиь обозначения: |
|
|
|
|
|
|
|
|||
f(n)О(= |
g(п)) |
существуютконстан ы |
С, N > 0 ,такие, |
что f(n) ≤ С g(п) |
длявсех |
п |
||||
≥ N; |
|
|
|
|
|
|
|
|
|
|
f(n)О(= |
g(п)) |
<=> существуютконстан ы |
С, N > 0 ,такие,что |
f(n) ≥ С g(п) |
для |
|||||
любого п ≥ N. |
|
|
|
|
|
|
|
|
|
|
Конечно, |
f(n)о(= g(п)) |
тогдаитолькотогда,когда |
g(п)О(= |
|
f(n)).Символы |
О( g(п)) |
и |
|||
о( g(п)) читаютсясоответственно: |
|
|
«порядканеболеечем |
g(п) »ипорядка« менеечем |
g(п) |
». |
||||
Приизучениикурсапотребуетсяследующаясимвте ретиколика |
|
|
|
-множественных |
||||||
операцийотношений: |
|
U |
, |
U |
, \, , , , , (Л), card M<смысловоесодержаниекоторой |
|
|
|||
приведенотаблице. |
|
|
|
|
|
|
|
|
||
(Л) |
пустмножество |
|
M= |
|
|
|
|
|||
, |
знаквключенияподмножества |
M ʹ M ↔ (m M ʹ → m M ); M M ʹ |
||||||||
; |
|
|
|
|
|
M ʹ M ↔ (m M ʹ → m M ); M M ʹ |
||||
|
невключениеподмножества |
M ʹ M |
|
|
|
|
||||
|
множество |
|
|
|
|
|
|
|
||
│M│ , |
Мощностьмножества |
|
|
|
|
|
||||
(card M) |
|
|
|
|
|
|
|
|
|
|
Померенеобудутходимовводитьсядругиесимв, мыслтикоторыхлыбудет |
|
|
|
|
|
|
||||
объяснятьсяприихвведении. |
|
|
|
|
|
|
|
x |
|
|
Индивидуальныесимволыдляобознпрсопоставлениявилчения2 |
|
|
множеств. |
|||||||
Индивидуальными (име)знотношенийныакамиявляютсясимволы: |
|
|
, Ï, Ì, Ë, =, ¹, Ì, Ë, <, |
|||||||
>, ≤, >которыеозначают: |
|
|
|
|
|
|
|
|
|
|
- символпринадлежностиэлементамножеству;
Ï- символнепринадлежностиэлементамножеству;
Ì (Ë) - симстрвколгого |
юченияне(включения)подмножествамножество; |
Diskretka.doc20.02.2014 |
153 |
=¹) ( - симравносильолне(равносильн)м язык(стижестввыраженийов);стиых |
|
Ì (Ë) - символнестрогоговключения( )одногомножествадругое; |
|
<, >, ≤, >; - символотношестрогоменьше, ий |
стрбольше,меньшегоибольше. |
|
|
Метаобозначения |
|
|
|
|
|
|
|
|
|
|
|
Обозна- |
Содержание |
|
|
|
|
|
Пример |
|
|
||||
чения |
операция дизъюнкции |
Математическаялогика |
|
|
|
|
|||||||
ИЛИ |
|
|
P Q |
||||||||||
|
высказываний |
|
|
|
|
|
|
|
|
|
|
|
|
& И |
операция конъюнкции |
P&Q |
|
|
|
|
|
|
|
|
|
|
|
|
высказываний |
|
|
|
|
|
|
|
|
|
|
|
|
← НЕ |
операцияотрицаниявысказывания |
← P |
|
|
|
|
|
|
|
|
|
|
|
↔ |
еслитолькоесли |
|
|
|
|
|
|
|
|
|
|
|
|
→ |
если…то, |
|
|
|
|
|
|
|
|
|
|
|
|
|
тогдаитолькотогда,когдавлечет( |
|
Ма =М b |
Ма Мb |
и Мb |
Ма |
|||||||
|
вобестороны) |
|
|
|
|
|
|
|
|
|
|
|
|
|
всякий,все,любой |
All |
|
|
|
|
|
|
|
|
|
|
|
|
некоторый |
|
|
|
|
|
|
|
|
|
|
|
|
|
Знакпринадлежностиэлемента |
Теориямножеств |
|
|
|
m M |
|
||||||
|
множествуеуфй( |
– гр.есть,быть) |
m M |
|
|
|
|
|
|
|
|
|
|
|
Знпринадлаке |
ежностиэлемента |
|
|
|
|
|
|
|
|
|
|
|
I |
множеству |
|
|
|
|
|
|
|
|
|
|
|
|
пересечение |
|
M = M |
|
M |
|
= |
|
|
|
M |
|
||
|
|
|
|
|
|
||||||||
объединение |
|
= |
a |
|
b |
|
= {mi |
|
|
mi Ma , |
b } |
||
|
|
|
|
||||||||||
|
I |
|
|
|
|
|
|||||||
U |
|
|
|
|
|
|
{mi |
|
|
mi |
Maи mi Mb } |
||
|
|
|
M Ma UMb |
|
|
|
|||||||