ВУЗ:
Составители:
Рубрика:
pREDMETNYJ UKAZATELX
WNENQQ PAMQTX, 132 SWQZANNYE, 104
WNUTRENNQQ PAMQTX, 132 pREDMETY, 107
KONE^NAQ LENTA, 132 pREOBRAZOWANIE, 24
UPRAWLQ@]AQ GOLOWKA, 132 BIEKTIWNOE, 24
PROGRAMMA, 131, 132 IN_EKTIWNOE, 24
mNOVESTWO, 8 KONE^NYH MNOVESTW, 25
BESKONE^NOE, 8 OBRATIMOE, 24
KONE^NOE, 8 S@R_EKTIWNOE, 24
PUSTOE, 8 pRIWEDENNAQ FORMA, 115
UNIWERSALXNOE, 10 pRINCIP NORMALIZACII mARKOWA, 140
mODELX DLQ MNOVESTWA FORMUL, 109 pROOBRAZ MNOVESTWA
POLNYJ, 22
nEZAWISIMAQ SISTEMA AKSIOM, 97 pROOBRAZ SOOTWETSTWIQ, 16
POLNYJ, 17
oBLASTX DEJSTWIQ KWANTOROW, 104 pROTIWORE^IE, 59
oBLASTX INTERPRETACII, 108
oBRAZ MNOVESTWA rAWNOSILXNYE NA MNOVESTWE FORMULY ap ,
POLNYJ, 22 111
oBRAZ SOOTWETSTWIQ, 16 rAWNOSILXNYE FORMULY, 58
POLNYJ, 17 rAWNOSILXNYE FORMULY ap, 111
oBRATIMAQ FUNKCIQ, 20 rAZBIENIE MNOVESTWA, 28
oBRATIMOE OTOBRAVENIE, 20 rELEJNO-KONTAKTNYH SHEM
oBRATNAQ ^ASTI^NAQ FUNKCIQ, 19 ANALIZ, 66
oPERATOR SINTEZ, 66
MINIMIZACII, 128 rEETKA, 35
PRIMITIWNOJ REKURSII, 127
SUPERPOZICII (PODSTANOWKI), 126 sWOBODNAQ PREDMETNAQ PEREMENNAQ, 107
oPERACII NAD MNOVESTWAMI, 10 sWOJSTWA ALGORITMA
DOPOLNENIQ, 10 DETERMINIROWANNOSTX, 125
OB_EDINENIQ, 10 DISKRETNOSTX, 125
PERESE^ENIQ, 10 MASSOWOSTX, 125
RAZNOSTX, 10 NAPRAWLENNOSTX (OPREDELENNOSTX), 125
oTOBRAVENIE, 19 \LEMENTARNOSTX AGOW, 125
BIEKTIWNOE, 19 sWOJSTWA LOGI^ESKIH OPERACIJ, 59
IN_EKTIWNOE, 19 kOMMUTATIWNOSTX OPERACIJ & I _, 59
NA, 19 ASSOCIATIWNOSTX OPERACIJ & I _, 59
S@R_EKTIWNOE, 19 DISTRIBUTIWNYE ZAKONY, 59
oTRICANIE DIZ_@NKCII (OPERACIQ pIRSA), 71 ZAKON DWOJNOGO OTRICANIQ, 59
oTRICANIE KON_@NKCII (TRIH {EFERA), 71 ZAKON ISKL@^ENNOGO TRETXEGO, 59
ZAKON KONTRAPOZICII, 59
pAROSTRO^NAQ ZAPISX PREOBRAZOWA- ZAKON PROTIWORE^IQ, 59
NIQ, 25 ZAKONY DE mORGANA, 59
pERESTANOWKI, 45 ZAKONY POGLO]ENIQ, 59
pODMNOVESTWO IDEMPOTENTNOSTX OPERACIJ & I _, 59
NESOBSTWENNOE, 9 PRAWILO ISKL@^ENIQ IMPLIKACII, 60
SOBSTWENNOE, 9 PRAWILO ISKL@^ENIQ \KWIWALENCII, 60
pODSTANOWKA, 25 SWOJSTWA PROTIWORE^IJ, 59
pOSLEDOWATELXNOSTX, 16 SWOJSTWA TAWTOLOGIJ, 59
pRAWILO sWOJSTWA OPERACIJ NAD MNOVESTWAMI
ISKL@^ENIQ PROMEVUTO^NOJ POSYLKI, 89 DWOJNOGO DOPOLNENIQ, 10
OTDELENIQ (Modus Ponens), 88 ASSOCIATIWNOSTX, 11
SILLOGIZMA, 89 DE-mORGANA, 11
pREDWARENNAQ NORMALXNAQ FORMA, 115 DISTRIBUTIWNOSTX, 11
pREDIKAT, 101 IDEMPOTENTNOSTX, 10
pREDIKATNYE PEREMENNYE, 103, 107 KOMMUTATIWNOSTX, 11
pREDMETNYE PEREMENNYE, 101, 107 POGLO]ENIQ, 11
149
