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

144                                   çÌÁ×Á VI. éÓÞÉÓÌÅÎÉÅ ÐÒÅÄÉËÁÔÏ×

ÕÄÏ×ÌÅÔ×ÏÒÑÀÔÓÑ Õ×ÅÒÅÎÎÏÓÔØÀ × ÔÏÍ, ÞÔÏ ÆÏÒÍÁÌØÎÙÊ ×Ù×ÏÄ ×ÏÚÍÏÖÅÎ ×
ÐÒÉÎÃÉÐÅ.
   ÷ ÆÏÒÍÕÌÅ üÊÌÅÒÁ, ÎÁÐÒÉÍÅÒ, ÍÁÔÅÍÁÔÉËÉ ÎÅ ÓÏÍÎÅ×ÁÀÔÓÑ. ÷ÏÏÂÝÅ, ÐÒÉ-
ÎÑÔÉÅ ÄÏËÁÚÁÔÅÌØÓÔ×Á ÅÓÔØ ÎÅËÉÊ ÓÏÃÉÁÌØÎÙÊ ÁËÔ. ÷ÙÄÁÀÝÉÊÓÑ ÁÌÇÅÂÒÁÉÓÔ
à.é. íÁÎÉÎ × Ó×ÏÅÊ ËÎÉÇÅ ¥äÏËÁÚÕÅÍÏÅ É ÎÅÄÏËÁÚÕÅÍÏÅ¥ [5] ÐÉÛÅÔ ÐÏ ÜÔÏ-
ÍÕ ÐÏ×ÏÄÕ: ¥ . . . ÏÔÓÕÔÓÔ×ÉÅ ÏÛÉÂÏË × ÍÁÔÅÍÁÔÉÞÅÓËÏÊ ÒÁÂÏÔÅ (ÅÓÌÉ ÏÎÉ ÎÅ
ÏÂÎÁÒÕÖÅÎÙ), ËÁË É × ÄÒÕÇÉÈ ÅÓÔÅÓÔ×ÅÎÎÙÈ ÎÁÕËÁÈ, ÞÁÓÔÏ ÕÓÔÁÎÁ×ÌÉ×ÁÅÔÓÑ
ÐÏ ËÏÓ×ÅÎÎÙÍ ÄÁÎÎÙÍ: ÉÍÅÅÔ ÚÎÁÞÅÎÉÅ ÓÏÏÔ×ÅÔÓÔ×ÉÅ Ó ÏÂÝÉÍÉ ÏÖÉÄÁÎÉÑÍÉ,
ÉÓÐÏÌØÚÏ×ÁÎÉÅ ÁÎÁÌÏÇÉÞÎÙÈ ÁÒÇÕÍÅÎÔÏ× × ÄÒÕÇÉÈ ÒÁÂÏÔÁÈ, ÒÁÚÇÌÑÄÙ×ÁÎÉÅ
¥ÐÏÄ ÍÉËÒÏÓËÏÐÏÍ¥ ÏÔÄÅÌØÎÙÈ ÕÞÁÓÔËÏ× ÄÏËÁÚÁÔÅÌØÓÔ×Á, ÄÁÖÅ ÒÅÐÕÔÁÃÉÑ
Á×ÔÏÒÁ; ÓÌÏ×ÏÍ, ×ÏÓÐÒÏÉÚ×ÏÄÉÍÏÓÔØ × ÛÉÒÏËÏÍ ÓÍÙÓÌÅ. ¥îÅÐÏÎÑÔÎÙÅ¥ ÄÏËÁ-
ÚÁÔÅÌØÓÔ×Á ÍÏÇÕÔ ÓÙÇÒÁÔØ ÏÞÅÎØ ÐÏÌÅÚÎÕÀ ÒÏÌØ, ÓÔÉÍÕÌÉÒÕÑ ÐÏÉÓËÉ ÂÏÌÅÅ
ÄÏÓÔÕÐÎÙÈ ÒÁÓÓÕÖÄÅÎÉÊ.¥
   éÍÅÎÎÏ ÔÁËÁÑ ÉÓÔÏÒÉÑ ÐÒÏÉÓÈÏÄÉÔ É Ó ÄÏËÁÚÁÔÅÌØÓÔ×ÏÍ ÔÅÏÒÅÍÙ Ï ÞÅ-
ÔÙÒÅÈ ËÒÁÓËÁÈ. îÅ ÔÁË ÄÁ×ÎÏ ÐÏÑ×ÉÌÏÓØ ÎÏ×ÏÅ ÄÏËÁÚÁÔÅÌØÓÔ×Ï, ÐÒÉÞÅÍ ÔÁ
ÞÁÓÔØ, ËÏÔÏÒÁÑ ×ÙÐÏÌÎÅÎÁ ÎÅ ÎÁ ËÏÍÐØÀÔÅÒÅ, ÕÖÅ ÐÏÄÄÁÅÔÓÑ ÐÒÏ×ÅÒËÅ. ïÄÎÁ-
ËÏ ËÏÍÐØÀÔÅÒÎÁÑ ÞÁÓÔØ ×ÓÅ ÅÝÅ ÏÓÔÁÅÔÓÑ ÓËÏÒÅÅ ÐÒÅÄÍÅÔÏÍ ×ÅÒÙ. ÷ÅÄØ ÄÁÖÅ
ÐÒÏ×ÅÒËÁ ÒÁÓÐÅÞÁÔÏË ×ÓÅÈ ÐÒÏÇÒÁÍÍ É ×ÓÅÈ ×ÈÏÄÎÙÈ ÄÁÎÎÙÈ ÎÅ ÍÏÖÅÔ ÇÁÒÁÎ-
ÔÉÒÏ×ÁÔØ ÏÔ ÓÌÕÞÁÊÎÙÈ ÓÂÏÅ× ÉÌÉ ÄÁÖÅ ÏÔ ÓËÒÙÔÙÈ ÐÏÒÏËÏ× ÜÌÅËÔÒÏÎÉËÉ
(×ÓÐÏÍÎÉÍ, ÞÔÏ ÎÅÕÍÅÎÉÅ ÄÅÌÉÔØ ÐÅÒ×ÏÊ ×ÅÒÓÉÉ ÐÒÏÃÅÓÓÏÒÁ Pentium ÂÙÌÏ
ÓÌÕÞÁÊÎÏ ÏÂÎÁÒÕÖÅÎÏ ÓÐÕÓÔÑ ÐÏÌÇÏÄÁ ÐÏÓÌÅ ÎÁÞÁÌÁ ÅÇÏ ËÏÍÍÅÒÞÅÓËÉÈ ÐÒÏ-
ÄÁÖ ¡ ËÓÔÁÔÉ, ¥ÞÉÓÔÙÍ¥ ÍÁÔÅÍÁÔÉËÏÍ, ÒÁÂÏÔÁ×ÛÉÍ × ÏÂÌÁÓÔÉ ÔÅÏÒÉÉ ÞÉ-
ÓÅÌ). ðÏ-×ÉÄÉÍÏÍÕ, ÅÄÉÎÓÔ×ÅÎÎÙÊ ÓÐÏÓÏ ÐÒÏ×ÅÒËÉ ËÏÍÐØÀÔÅÒÎÙÈ ÒÅÚÕÌØ-
ÔÁÔÏ× ¡ ÎÁÐÉÓÁÔØ ÄÒÕÇÕÀ ÐÒÏÇÒÁÍÍÕ É ÄÌÑ ÄÒÕÇÏÇÏ ÔÉÐÁ ËÏÍÐØÀÔÅÒÁ. üÔÏ,
ËÏÎÅÞÎÏ, ÓÏ×ÓÅÍ ÎÅÐÏÈÏÖÅ ÎÁ ÓÔÁÎÄÁÒÔÎÙÊ ÉÄÅÁÌ ÄÅÄÕËÔÉ×ÎÙÈ ÒÁÓÓÕÖÄÅÎÉÊ,
ÎÏ ÉÍÅÎÎÏ ÔÁË ÏÓÕÝÅÓÔ×ÌÑÅÔÓÑ ÐÒÏ×ÅÒËÁ ÕÔ×ÅÒÖÄÅÎÉÊ ×Ï ×ÓÅÈ ÜËÓÐÅÒÉÍÅÎ-
ÔÁÌØÎÙÈ ÎÁÕËÁÈ.
   éÚ ËÏÔÏÒÙÈ ÍÁÔÅÍÁÔÉËÁ, ÓÔÁÌÏ ÂÙÔØ, ÉÓËÌÀÞÅÎÁ ÎÁÐÒÁÓÎÏ.