polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
strogo definiran postupak na skupu ulaznih parametara koji se sastoji od konačno mnogo koraka i na kraju daje rezultat potpuno određen ulaznim parametrima
strogo definiran postupak na skupu ulaznih parametara koji se sastoji od konačno mnogo koraka i na kraju daje rezultat potpuno određen ulaznim parametrima
Rod: muški
Vrsta riječi: imenica
Definicija je skraćena i prilagođena terminološkome opisu jer se u strožim matematičkim opisima uključuje i točan opis kakvi su koraci dopušteni i kako pojam ovisi o modelu konačnoga stroja koji obavlja algoritam. Churchova teza nedokaziva je tvrdnja da sve razumne definicije konačnoga stroja daju ekvivalentni pojam algoritma pa bi potpuna definicija tražila izbor određenoga modela, što je donekle neprirodno za ove potrebe.