50
sistemaları. Bul funkciyalarınıń tablicası. Bul algebrası. Ózara baylanıslı hám
baylanıssız funkciyalar. Sızıqlı funkciyalar kópligi. Aytımlar esabın kurıw.
Predikatlar esabınıń sáykesligi hám tolıqlıǵı. Algoritm tusinigi. Evklid algoritmi.
Cherch tezisi. Klini tezisi. Úles rekursiv funkciyalar. Úles funkciyalardıń
anıqlanıw oblastı. Mánisler kópligi. PR- operatorı. Minimizaciya operatorı.
Arifmetik funkciyalardıń premitiv rekursivligin kórsetiw. Rekursiv hám sanap
shıǵıwshı kóplikler. Universal funkciyalar. Algoritm teoriyasında
universal
funkciya tusinigi. Tyuring mashinasınıń alfavitleri. Algoritmlik sheshilmeytuǵın
mashqalalar. Bóleklik rekursiv funkciyalardı Tyuring mashinalarında esaplaw.
