ВУЗ:
Составители:
Рубрика:
sODERVANIE
4.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 30
4.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 31
x 5. oTNOENIE PORQDKA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 32
5.1. oSNOWNOE OPREDELENIE. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 32
5.2. uPORQDO^ENNYE MNOVESTWA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 32
5.3. lINEJNYE I WPOLNE UPORQDO^ENNYE MNOVESTWA. : : : : : : : : : : : : : : : : : : 33
5.4. rEETKI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 35
5.5. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 35
5.6. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 36
5.7. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 36
x 6. kARDINALXNYE ^ISLA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 37
6.1. u^ENIE O MO]NOSTI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 37
6.2. sRAWNENIE KARDINALXNYH ^ISEL. : : : : : : : : : : : : : : : : : : : : : : : : : : 37
6.3. tEOREMA kANTORA-bERNTEJNA. : : : : : : : : : : : : : : : : : : : : : : : : : : : 38
6.4. oPERACII NAD KARDINALXNYMI ^ISLAMI. : : : : : : : : : : : : : : : : : : : : : : 39
6.5. sWOJSTWA OPERACIJ NAD KARDINALXNYMI ^ISLAMI. : : : : : : : : : : : : : : : : 39
6.6. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 40
6.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 41
6.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 41
gLAWA II oSNOWY KOMBINATORIKI ::: : : :: :: :: ::: : : : : :: ::: :: : : : : ::: :: :: :: : : ::: :: : : :: ::: : 42
x 1. oSNOWNOJ PRINCIP KOMBINATORIKI. pERESTANOWKI, RAZME]ENIQ I SO^ETANIQ : : : : 42
1.1. oSNOWNOJ PRINCIP KOMBINATORIKI. : : : : : : : : : : : : : : : : : : : : : : : : : 42
1.2. kOLI^ESTWO PODMNOVESTW DANNOGO MNOVESTWA. : : : : : : : : : : : : : : : : : : 44
1.3. rAZME]ENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 44
1.4. pERESTANOWKI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 45
1.5. sO^ETANIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 46
1.6. nEKOTORYE SWOJSTWA SO^ETANIJ. : : : : : : : : : : : : : : : : : : : : : : : : : : : 47
1.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 47
1.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 48
x 2. rAZME]ENIQ, PERESTANOWKI I SO^ETANIQ S POWTORENIQMI. bINOM nX@TONA I POLI-
NOMIALXNAQ FORMULA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 50
2.1. rAZME]ENIQ S POWTORENIQMI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : 50
2.2. pERESTANOWKI S POWTORENIQMI. : : : : : : : : : : : : : : : : : : : : : : : : : : : 50
2.3. sO^ETANIQ S POWTORENIQMI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 51
2.4. bINOM nX@TONA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52
2.5. pOLINOMIALXNAQ TEOREMA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 53
2.6. bINOMIALXNYE TOVDESTWA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 54
2.7. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 54
2.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 54
gLAWA III aLGEBRA WYSKAZYWANIJ : : :: :: : :: :: :: :: :: : : : :: :: ::: : : : : :: :: ::: :: : : :: ::: :: :: :: : 56
x 1. pOSTROENIE ALGEBRY WYSKAZYWANIJ : : : : : : : : : : : : : : : : : : : : : : : : : : : : 56
1.1. pROSTYE I SOSTAWNYE WYSKAZYWANIQ. wYSKAZYWATELXNYE PEREMENNYE. : : : : 56
1.2. oSNOWNYE LOGI^ESKIE SWQZKI. : : : : : : : : : : : : : : : : : : : : : : : : : : : : 56
1.3. lOGI^ESKIE OPERACII NAD WYSKAZYWANIQMI. : : : : : : : : : : : : : : : : : : : : 56
1.4. fORMULY I IH LOGI^ESKIE WOZMOVNOSTI. : : : : : : : : : : : : : : : : : : : : : : 56
1.5. rAWNOSILXNYE FORMULY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 58
1.6. tAWTOLOGII I PROTIWORE^IQ. tABLICY ISTINNOSTI. : : : : : : : : : : : : : : : 59
1.7. sWOJSTWA LOGI^ESKIH OPERACIJ (ZAKONY LOGIKI). : : : : : : : : : : : : : : : : : 59
1.8. aLGEBRA WYSKAZYWANIJ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 60
1.9. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 60
1.10. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 60
1.11. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 61
x 2. sOWERENNYE NORMALXNYE FORMY. pRIMENENIE ALGEBRY WYSKAZYWANIJ K PEREKL@-
^ATELXNYM SHEMAM : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 63
3
