Дискретная математика. Кулабухов С.Ю. - 150 стр.

UptoLike

ВУЗ: 

ИСОиП ДГТУ | Шахты

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

Рубрика: 

pREDMETNYJ UKAZATELX

sWQZANNAQ PREDMETNAQ PEREMENNAQ, 107                   IN_EKTIWNAQ, 19
sISTEMA SWQZOK, 69                                     NORMALXNO WY^ISLIMAQ, 139
    POLNAQ, 69                                         NULX-FUNKCIQ, 126
sOOTWETSTWIE (OTNOENIE), 16                           PRAWILXNO WY^ISLIMAQ
    OBLASTX ZNA^ENIJ, 17                                 PO tX@RINGU, 134
    OBLASTX OPREDELENIQ, 17                            PRIMITIWNO REKURSIWNAQ, 129
    POLNOE, 16                                         PROEKTIRU@]AQ, 126
    PUSTOE, 16                                         PROSTEJAQ, 126
sUPERPOZICIQ                                           REKURSIWNAQ, 126
    SOOTWETSTWIJ, 22, 23                               SLEDOWANIQ, 126
    FUNKCIJ, 23                                        S@R_EKTIWNAQ, 19
                                                       ^ASTI^NO REKURSIWNAQ, 129
tABLICA                                                ^ASTI^NAQ
    ISTINNOSTI, 59                                       ^ISLOWAQ, 125
    LOGI^ESKIH WOZMOVNOSTEJ, 58
tABLICA ISTINNOSTI                                 ~ASTI^NAQ FUNKCIQ, 18
    PREDIKATA, 102                                     IN_EKTIWNAQ, 19
tAWTOLOGIQ, 59
tEZIS ~ER^A, 126, 129                             |LEMENTY
tEOREMA DEDUKCII, 87, 88                               MAKSIMALXNYJ, 32
tEORIQ                                                 MINIMALXNYJ, 32
    AKSIOMATI^ESKAQ, 86                                NAIBOLXIJ, 32
    LOGI^ESKIE SREDSTWA, 86                            NAIMENXIJ, 32
    NEPROTIWORE^IWAQ, 97                               NESRAWNIMYE, 33
    POLNOTA FORMALXNOJ TEORII OTNOSITELX-              POKRYWA@]IJ, 33
         NO SODERVATELXNOJ, 96                         SRAWNIMYE, 33
    PROTIWORE^IWAQ, 97                             qZYK ALGEBRY WYSKAZYWANIJ, 58
    RAZREIMAQ, 97                                 qZYK ALGEBRY PREDIKATOW, 107
    SODERVATELXNAQ, 86
    FORMALXNAQ, 86
uPORQDO^ENNAQ PARA \LEMENTOW, 16
uPORQDO^ENNYE MNOVESTWA
    WPOLNE, 33
    LINEJNO (CEPI), 33
fAKTORMNOVESTWO, 29
fORMULA, 56
    OSOBENNAQ, 98
    PRIWILEGIROWANNAQ, 98
    TOVDESTWENNO ISTINNAQ, 59
    TOVDESTWENNO LOVNAQ, 59
fORMULA ap
    WYPOLNIMAQ, 108
    WYPOLNIMAQ W DANNOJ INTERPRETACII, 108
    LOVNAQ (NEWYPOLNIMAQ) W DANNOJ INTER-
         PRETACII, 108
    LOVNAQ (PROTIWORE^IE), 108
    OB]EZNA^IMAQ, 108
    TOVDESTWENNO ISTINNAQ, 108
    TOVDESTWENNO LOVNAQ, 108
    \LEMENTARNAQ, 107
fUNKCIQ, 19
    BIEKTIWNAQ, 19
    WY^ISLIMAQ, 125, 126
      PO tX@RINGU, 134
                                             150

Страницы