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

UptoLike

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

Рубрика: 

§7. ïÃÅÎËÉ ÓËÏÒÏÓÔÉ ÒÏÓÔÁ. æÕÎËÃÉÑ áËËÅÒÍÁÎÁ 207
úÁÄÁÞÁ 209. ðÏËÁÖÉÔÅ, ÞÔÏ ÐÒÑÍÏÊ ÐÅÒÅÓÞ¾Ô ×ÏÚÒÁÓÔÁÀÝÅÍ ÐÏ-
ÒÑÄËÅ) ÂÅÓËÏÎÅÞÎÏÇÏ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÏÇÏ ÍÎÏÖÅÓÔ×Á ÍÏÖÅÔ ÎÅ
ÂÙÔØ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÍ.
úÁÄÁÞÁ 210. ðÏËÁÖÉÔÅ, ÞÔÏ ÆÕÎËÃÉÑ, ÏÂÒÁÔÎÁÑ Ë ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒ-
ÓÉ×ÎÏÊ ÂÉÅËÃÉÉ i: N N, ÍÏÖÅÔ ÎÅ ÂÙÔØ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÏÊ.
§7. ïÃÅÎËÉ ÓËÏÒÏÓÔÉ ÒÏÓÔÁ. æÕÎËÃÉÑ áËËÅÒÍÁÎÁ                   207

  úÁÄÁÞÁ 209. ðÏËÁÖÉÔÅ, ÞÔÏ ÐÒÑÍÏÊ ÐÅÒÅÓÞ¾Ô (× ×ÏÚÒÁÓÔÁÀÝÅÍ ÐÏ-
ÒÑÄËÅ) ÂÅÓËÏÎÅÞÎÏÇÏ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÏÇÏ ÍÎÏÖÅÓÔ×Á ÍÏÖÅÔ ÎÅ
ÂÙÔØ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÙÍ.
   úÁÄÁÞÁ 210. ðÏËÁÖÉÔÅ, ÞÔÏ ÆÕÎËÃÉÑ, ÏÂÒÁÔÎÁÑ Ë ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒ-
ÓÉ×ÎÏÊ ÂÉÅËÃÉÉ i : N → N, ÍÏÖÅÔ ÎÅ ÂÙÔØ ÐÒÉÍÉÔÉ×ÎÏ ÒÅËÕÒÓÉ×ÎÏÊ.