Algoritmu vadinami aiškūs vienareikšmiai (sakiniai), kaip turint tam tikrus
pradinius galima gauti reikiamus . Algoritmo sąvoka yra viena iš pagrindinių matematikos ir sąvokų. Pradinis - tai iš anksto žinoma reikšmė (paprasčiausiu atveju - skaičius), būtina veiksmams atlikti. rezultatas - tai apskaičiuota reikšmė, kuri naudojama tolesniems veiksmams atlikti. Tarpiniai rezultatai padeda programuotojui pasitikrinti, ar parašyta visa programa, ar tik jos dalis, ar programos veikia gerai. Algoritmu aprašomi veiksmai yra skirti . Kiekvienam algoritmui būdingos tokios savybės:
Diskretūmas. Algoritmas suskaidomas į baigtinę žingsnių . Tik atlikus vieno žingsnio veiksmus
galima pereiti prie kito žingsnio. Aiškumas. Visus algoritmu aprašomus veiksmus bet kuris vykdytojas turi vienareikšmiškai. Rezultatyvumas. Atlikus skaičių algoritmo veiksmų, gaunamas rezultatas. Vienas iš galimų rezultatų - uždavinys neturi. Baigtumas. Rezultatas gaunamas įvykdžius skaičių algoritmo veiksmų.
Universalumas. Naudojant tą patį , sprendžiami visi to tipo uždaviniai, t. y. kiekvienam pradinių duomenų rinkiniui gaunamas teisingas rezultatas.
Algoritmai gali būti pateikiami skirtingais : Užrašomi . Šis būdas naudojamas, kai norima labai aiškiai nurodyti atliekamus veiksmus. Vaizduojami - dažniausiai blokinėmis (simbolinėmis) schemomis arba struktūrogramomis. Užrašomi . Vartojami žodžiai, artimi kalbai. Užrašomi kalba.