Algoritmlar nazatyasi - bu hisolash jarayonining  nazariy asoslarini o`rganadigan va masalalarni yichishning umumiy qonunyatlarini aniqlaydigan fundamental fan sohasidir. U algoritm tushunchasinianiq matematik shaklga keltirib, hisoblashning imkonyatlarini va chegaralarini belgilab beradi. XX asrda Alan Tyuring va Alonzo Church toonidan ishlab chiqilgan formal modellar algoritmni ilmiy asosda  tushuntirishga  imkon yaratdi va kompyuter fanining mustahkam poydevorini shakllantirdi..