Логика. Множества. Вероятность. Лексаченко В.А. - 141 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

Bibliografiqeski$i spisok
1. Klini S. K.
Matematiqeska logika. M.: Mir, 1973. 480
s.
2. Kuratovski$i K., Mostovski$i A. Teori mnoestv. M.:
Mir, 1970. 416 s.
3. Burbaki N. Teori mnoestv. M.: Mir, 1965. 456 s.
4.
Kramer G.
Matematiqeskie metody statistiki. M.: Mir,
1975. 648 s.
5. Sbornik zadaq po matematike dl vtuzov. Q. 3. /Pod
red.
A. V. Efimova. M.: Nauka. 428 s.
OGLAVLENIE
Predislovie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
I. Matematiqeska logika . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1. Funkcii algebry logiki
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
Osnovnye opredeleni i sootnoxeni . . . . . . . . . . . . . . . . . . . . . 5
Polnye mnoestva bulevyh funkci$i. Bazisy . . . . . . . . . . . . 10
Bulevy algebry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. Isqislenie vyskazyvani$i
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
Osnovnye opredeleni i sootnoxeni. . . . . . . . . . . . . . . . . . . . . 14
Metody dokazatel~stva tavtologi$i i sledstvi$i . . . . . . . . . 17
Aksiomatiqeskie isqisleni vyskazyvani$i . . . . . . . . . . . . . . .
22
3. Isqislenie predikatov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
Osnovnye opredeleni
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
Predikaty v koneqno$i predmetno$i oblasti . . . . . . . . . . . . . . 30
Aksiomatiqeskie isqisleni predikatov
. . . . . . . . . . . . . . . . . .
34
Formal~nye sistemy
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4. Upraneni
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
II. Teori mnoestv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1. Osnovnye opredeleni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
Standartnye mnoestva i operacii . . . . . . . . . . . . . . . . . . . . . . .
47
Binarnye otnoxeni
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
2. Funkcii i mnoestva
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3. Mownost~ mnoestv
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
4. Posledovatel~nosti mnoestv. σ
-algebry mnoestv
. . . . . . . . 59
5. Izmerimye prostranstva. Mery
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
6. Nekotorye kombinatornye formuly
. . . . . . . . . . . . . . . . . . . . . . . . . . 63
7. Upraneni . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
III. Teori verotnoste$i
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
141

Страницы