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

sODERVANIE

          5.2.   tERM, SWOBODNYJ DLQ PEREMENNOJ W FORMULE. : : : : : : : : : : : : : : : : : : :                                                    119
          5.3.   aKSIOMY I PRAWILA WYWODA TEORIJ PERWOGO PORQDKA. : : : : : : : : : : : : : :                                                       119
          5.4.   oBLASTI INTERPRETACII I MODELI. : : : : : : : : : : : : : : : : : : : : : : : : :                                                  120
          5.5.   nEPROTIWORE^IWOSTX, POLNOTA I NERAZREIMOSTX IS^ISLENIJ PREDIKATOW PER-
                 WOGO PORQDKA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                            121
          5.6.   fORMALXNAQ ARIFMETIKA. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                                 121
          5.7.   pRIMERY WYWODOW W FORMALXNOJ ARIFMETIKE S. : : : : : : : : : : : : : : : : :                                                       123
          5.8.   tEOREMA gEDELQ O NEPOLNOTE FORMALXNOJ ARIFMETIKI S. : : : : : : : : : : : :                                                       123
          5.9.   nOWYE TERMINY. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :                                             124
gLAWA VII oSNOWY TEORII ALGORITMOW :: ::: :: :: : : ::: :: :: :: :: ::: :: :: :: ::: :: :: :: :: : :: :: :: 125
   x 1. rEKURSIWNYE FUNKCII : : : : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   125
        1.1. iNTUITIWNOE PONQTIE ALGORITMA. : : : : : : : :                     :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   125
        1.2. nEOBHODIMOSTX UTO^NENIQ PONQTIQ ALGORITMA. :                       :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   126
        1.3. pROSTEJIE FUNKCII. : : : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   126
        1.4. oPERATOR SUPERPOZICII. : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   126
        1.5. oPERATOR PRIMITIWNOJ REKURSII : : : : : : : :                      :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   127
        1.6. oPERATOR MINIMIZACII. : : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   128
        1.7. ~ASTI^NO REKURSIWNYE FUNKCII. tEZIS ~ER^A.                        :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   129
        1.8. nOWYE TERMINY. : : : : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   129
        1.9. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : :                   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   129
        1.10. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : :               :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   130
   x 2. mAINY tX@RINGA : : : : : : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   131
        2.1. oPREDELENIE MAINY tX@RINGA. : : : : : : : : :                     :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   131
        2.2. mAINNYE SLOWA (KONFIGURACII). : : : : : : : :                     :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   131
        2.3. mODELX MAINY tX@RINGA. : : : : : : : : : : : :                    :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   132
        2.4. rABOTA MODELI MAINY tX@RINGA. : : : : : : : :                     :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   132
        2.5. wY^ISLIMYE PO tX@RINGU FUNKCII. : : : : : : :                      :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   134
        2.6. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : :               :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   135
        2.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   135
        2.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : :              :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   136
   x 3. nORMALXNYE ALGORITMY mARKOWA : : : : : : : : : : : :                    :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   137
        3.1. mARKOWSKIE PODSTANOWKI. : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   137
        3.2. oPREDELENIE NORMALXNOGO ALGORITMA mARKOWA. :                       :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   138
        3.3. pRIMERY NORMALXNYH ALGORITMOW mARKOWA. : :                         :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   138
        3.4. nORMALXNO WY^ISLIMYE FUNKCII. : : : : : : : :                      :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   139
        3.5. pRINCIP NORMALIZACII mARKOWA. : : : : : : : : :                    :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   140
        3.6. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : :               :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   140
        3.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   140
        3.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : :              :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   141
   x 4. aLGORITMI^ESKI NERAZREIMYE PROBLEMY : : : : : : :                      :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   142
        4.1. nEWY^ISLIMYE FUNKCII. : : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   142
        4.2. pRIMER NEWY^ISLIMOJ FUNKCII. : : : : : : : : :                     :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   143
        4.3. rEKURSIWNYE MNOVESTWA. : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   143
        4.4. oB]EZNA^IMYE FORMULY ALGEBRY PREDIKATOW. :                         :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   144
        4.5. dIOFANTOWY URAWNENIQ. : : : : : : : : : : : : : :                  :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   145
        4.6. nOWYE TERMINY. : : : : : : : : : : : : : : : : : : :               :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   145
        4.7. kONTROLXNYE WOPROSY. : : : : : : : : : : : : : : :                 :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   145
        4.8. uPRAVNENIQ. : : : : : : : : : : : : : : : : : : : : :              :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   :   146
gLAWA A aLFAWITY ::: :: ::: :: :: :: ::: :: : : : : ::: :: :: :: :: ::: :: :: : : : :: :: :: :: :: ::: :: :: :: ::: :: : 147
gLAWA B pREDMETNYJ UKAZATELX : : :: :: :: :: ::: :: :: :: ::: :: :: :: :: ::: : : :: :: ::: :: :: :: :: ::: 148


                                                            6