Algoritmai. Pagrindiniai reikalavimai. Algoritmų modeliai. Efektyvios procedūros ir algoritmai. Tiuringo mašina (TM). Tiuringo mašinų atminties valdymas. Paieška. Perrašymas. TM naudojimas funkcijų skaičiavimui. UTM. Efektyvaus išsprendžiamumo problemos. Sustojimo problema. Sustojimo problemos neišsprendžiamumas. Raiso teorema (jos apibendrinimai).