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

UptoLike

ВУЗ: 

МГТУ ГА | Москва

Составители: 

Рубрика: 

§5. ï ÎÅÐÏÓÔÉÖÉÍÏÊ ÜÆÆÅËÔÉ×ÎÏÓÔÉ ÍÁÔÅÍÁÔÉËÉ 193
ÓÔ×Á, ÆÉÌÏÓÏÆÉÑ - ÕÄÏ×ÌÅÔ×ÏÒÑÔØ ÐÏÔÒÅÂÎÏÓÔÉ ÒÁÚÕÍÁ, ÉÎÖÅÎÅÒÎÏÅ ÄÅÌÏ - ÓÏ-
×ÅÒÛÅÎÓÔ×Ï×ÁÔØ ÍÁÔÅÒÉÁÌØÎÕÀ ÓÔÏÒÏÎÕ ÖÉÚÎÉ ÌÀÄÅÊ. îÏ ÍÁÔÅÍÁÔÉËÁ ÓÐÏ-
ÓÏÂÎÁ ÄÏÓÔÉÞØ ×ÓÅÈ ÜÔÉÈ ÃÅÌÅÊ. åÓÌÉ ÖÅ ÇÏ×ÏÒÉÔØ Ï ×ÏÚÍÏÖÎÏÓÔÑÈ ÞÅÌÏ×ÅÞÅ-
ÓËÏÇÏ ÒÁÚÕÍÁ, ÔÏ ÍÁÔÅÍÁÔÉËÉ ÎÅÍÁÌÏ ÐÏÔÒÕÄÉÌÉÓØ, ÞÔÏÂÙ ÄÏËÁÚÁÔØ, ÓËÏÌØ
×ÙÓÏËÕÀ ÎÁÄÅÖÎÏÓÔØ ÒÅÚÕÌØÔÁÔÏ× ÓÐÏÓÏÂÅÎ ÏÂÅÓÐÅÞÉÔØ ÞÅÌÏ×ÅÞÅÓËÉÊ ÒÁÚÕÍ.
îÅ ÓÌÕÞÁÊÎÏ ÍÁÔÅÍÁÔÉÞÅÓËÁÑ ÔÏÞÎÏÓÔØ ×ÏÛÌÁ × ÐÏÇÏ×ÏÒËÕ. íÁÔÅÍÁÔÉËÁ ÐÏ-
ÐÒÅÖÎÅÍÕ ÏÓÔÁÅÔÓÑ ÜÔÁÌÏÎÏÍ ÓÁÍÏÇÏ ÎÁÄÅÖÎÏÇÏ É ÔÏÞÎÏÇÏ ÚÎÁÎÉÑ, ËÏÔÏÒÏÇÏ
ÍÙ ÔÏÌØËÏ × ÓÏÓÔÏÑÎÉÉ ÄÏÓÔÉÞØ.
÷ÓÅ Ó×ÅÒÛÅÎÉÑ ÍÁÔÅÍÁÔÉËÉ - ÜÔÏ Ó×ÅÒÛÅÎÉÑ ÞÅÌÏ×ÅÞÅÓËÏÇÏ ÒÁÚÕÍÁ. ðÏËÁ-
ÚÁ×, ÎÁ ÞÔÏ ÓÐÏÓÏÂÅÎ ÞÅÌÏ×ÅË, ÍÁÔÅÍÁÔÉËÁ ×ÓÅÌÉÌÁ × ÌÀÄÅÊ ÓÍÅÌÏÓÔØ É Õ×Å-
ÒÅÎÎÏÓÔØ, ÐÏÚ×ÏÌÉ×ÛÉÅ ÉÍ ×ÐÌÏÔÎÕÀ ×ÚÑÔØÓÑ ÚÁ ÒÁÚÇÁÄËÕ ÒÁÎÅÅ, ËÁÚÁÌÏÓØ
ÂÙ, ÎÅÐÒÉÓÔÕÐÎÙÈ ÔÁÊÎ ËÏÓÍÏÓÁ, ÌÅÞÅÎÉÅ ÓÔÒÁÛÎÙÈ ÂÏÌÅÚÎÅÊ, ËÏÌÉÞÅÓÔ×ÅÎ-
ÎÙÊ ÁÎÁÌÉÚ ÐÒÏÂÌÅÍ, ÏÔÎÏÓÑÝÉÈÓÑ Ë ÜËÏÎÏÍÉËÅ É ÕÓÔÒÏÊÓÔ×Õ ÞÅÌÏ×ÅÞÅÓËÏÇÏ
ÏÂÝÅÓÔ×Á, ÞÔÏ ÐÏÚ×ÏÌÑÅÔ ÎÁÄÅÑÔØÓÑ ÎÁ ÄÁÌØÎÅÊÛÉÊ ÐÒÏÇÒÅÓÓ ÞÅÌÏ×ÅÞÅÓÔ×Á.
÷ ÒÅÛÅÎÉÉ ÜÔÉÈ ÐÒÏÂÌÅÍ ÉÍÅÎÎÏ Ó ÍÁÔÅÍÁÔÉËÏÊ Ó×ÑÚÁÎÙ ÏÓÎÏ×ÎÙÅ ÎÁÄÅÖÄÙ
ÎÁ ÕÓÐÅÈ.
§5. ï ÎÅÐÏÓÔÉÖÉÍÏÊ ÜÆÆÅËÔÉ×ÎÏÓÔÉ ÍÁÔÅÍÁÔÉËÉ                          193

ÓÔ×Á, ÆÉÌÏÓÏÆÉÑ - ÕÄÏ×ÌÅÔ×ÏÒÑÔØ ÐÏÔÒÅÂÎÏÓÔÉ ÒÁÚÕÍÁ, ÉÎÖÅÎÅÒÎÏÅ ÄÅÌÏ - ÓÏ-
×ÅÒÛÅÎÓÔ×Ï×ÁÔØ ÍÁÔÅÒÉÁÌØÎÕÀ ÓÔÏÒÏÎÕ ÖÉÚÎÉ ÌÀÄÅÊ. îÏ ÍÁÔÅÍÁÔÉËÁ ÓÐÏ-
ÓÏÂÎÁ ÄÏÓÔÉÞØ ×ÓÅÈ ÜÔÉÈ ÃÅÌÅÊ. åÓÌÉ ÖÅ ÇÏ×ÏÒÉÔØ Ï ×ÏÚÍÏÖÎÏÓÔÑÈ ÞÅÌÏ×ÅÞÅ-
ÓËÏÇÏ ÒÁÚÕÍÁ, ÔÏ ÍÁÔÅÍÁÔÉËÉ ÎÅÍÁÌÏ ÐÏÔÒÕÄÉÌÉÓØ, ÞÔÏÂÙ ÄÏËÁÚÁÔØ, ÓËÏÌØ
×ÙÓÏËÕÀ ÎÁÄÅÖÎÏÓÔØ ÒÅÚÕÌØÔÁÔÏ× ÓÐÏÓÏÂÅÎ ÏÂÅÓÐÅÞÉÔØ ÞÅÌÏ×ÅÞÅÓËÉÊ ÒÁÚÕÍ.
îÅ ÓÌÕÞÁÊÎÏ ÍÁÔÅÍÁÔÉÞÅÓËÁÑ ÔÏÞÎÏÓÔØ ×ÏÛÌÁ × ÐÏÇÏ×ÏÒËÕ. íÁÔÅÍÁÔÉËÁ ÐÏ-
ÐÒÅÖÎÅÍÕ ÏÓÔÁÅÔÓÑ ÜÔÁÌÏÎÏÍ ÓÁÍÏÇÏ ÎÁÄÅÖÎÏÇÏ É ÔÏÞÎÏÇÏ ÚÎÁÎÉÑ, ËÏÔÏÒÏÇÏ
ÍÙ ÔÏÌØËÏ × ÓÏÓÔÏÑÎÉÉ ÄÏÓÔÉÞØ.
   ÷ÓÅ Ó×ÅÒÛÅÎÉÑ ÍÁÔÅÍÁÔÉËÉ - ÜÔÏ Ó×ÅÒÛÅÎÉÑ ÞÅÌÏ×ÅÞÅÓËÏÇÏ ÒÁÚÕÍÁ. ðÏËÁ-
ÚÁ×, ÎÁ ÞÔÏ ÓÐÏÓÏÂÅÎ ÞÅÌÏ×ÅË, ÍÁÔÅÍÁÔÉËÁ ×ÓÅÌÉÌÁ × ÌÀÄÅÊ ÓÍÅÌÏÓÔØ É Õ×Å-
ÒÅÎÎÏÓÔØ, ÐÏÚ×ÏÌÉ×ÛÉÅ ÉÍ ×ÐÌÏÔÎÕÀ ×ÚÑÔØÓÑ ÚÁ ÒÁÚÇÁÄËÕ ÒÁÎÅÅ, ËÁÚÁÌÏÓØ
ÂÙ, ÎÅÐÒÉÓÔÕÐÎÙÈ ÔÁÊÎ ËÏÓÍÏÓÁ, ÌÅÞÅÎÉÅ ÓÔÒÁÛÎÙÈ ÂÏÌÅÚÎÅÊ, ËÏÌÉÞÅÓÔ×ÅÎ-
ÎÙÊ ÁÎÁÌÉÚ ÐÒÏÂÌÅÍ, ÏÔÎÏÓÑÝÉÈÓÑ Ë ÜËÏÎÏÍÉËÅ É ÕÓÔÒÏÊÓÔ×Õ ÞÅÌÏ×ÅÞÅÓËÏÇÏ
ÏÂÝÅÓÔ×Á, ÞÔÏ ÐÏÚ×ÏÌÑÅÔ ÎÁÄÅÑÔØÓÑ ÎÁ ÄÁÌØÎÅÊÛÉÊ ÐÒÏÇÒÅÓÓ ÞÅÌÏ×ÅÞÅÓÔ×Á.
÷ ÒÅÛÅÎÉÉ ÜÔÉÈ ÐÒÏÂÌÅÍ ÉÍÅÎÎÏ Ó ÍÁÔÅÍÁÔÉËÏÊ Ó×ÑÚÁÎÙ ÏÓÎÏ×ÎÙÅ ÎÁÄÅÖÄÙ
ÎÁ ÕÓÐÅÈ.

Страницы