claritate – descrierea algoritmului trebuie să se facă precis, fără nimic arbitrar, fără ambiguităţi şi să fie prevăzute toate etapele de calcul şi toate situaţiile care se pot ivi până la obţinerea soluţiei;
generalitate – algoritmul trebuie să permită rezolvarea de probleme dintr-o întreagă clasă;
finititudine – algoritmul trebuie să furnizeze rezultatele într-un număr finit (cât mai mic) de paşi;
unicitate – etapele algoritmului trebuie să fie definite în mod unic.
