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

                              óÏÄÅÒÖÁÎÉÅ

ðÒÅÄÉÓÌÏ×ÉÅ     . . . . . . . . . . .. . . . . . . . . . . . . . . . .. . . . . . . .                                            6
çÌÁ×Á I. íÎÏÖÅÓÔ×Á É ÍÏÝÎÏÓÔÉ . .               .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    7
 §1. íÎÏÖÅÓÔ×Á . . . . . . . . . . . . .        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    7
 §2. þÉÓÌÏ ÜÌÅÍÅÎÔÏ× . . . . . . . . . .        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    9
 §3. òÁ×ÎÏÍÏÝÎÙÅ ÍÎÏÖÅÓÔ×Á . . . .              .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   12
 §4. óÞ¾ÔÎÙÅ ÍÎÏÖÅÓÔ×Á . . . . . . . .          .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   14
 §5. ôÅÏÒÅÍÁ ëÁÎÔÏÒÁ âÅÒÎÛÔÅÊÎÁ                 .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   19
 §6. ôÅÏÒÅÍÁ ëÁÎÔÏÒÁ . . . . . . . . .          .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   25
 §7. æÕÎËÃÉÉ . . . . . . . . . . . . . . .      .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   30
 §8. ïÐÅÒÁÃÉÉ ÎÁÄ ÍÏÝÎÏÓÔÑÍÉ . . .              .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   35
çÌÁ×Á II. õÐÏÒÑÄÏÞÅÎÎÙÅ ÍÎÏÖÅÓÔ×Á . . . . .                         .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   40
 §1. ïÔÎÏÛÅÎÉÑ ÜË×É×ÁÌÅÎÔÎÏÓÔÉ É ÐÏÒÑÄËÁ                            .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   40
 §2. éÚÏÍÏÒÆÉÚÍÙ . . . . . . . . . . . . . . . . .                  .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   46
 §3. æÕÎÄÉÒÏ×ÁÎÎÙÅ ÍÎÏÖÅÓÔ×Á . . . . . . . .                        .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   50
 §4. ÷ÐÏÌÎÅ ÕÐÏÒÑÄÏÞÅÎÎÙÅ ÍÎÏÖÅÓÔ×Á . . .                           .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   53
çÌÁ×Á III. ìÏÇÉËÁ ×ÙÓËÁÚÙ×ÁÎÉÊ . . . . . .                      .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   57
 §1. ÷ÙÓËÁÚÙ×ÁÎÉÑ É ÏÐÅÒÁÃÉÉ . . . . . . . .                    .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   57
 §2. ðÏÌÎÙÅ ÓÉÓÔÅÍÙ Ó×ÑÚÏË . . . . . . . . .                    .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   64
 §3. óÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅÍÅÎÔÏ×                          .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   70
çÌÁ×Á IV. éÓÞÉÓÌÅÎÉÅ ×ÙÓËÁÚÙ×ÁÎÉÊ . . . . . .                               .   .   .   .   .   .   .   .   .   .   .   .   .   85
 §1. éÓÞÉÓÌÅÎÉÅ ×ÙÓËÁÚÙ×ÁÎÉÊ . . . . . . . . . .                            .   .   .   .   .   .   .   .   .   .   .   .   .   85
 §2. ÷ÔÏÒÏÅ ÄÏËÁÚÁÔÅÌØÓÔ×Ï ÔÅÏÒÅÍÙ Ï ÐÏÌÎÏÔÅ                                .   .   .   .   .   .   .   .   .   .   .   .   .   93
 §3. ï ÖÅÎÓËÏÊ ÌÏÇÉËÅ . . . . . . . . . . . . . . . .                       .   .   .   .   .   .   .   .   .   .   .   .   .   96
çÌÁ×Á V. ñÚÙËÉ ÐÅÒ×ÏÇÏ ÐÏÒÑÄËÁ . . . . . . . .                          .   .   .   .   .   .   .   .   .   .   .   .   .   .    99
 §1. æÏÒÍÕÌÙ É ÉÎÔÅÒÐÒÅÔÁÃÉÉ . . . . . . . . .                          .   .   .   .   .   .   .   .   .   .   .   .   .   .    99
 §2. ïÐÒÅÄÅÌÅÎÉÅ ÉÓÔÉÎÎÏÓÔÉ . . . . . . . . . .                         .   .   .   .   .   .   .   .   .   .   .   .   .   .   103
 §3. ÷ÙÒÁÚÉÍÙÅ ÐÒÅÄÉËÁÔÙ . . . . . . . . . . . .                        .   .   .   .   .   .   .   .   .   .   .   .   .   .   106
 §4. ÷ÙÒÁÚÉÍÏÓÔØ × ÁÒÉÆÍÅÔÉËÅ . . . . . . . . .                         .   .   .   .   .   .   .   .   .   .   .   .   .   .   109
 §5. îÅ×ÙÒÁÚÉÍÙÅ ÐÒÅÄÉËÁÔÙ: Á×ÔÏÍÏÒÆÉÚÍÙ                                .   .   .   .   .   .   .   .   .   .   .   .   .   .   112
çÌÁ×Á VI.   éÓÞÉÓÌÅÎÉÅ ÐÒÅÄÉËÁÔÏ×              . . . . . . . . . . . . . . . . . . . . . 116
                                           3