ВУЗ:
Составители:
Рубрика:
pRILOVENIE B
pREDMETNYJ UKAZATELX
MP | Modus Ponens (PRAWILO OTDELENIQ), SOOTWETSTWIQ, 16
88 UPORQDO^ENNOGO MNOVESTWA, 33
aKSIOMY, 86 dWUHPOL@SNYE PEREKL@^ATELI, 65
iw, 88 INWERSNYE, 65
aLGEBRA, 12 dEKARTOWO PROIZWEDENIE, 16
WYSKAZYWANIJ, 60 dIOFANTOWO URAWNENIE, 145
MNOVESTW, 12
PREDIKATOW (ap), 107 zAKONY iw
RELEJNO-KONTAKTNYH (PEREKL@^ATELXNYH) DWOJNOGO OTRICANIQ, 91
SHEM, 65 KONTRAPOZICII, 91
aLGORITM, 125 OBOB]ENNOE PRAWILO PROTIWORE^IWOJ PO-
NORMALXNYJ mARKOWA, 138 SYLKI, 92
aLFAWIT MAINY tX@RINGA PERWOE PRAWILO OTRICANIQ IMPLIKACII,
WNENIJ, 131 92
WNUTRENNIH SOSTOQNIJ, 131 PROTIWORE^IWOJ POSYLKI, 91
zNA^ENIQ ISTINNOSTI, 56
bIEKCIQ, 19 iw (IS^ISLENIE WYSKAZYWANIJ), 87
bINARNOE OTNOENIE, 28 iNTERPRETACIQ, 108
ANTISIMMETRI^NOE, 32 SOWMESTNAQ, 111
PORQDKA, 32 iNTUITIWNOE PONQTIE ALGORITMA, 125
REFLEKSIWNOE, 28 iSTINNOSTNYE ZNA^ENIQ, 56
SIMMETRI^NOE, 28
TRANZITIWNOE, 28 kWANTOR
\KWIWALENTNOSTI, 28 OB]NOSTI (8), 104
wKL@^ENIE MNOVESTW, 9 SU]ESTWOWANIQ (9), 104
NESTROGOE, 9 lOGI^ESKAQ WOZMOVNOSTX
STROGOE, 9 OB]AQ, 58
wYWOD (DOKAZATELXSTWO), 87 OB]AQ DLQ DWUH PREDIKATOW, 103
wYWODIMAQ FORMULA (TEOREMA), 87 PREDIKATA, 102
wYSKAZYWANIE, 56 FORMULY, 58
KONKRETNOE, 56 lOGI^ESKIE SWQZKI, 56
PEREMENNOE, 56 DIZ_@NKCIQ, 56, 57
PROSTOE, 56 IMPLIKACIQ, 56, 57
SOSTAWNOE, 56 KON_@NKCIQ, 56, 57
wYSKAZYWATELXNAQ FORMA, 101 OTRICANIE, 56, 57
wYSKAZYWATELXNYE PEREMENNYE, 56 \KWIWALENCIQ, 58
gIPOTEZA, 87 mARKOWSKAQ PODSTANOWKA, 137
gRANICA mAINA tX@RINGA, 131
WERHNQQ, 35 mAINY tX@RINGA
NIVNQQ, 35 KOMANDY, 131
TO^NAQ WERHNQQ, 35 KONFIGURACIQ, 131
TO^NAQ NIVNQQ, 35 MEHANI^ESKOE USTROJSTWO, 132
gRAF MODELX, 132
148
