Nazariyai algoritmho

Nazariyai algoritmho, yak fasli matematikaro guyand, ki khosiyathoi umumii algoriglenoro meomu­zad. Hodisanoe, ki boisi ba vujud omadani mafhumi «algoritm» gardidaand, dar tamomi tarikhi mavjudiyati matematika vomekhurand. Ammo khudi mafhum tanho dar asri 20 purra tashakkul yoft va faqat solhoi 20 asri 20 dar tadqiqoti namoyandagoni intuitsionizmi matematiki L. E. Ya. Brauer va G. Veyl mavjui alohida gardid. (Khudi istilohi «algoritm» az tarzi navishti nomi olimi marufi Ajam Muhammadi Khorazmi baromada omadaast.) Az soli 1936 cap karda Nazariyai algoritmho muntazam inkishof yoft. Hamon sol matematiki amerikoi A. R. Jyorj bori nakhust mafhumi funksiyai hisobiro daqiq bayon namud va avvalin misoli funksiyai gayrihisobiro nishon dod. Matematikoni amerikoi A. M. Tyuring va E. L. Post bori avval mafhumi algoritmhoro dar asosi mafhumhoi hisobmoshinhoi idealizironidashuda bayon namudand. Minbad dar asarhoyashon matematikho S. K. Klini, A. A. Markov va digaron Nazariyai algoritmhoro in­kishof dodand. Masalan, A. A. Markov baroi aniq kardani mafhumi algo­ritm mafhumi algoritmi nor­maliro jori namud. Usuli beshtar umumii aniq namudani mafhumi algoritmro A. N. Kolmogorov peshnihod kardaast. Nig. niz Algo­ritm.