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

UptoLike

ВУЗ: 

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

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

Рубрика: 

§4. òÅÌÅÊÎÏ-ËÏÎÔÁËÔÎÙÅ ÓÈÅÍÙ É ÓÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅÍÅÎÔÏ×223
300. éÍÅÅÔÓÑ ÏÄÎÁ ÌÁÍÐÁ × ÌÅÓÔÎÉÞÎÏÍ ÐÒÏ̾ÔÅ Ä×ÕÈÜÔÁÖÎÏÇÏ ÄÏÍÁ. ðÏ-
ÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË, ÞÔÏÂÙ ÎÁ ËÁÖÄÏÍ ÜÔÁÖÅ Ó×ÏÉÍ ×ÙËÌÀÞÁÔÅÌÅÍ ÍÏÖÎÏ
ÂÙÌÏ ÇÁÓÉÔØ É ÚÁÖÉÇÁÔØ ÌÁÍÐÕ ÎÅÚÁ×ÉÓÉÍÏ ÏÔ ÐÏÌÏÖÅÎÉÑ ÄÒÕÇÏÇÏ ×ÙËÌÀÞÁ-
ÔÅÌÑ.
301. ðÏ ÕÓÔÁÎÏ×ÌÅÎÎÏÍÕ ÓÉÇÎÁÌÕ ËÁÖÄÙÊ ÉÇÒÏË ÚÁÍÙËÁÅÔ ÉÌÉ ÒÁÚÍÙËÁÅÔ
×ÙËÌÀÞÁÔÅÌØ, ÎÁÈÏÄÑÝÉÊÓÑ ÐÏÄ ÅÇÏ ÕÐÒÁ×ÌÅÎÉÅÍ. åÓÌÉ ÏÂÁ ÄÅÌÁÀÔ ÏÄÎÏ É
ÔÏ ÖÅ, ÔÏ ×ÙÉÇÒÙ×ÁÅÔ á, × ÐÒÏÔÉ×ÎÏÍ ÓÌÕÞÁÅ ¡ ÷. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË,
ÞÔÏÂÙ × ÓÌÕÞÁÅ ×ÙÉÇÒÙÛÁ á ÚÁÖÉÇÁÌÁÓØ ÌÁÍÐÏÞËÁ.
302. ëÏÍÉÔÅÔ ÉÚ 5 ÞÅÌÏ×ÅË ÐÒÉÎÉÍÁÅÔ ÒÅÛÅÎÉÑ ÂÏÌØÛÉÎÓÔ×ÏÍ ÇÏÌÏÓÏ×.
ðÒÅÄÓÅÄÁÔÅÌØ ÐÏÌØÚÕÅÔÓÑ ÐÒÁ×ÏÍ ¤×ÅÔÏ¥. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË, ÞÔÏÂÙ ÇÏÌÏ-
ÓÏ×ÁÎÉÅ ÐÒÏÉÓÈÏÄÉÌÏ ÎÁÖÁÔÉÅÍ ËÎÏÐÏË É × ÓÌÕÞÁÅ ÐÒÉÎÑÔÉÑ ÒÅÛÅÎÉÑ ÚÁÇÏ-
ÒÁÌÁÓØ ÌÁÍÐÏÞËÁ.
303. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ, ÕÐÒÁ×ÌÑÀÝÕÀ ÓÐÕÓËÏÍ ÌÉÆÔÁ ÓÏ ×ÔÏÒÏÇÏ ÜÔÁÖÁ
ÎÁ ÐÅÒ×ÙÊ. õÓÌÏ×ÉÑ, ÏÐÒÅÄÅÌÑÀÝÉÅ ÒÁÂÏÔÕ ÌÉÆÔÁ, ÓÌÅÄÕÀÝÉÅ:
¡ Ä×ÅÒØ ÌÉÆÔÁ ÎÁ ÐÅÒ×ÏÍ ÜÔÁÖÅ ÚÁËÒÙÔÁ,
¡ Ä×ÅÒØ ÌÉÆÔÁ ÎÁ ×ÔÏÒÏÍ ÜÔÁÖÅ ÚÁËÒÙÔÁ,
¡ ÐÁÓÓÁÖÉÒ ÎÁÈÏÄÉÔÓÑ × ËÁÂÉÎÅ ÌÉÆÔÁ,
¡ ËÎÏÐËÁ ×ÙÚÏ×Á ÎÁ ÐÅÒ×ÏÍ ÜÔÁÖÅ ÎÁÖÁÔÁ,
¡ ËÎÏÐËÁ ÓÐÕÓËÁ ÎÁ ÐÅÒ×ÙÊ ÜÔÁÖ × ËÁÂÉÎÅ ÎÁÖÁÔÁ.
îÁÊÔÉ ÆÕÎËÃÉÉ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÓÌÅÄÕÀÝÉÈ ÓÈÅÍ, ÅÓÌÉ ×ÏÚÍÏÖÎÏ, ÕÐÒÏ-
ÓÔÉÔØ ÓÈÅÍÙ:
304. 305.
306. 307.
§4. òÅÌÅÊÎÏ-ËÏÎÔÁËÔÎÙÅ ÓÈÅÍÙ É ÓÈÅÍÙ ÉÚ ÆÕÎËÃÉÏÎÁÌØÎÙÈ ÜÌÅÍÅÎÔÏ×223

   300. éÍÅÅÔÓÑ ÏÄÎÁ ÌÁÍÐÁ × ÌÅÓÔÎÉÞÎÏÍ ÐÒÏ̾ÔÅ Ä×ÕÈÜÔÁÖÎÏÇÏ ÄÏÍÁ. ðÏ-
ÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË, ÞÔÏÂÙ ÎÁ ËÁÖÄÏÍ ÜÔÁÖÅ Ó×ÏÉÍ ×ÙËÌÀÞÁÔÅÌÅÍ ÍÏÖÎÏ
ÂÙÌÏ ÇÁÓÉÔØ É ÚÁÖÉÇÁÔØ ÌÁÍÐÕ ÎÅÚÁ×ÉÓÉÍÏ ÏÔ ÐÏÌÏÖÅÎÉÑ ÄÒÕÇÏÇÏ ×ÙËÌÀÞÁ-
ÔÅÌÑ.
   301. ðÏ ÕÓÔÁÎÏ×ÌÅÎÎÏÍÕ ÓÉÇÎÁÌÕ ËÁÖÄÙÊ ÉÇÒÏË ÚÁÍÙËÁÅÔ ÉÌÉ ÒÁÚÍÙËÁÅÔ
×ÙËÌÀÞÁÔÅÌØ, ÎÁÈÏÄÑÝÉÊÓÑ ÐÏÄ ÅÇÏ ÕÐÒÁ×ÌÅÎÉÅÍ. åÓÌÉ ÏÂÁ ÄÅÌÁÀÔ ÏÄÎÏ É
ÔÏ ÖÅ, ÔÏ ×ÙÉÇÒÙ×ÁÅÔ á, × ÐÒÏÔÉ×ÎÏÍ ÓÌÕÞÁÅ ¡ ÷. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË,
ÞÔÏÂÙ × ÓÌÕÞÁÅ ×ÙÉÇÒÙÛÁ á ÚÁÖÉÇÁÌÁÓØ ÌÁÍÐÏÞËÁ.
   302. ëÏÍÉÔÅÔ ÉÚ 5 ÞÅÌÏ×ÅË ÐÒÉÎÉÍÁÅÔ ÒÅÛÅÎÉÑ ÂÏÌØÛÉÎÓÔ×ÏÍ ÇÏÌÏÓÏ×.
ðÒÅÄÓÅÄÁÔÅÌØ ÐÏÌØÚÕÅÔÓÑ ÐÒÁ×ÏÍ ¤×ÅÔÏ¥. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ ÔÁË, ÞÔÏÂÙ ÇÏÌÏ-
ÓÏ×ÁÎÉÅ ÐÒÏÉÓÈÏÄÉÌÏ ÎÁÖÁÔÉÅÍ ËÎÏÐÏË É × ÓÌÕÞÁÅ ÐÒÉÎÑÔÉÑ ÒÅÛÅÎÉÑ ÚÁÇÏ-
ÒÁÌÁÓØ ÌÁÍÐÏÞËÁ.
   303. ðÏÓÔÒÏÉÔØ ÓÈÅÍÕ, ÕÐÒÁ×ÌÑÀÝÕÀ ÓÐÕÓËÏÍ ÌÉÆÔÁ ÓÏ ×ÔÏÒÏÇÏ ÜÔÁÖÁ
ÎÁ ÐÅÒ×ÙÊ. õÓÌÏ×ÉÑ, ÏÐÒÅÄÅÌÑÀÝÉÅ ÒÁÂÏÔÕ ÌÉÆÔÁ, ÓÌÅÄÕÀÝÉÅ:
    ¡ Ä×ÅÒØ ÌÉÆÔÁ ÎÁ ÐÅÒ×ÏÍ ÜÔÁÖÅ ÚÁËÒÙÔÁ,
    ¡ Ä×ÅÒØ ÌÉÆÔÁ ÎÁ ×ÔÏÒÏÍ ÜÔÁÖÅ ÚÁËÒÙÔÁ,
    ¡ ÐÁÓÓÁÖÉÒ ÎÁÈÏÄÉÔÓÑ × ËÁÂÉÎÅ ÌÉÆÔÁ,
    ¡ ËÎÏÐËÁ ×ÙÚÏ×Á ÎÁ ÐÅÒ×ÏÍ ÜÔÁÖÅ ÎÁÖÁÔÁ,
    ¡ ËÎÏÐËÁ ÓÐÕÓËÁ ÎÁ ÐÅÒ×ÙÊ ÜÔÁÖ × ËÁÂÉÎÅ ÎÁÖÁÔÁ.
  îÁÊÔÉ ÆÕÎËÃÉÉ ÐÒÏ×ÏÄÉÍÏÓÔÉ ÓÌÅÄÕÀÝÉÈ ÓÈÅÍ, ÅÓÌÉ ×ÏÚÍÏÖÎÏ, ÕÐÒÏ-
ÓÔÉÔØ ÓÈÅÍÙ:
304.                              305.




306.                              307.

Страницы