Математическая логика и теория алгоритмов. Самохин А.В. - 4 стр.

4                                                                                                óÏÄÅÒÖÁÎÉÅ

    §1. ïÂÝÅÚÎÁÞÉÍÙÅ ÆÏÒÍÕÌÙ . . . . . . . .         .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   116
    §2. áËÓÉÏÍÙ É ÐÒÁ×ÉÌÁ ×Ù×ÏÄÁ . . . . . . .       .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   118
    §3. ëÏÒÒÅËÔÎÏÓÔØ ÉÓÞÉÓÌÅÎÉÑ ÐÒÅÄÉËÁÔÏ×           .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   123
    §4. ÷Ù×ÏÄÙ × ÉÓÞÉÓÌÅÎÉÉ ÐÒÅÄÉËÁÔÏ× . . .         .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   126
        4.1. ðÒÉÍÅÒÙ ×Ù×ÏÄÉÍÙÈ ÆÏÒÍÕÌ . .            .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   126
        4.2. ÷Ù×ÏÄÉÍÏÓÔØ ÉÚ ÐÏÓÙÌÏË . . . . .        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   128
        4.3. ðÅÒÅÍÅÎÎÙÅ É ËÏÎÓÔÁÎÔÙ . . . . .        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   131
    §5. ðÏÌÎÏÔÁ ÉÓÞÉÓÌÅÎÉÑ ÐÒÅÄÉËÁÔÏ× . . .          .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   132
    §6. ï ×Ù×ÏÄÁÈ É ÄÏËÁÚÁÔÅÌØÓÔ×ÁÈ . . . . .        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   140
çÌÁ×Á VII.      ÷ÙÞÉÓÌÉÍÙÅ ÆÕÎËÃÉÉ, ÒÁÚÒÅÛÉÍÙÅ                       É ÐÅÒÅÞÉÓÌÉÍÙÅ
                ÍÎÏÖÅÓÔ×Á . . . . . . . . . . . . . . . . .          . . . .. . . . . . . .                          145
    §1.   ÷ÙÞÉÓÌÉÍÙÅ ÆÕÎËÃÉÉ . . . . . . . . . . . . . .             . . . .. . . . . . . .                          145
    §2.   òÁÚÒÅÛÉÍÙÅ ÍÎÏÖÅÓÔ×Á . . . . . . . . . . . . .             . . . .. . . . . . . .                          146
    §3.   ðÅÒÅÞÉÓÌÉÍÙÅ ÍÎÏÖÅÓÔ×Á . . . . . . . . . . . .             . . . .. . . . . . . .                          147
    §4.   ðÅÒÅÞÉÓÌÉÍÙÅ É ÒÁÚÒÅÛÉÍÙÅ ÍÎÏÖÅÓÔ×Á . .                    . . . .. . . . . . . .                          149
    §5.   ðÅÒÅÞÉÓÌÉÍÏÓÔØ É ×ÙÞÉÓÌÉÍÏÓÔØ . . . . . . .                . . . .. . . . . . . .                          150
çÌÁ×Á VIII. õÎÉ×ÅÒÓÁÌØÎÙÅ ÆÕÎËÃÉÉ É ÎÅÒÁÚÒÅÛÉÍÏÓÔØ . .                                               .   .   .   .   153
 §1. õÎÉ×ÅÒÓÁÌØÎÙÅ ÆÕÎËÃÉÉ . . . . . . . . . . . . . . . . . . . . .                                 .   .   .   .   153
 §2. äÉÁÇÏÎÁÌØÎÁÑ ËÏÎÓÔÒÕËÃÉÑ . . . . . . . . . . . . . . . . . . .                                  .   .   .   .   154
 §3. ðÅÒÅÞÉÓÌÉÍÏÅ ÎÅÒÁÚÒÅÛÉÍÏÅ ÍÎÏÖÅÓÔ×Ï . . . . . . . . . .                                         .   .   .   .   156
çÌÁ×Á IX. îÕÍÅÒÁÃÉÉ É ÏÐÅÒÁÃÉÉ . . . .           . . . . . . . . . . . . . . . . . . 158
 §1. çÌÁ×ÎÙÅ ÕÎÉ×ÅÒÓÁÌØÎÙÅ ÆÕÎËÃÉÉ .             . . . . . . . . . . . . . . . . . . 158
 §2. ÷ÙÞÉÓÌÉÍÙÅ ÐÏÓÌÅÄÏ×ÁÔÅÌØÎÏÓÔÉ
      ×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ . . . . . . . .         . . . . . . . . . . . . . . . . . . 161
 §3. çÌÁ×ÎÙÅ ÕÎÉ×ÅÒÓÁÌØÎÙÅ ÍÎÏÖÅÓÔ×Á               . . . . . . . . . . . . . . . . . 162
 §4. íÎÏÖÅÓÔ×Á ÎÏÍÅÒÏ× . . . . . . . . . .       . . . . . . . . . . . . . . . . . . 164
çÌÁ×Á X. ôÅÏÒÅÍÁ Ï ÎÅÐÏÄ×ÉÖÎÏÊ ÔÏÞËÅ . . . . . . . . . . . .                                 . .     .   .   .   .   168
 §1. îÅÐÏÄ×ÉÖÎÁÑ ÔÏÞËÁ É ÏÔÎÏÛÅÎÉÑ ÜË×É×ÁÌÅÎÔÎÏÓÔÉ . .                                       . .     .   .   .   .   168
 §2. ðÒÏÇÒÁÍÍÁ, ÐÅÞÁÔÁÀÝÁÑ Ó×ÏÊ ÔÅËÓÔ . . . . . . . . . . .                                  . .     .   .   .   .   170
 §3. îÅÓËÏÌØËÏ ÚÁÍÅÞÁÎÉÊ . . . . . . . . . . . . . . . . . . . . .                           . .     .   .   .   .   171
      3.1. âÅÓËÏÎÅÞÎÏÅ ÍÎÏÖÅÓÔ×Ï ÎÅÐÏÄ×ÉÖÎÙÈ ÔÏÞÅË . . .                                     . .     .   .   .   .   171
      3.2. îÅÐÏÄ×ÉÖÎÁÑ ÔÏÞËÁ Ó ÐÁÒÁÍÅÔÒÏÍ . . . . . . . . .                                  . .     .   .   .   .   172
      3.3. îÅÐÏÄ×ÉÖÎÁÑ ÔÏÞËÁ ÄÌÑ ÐÅÒÅÞÉÓÌÉÍÙÈ ÍÎÏÖÅÓÔ×                                         .     .   .   .   .   173
      3.4. ðÒÉÍÅÒ ÉÓÐÏÌØÚÏ×ÁÎÉÑ . . . . . . . . . . . . . . . . .                            . .     .   .   .   .   174
çÌÁ×Á XI.       íÁÛÉÎÙ ôØÀÒÉÎÇÁ . . . . . . . . . . . . . . . . . . . . . . . . 175