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

óÏÄÅÒÖÁÎÉÅ                                                                                                    5

  §1. úÁÞÅÍ ÎÕÖÎÙ ÐÒÏÓÔÙÅ ×ÙÞÉÓÌÉÔÅÌØÎÙÅ ÍÏÄÅÌÉ? . . . . . . . . . 175
  §2. íÁÛÉÎÙ ôØÀÒÉÎÇÁ: ÏÐÒÅÄÅÌÅÎÉÅ . . . . . . . . . . . . . . . . . . . 175
  §3. íÁÛÉÎÙ ôØÀÒÉÎÇÁ: ÏÂÓÕÖÄÅÎÉÅ . . . . . . . . . . . . . . . . . . . 177
çÌÁ×Á XII. áÒÉÆÍÅÔÉÞÎÏÓÔØ ×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ                        .   .   .   .   .   .   .   .   .   .   180
 §1. ðÒÏÇÒÁÍÍÙ Ó ËÏÎÅÞÎÙÍ ÞÉÓÌÏÍ ÐÅÒÅÍÅÎÎÙÈ . .                     .   .   .   .   .   .   .   .   .   .   180
 §2. íÁÛÉÎÙ ôØÀÒÉÎÇÁ É ÐÒÏÇÒÁÍÍÙ . . . . . . . . .                  .   .   .   .   .   .   .   .   .   .   182
 §3. áÒÉÆÍÅÔÉÞÎÏÓÔØ ×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ . . . . .                    .   .   .   .   .   .   .   .   .   .   184
 §4. ôÅÏÒÅÍÙ ôÁÒÓËÏÇÏ É ç¾ÄÅÌÑ . . . . . . . . . . . .              .   .   .   .   .   .   .   .   .   .   187
 §5. ï ÎÅÐÏÓÔÉÖÉÍÏÊ ÜÆÆÅËÔÉ×ÎÏÓÔÉ ÍÁÔÅÍÁÔÉËÉ .                      .   .   .   .   .   .   .   .   .   .   189
çÌÁ×Á XIII. òÅËÕÒÓÉ×ÎÙÅ ÆÕÎËÃÉÉ . . . . . . . . . . . . . . . . .                           . .     .   .   194
 §1. ðÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÅ ÆÕÎËÃÉÉ . . . . . . . . . . . . . .                             . .     .   .   194
 §2. ðÒÉÍÅÒÙ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÈ ÆÕÎËÃÉÊ . . . . . . .                                   . .     .   .   195
 §3. ðÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÅ ÍÎÏÖÅÓÔ×Á . . . . . . . . . . . .                               . .     .   .   196
 §4. äÒÕÇÉÅ ×ÉÄÙ ÒÅËÕÒÓÉÉ . . . . . . . . . . . . . . . . . . . . . .                       . .     .   .   198
 §5. íÁÛÉÎÙ ôØÀÒÉÎÇÁ É ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÅ ÆÕÎËÃÉÉ                                         .     .   .   200
 §6. þÁÓÔÉÞÎÏ ÒÅËÕÒÓÉ×ÎÙÅ ÆÕÎËÃÉÉ . . . . . . . . . . . . . . . .                           . .     .   .   202
 §7. ïÃÅÎËÉ ÓËÏÒÏÓÔÉ ÒÏÓÔÁ. æÕÎËÃÉÑ áËËÅÒÍÁÎÁ . . . . . . .                                 . .     .   .   204
úÁÄÁÞÉ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                      208
 §1. áÌÇÅÂÒÁ ×ÙÓËÁÚÙ×ÁÎÉÊ . . . . . . . . . . . . . . . . . . . . . . . . . .                               208
     1.1. ôÁÂÌÉÃÙ ÉÓÔÉÎÎÏÓÔÉ . . . . . . . . . . . . . . . . . . . . . . . .                                208
     1.2. ðÏÒÑÄÏË ÄÅÊÓÔ×ÉÊ É ÕÐÒÏݾÎÎÁÑ ÚÁÐÉÓØ ÆÏÒÍÕÌ . . . . . .                                           209
     1.3. òÁ×ÎÏÓÉÌØÎÙÅ ÐÒÅÏÂÒÁÚÏ×ÁÎÉÑ É ÕÐÒÏÝÅÎÉÅ ÆÏÒÍÕÌ . . . .                                            210
 §2. ä×ÏÊÓÔ×ÅÎÎÏÓÔØ × ÁÌÇÅÂÒÅ ×ÙÓËÁÚÙ×ÁÎÉÊ . . . . . . . . . . . . . .                                      213
 §3. îÏÒÍÁÌØÎÙÅ ÆÏÒÍÙ: äîæ, ëîæ, óäîæ, óëîæ . . . . . . . . .                                               215
 §4. òÅÌÅÊÎÏ-ËÏÎÔÁËÔÎÙÅ ÓÈÅÍÙ É ÓÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅ-
     ÍÅÎÔÏ× . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                         219
     4.1. úÁÄÁÞÉ ÓÉÎÔÅÚÁ . . . . . . . . . . . . . . . . . . . . . . . . . . . .                            219
     4.2. áÎÁÌÉÚ ÓÈÅÍ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                           220
 §5. ðÒÅÄÉËÁÔÙ, Ë×ÁÎÔÏÒÙ, ÍÎÏÖÅÓÔ×Á É ÏÔÏÂÒÁÖÅÎÉÑ . . . . . . . .                                           224
     5.1. ðÒÅÄÉËÁÔÙ, Ë×ÁÎÔÏÒÙ, ÍÎÏÖÅÓÔ×Á . . . . . . . . . . . . . . .                                      224
     5.2. ïÔÏÂÒÁÖÅÎÉÑ . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                             227
 §6. æÕÎËÃÉÉ ÁÌÇÅÂÒÙ ÌÏÇÉËÉ . . . . . . . . . . . . . . . . . . . . . . . .                                 231
 §7. íÁÛÉÎÁ ôØÀÒÉÎÇÁ . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                234
óÐÉÓÏË ÌÉÔÅÒÁÔÕÒÙ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237