Algoritmalar teorisi
Algoritmalar teorisi, evrensel algoritmik modellerin 3 türünü ele almaktadır. Birinci tür: Algoritma kavramını klasik olan hesaplama ve sayısal fonksiyonlar gibi matematiksel kavramlarla ilişkilendirmektedir. Bu sınıfın en gelişmiş ve incelenmiş modeli, algoritma kavramını ilk olarak biçimlendiren özyinelemeli fonksiyonlardır.