1610906281-d25a58898a45262b0b837c281ba962eb (Лекции Когабаев Соболева), страница 17
Описание файла
PDF-файл из архива "Лекции Когабаев Соболева", который расположен в категории "". Всё это находится в предмете "дискретная математика" из 1 семестр, которые можно найти в файловом архиве НГУ. Не смотря на прямую связь этого архива с НГУ, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 17 страницы из PDF
Ïîñêîëüêó îòíîøåíèå Rÿâëÿåòñÿ âû÷èñëèìûì, òî â ñèëó ïóíêòà (2) òåîðåìû 47 çàêëþ÷àåì, ÷òî Γf â.ï.(⇐=) Ïóñòü Γf â.ï.  ñîîòâåòñòâèè ñ ïóíêòîì (2) òåîðåìû 47 ñóùåñòâóåò âû÷èñëèìîå îòíîøåíèå R ⊆ ω k+2 òàêîå, ÷òî ñïðàâåäëèâà ýêâèâàëåíòíîñòü hx, yi ∈ Γf ⇐⇒∃zR(x, y, z). Îòñþäà çàêëþ÷àåì:x ∈ dom(f ) ⇐⇒ ∃yhx, yi ∈ Γf ⇐⇒ ∃y∃zR(x, y, z) ⇐⇒⇐⇒ ∃tR(x, ex(0, t), ex(1, t)) ⇐⇒ µt[R(x, ex(0, t), ex(1, t))] îïðåäåëåíî.Ïîýòîìó f (x) = ex 0, µt[R(x, ex(0, t), ex(1, t))] ÿâëÿåòñÿ ÷.â.ô.Ñïèñîê ëèòåðàòóðû1.2.3.4.5.6.Åðøîâ Þ. Ë.
Òåîðèÿ íóìåðàöèé. Ì.: Íàóêà, 1977.Åðøîâ Þ. Ë., Ïàëþòèí Å. À. Ìàòåìàòè÷åñêàÿ ëîãèêà. ÑÏá.: Ëàíü, 2004.Éåõ Ò. Òåîðèÿ ìíîæåñòâ è ìåòîä ôîðñèíãà. Ì.: Ìèð, 1973.Êàñüÿíîâ Â. Í. Ëåêöèè ïî òåîðèè ôîðìàëüíûõ ÿçûêîâ, àâòîìàòîâ è ñëîæíîñòèâû÷èñëåíèé. Íîâîñèáèðñê: ÍÃÓ, 1995.Êîãàáàåâ Í.Ò.
Ëåêöèè ïî òåîðèè àëãîðèòìîâ. Íîâîñèáèðñê: ÍÃÓ, 2009.Ëàâðîâ È.À., Ìàêñèìîâà Ë.Ë. Çàäà÷è ïî òåîðèè ìíîæåñòâ, ìàòåìàòè÷åñêîé ëîãèêå è òåîðèè àëãîðèòìîâ. Ì.: Íàóêà, 1984.9.Ìàëüöåâ À. È. Àëãîðèòìû è ðåêóðñèâíûå ôóíêöèè. Ì.: Íàóêà, 1986.Ìåíäåëüñîí Ý. Ââåäåíèå â ìàòåìàòè÷åñêóþ ëîãèêó. Ì.: Íàóêà, 1971.Ìîðîçîâ À. Ñ. Ìàøèíû ؼíôèëäà: Ìåòîäè÷åñêèå óêàçàíèÿ. Íîâîñèáèðñê: ÍÃÓ,10.Ðîäæåðñ Õ. Òåîðèÿ ðåêóðñèâíûõ ôóíêöèé è ýôôåêòèâíàÿ âû÷èñëèìîñòü. Ì.:11.Ñîàð Ð. È. Âû÷èñëèìî ïåðå÷èñëèìûå ìíîæåñòâà è ñòåïåíè. Êàçàíü: Êàçàíñêîå12.Khoussainov B., Nerode A.13.Lewis H.
R., Papadimitriou C. H. Elements of the Theory of Computation. N. J.:14.Shoeneld J. R. Recursion Theory, Lecture Notes in Logic. Berlin: Springer-Verlag,7.8.1996.Ìèð, 1972.ìàò. îáù-âî, 2000.Birkhauser, 2001.Automata Theory and Its Applications. Boston:Plentice Hall, 1998.1993.Ó÷åáíîå èçäàíèåÊîãàáàåâ Íóðëàí Òàëãàòîâè÷Ñîêîëîâà Þëèÿ ÞðüåâíàÄÐÓÃÈÅ ËÅÊÖÈÈ ÏÎ ÒÅÎÐÈÈ ÀËÃÎÐÈÒÌÎÂÓ÷åáíîå ïîñîáèå.