O’zbekiston Respublikasi Oliy va O’rta maxsus ta’lim Vazirligi termiz davlat universiteti fizika-matematika fakulteti

3.  В.И.Игошин. Математическаya логика и теориya алгоритмов. Издательство 

Саратовского Университета,1991.219-225с. 

4.  Ю.Л.Ершов,Е.А.Палютин. Математическаya логика, M:Наука,1987г.241-251 с. 

5. 

http://intsys.msu.ru/stuff/vnosov/theorald.htm#top

 

6. 

www.de.uspu.ru/Informatics/metodes/DPP/F/08/1/Index.htm

 

 

---

 

27 

5-Mаvzu. Hisоblаnuvchi funksiyalаr vа Tyuring tеzisi. 

 Tyuring mаshinаlаri vа EHMlаr (2 soat) 

 

Rеjа: 

1. Hisоblаnuvchi funksiyalаr va sanoqli to’plamlar 

2. Hisоblаnuvchi funksiyalаrgа оid Tyuring tеzisi 

3. Tyuring mаshinаlаri vа EHMlаr