Netreba snáď zdôrazňovať, že výstupné údaje nie sú dané explicitne, ale implicitne, v tvare určitých podmienok, ktoré musia výstupné údaje spĺňať. Budeme im hovoriť výstupné podmienky. Rovnako musia spĺňať určité podmienky aj vstupné údaje. Tieto budeme nazývať vstupné podmienky. Často sa vstupné podmienky zhrňujú do jednej podmienky. Potom hovoríme o vstupnej podmienke a analogicky o výstupnej podmienke. Vstupnou a výstupnou podmienkou charakterizujeme daný problém , ktorý potrebujeme riešiť, špecifikujeme to, čo treba riešiť.

Na zápis vstupných a výstupných podmienok sa kladú určité požiadavky, ako je jasnosť, jednoznačnosť atď. Aj keby sme niekedy vystačili s prirodzeným jazykom, budeme častejšie používať formálnejší a presnejší jazyk výrokových foriem, ktorý poznáme zo strednej školy.

Pre algoritmus zvyčajne definujeme tri základné vlastnosti:

- Determinovanosť: znamená, že činnosť algoritmu je natoľko presná a pritom všeobecne pochopiteľná, že nepripúšťa v žiadnom kroku procesu subjektívnu možnosť voľby ďalšieho pokračovania. Činnosť algoritmu nesmie závisieť od ľubovôli osoby, ani na vlastnostiach zariadenia, ktoré ho realizuje. Je to proces, ktorý môže byť kedykoľvek a kýmkoľvek opakovaný s rovnakým výsledkom.

- Hromadnosť: znamená, že algoritmus neslúži na riešenie jednej konkrétnej úlohy, ale na riešenie celej triedy úloh. Vstupné údaje sa môžu v určitých medziach meniť. Tak napr. algoritmus na výpočet druhej odmocniny z daného čísla platí pre ľubovoľné konečné nezáporné reálne číslo a nie iba pre jednu konkrétnu hodnotu. Postup na riešenie jednej individuálnej úlohy sa nenazýva algoritmom. Ak nemáme algoritmus na riešenie všetkých úloh danej triedy, neznamená to, že jednotlivé úlohy danej triedy nemôžeme vedieť riešiť. Na vyriešenie jednotlivých prípadov však musíme vytvárať špeciálny postup, ktorý nemusí byť vhodný pre iný prípad.

- Rezultatívnosť: vyžaduje, aby sa postup, použitý na riešenie ľubovoľnej úlohy danej triedy, po konečnom počte krokov zastavil a aby po zastavení dával požadovaný výsledok. Z tejto vlastnosti automaticky vyplýva pojem oblasti použiteľnosti algoritmu. Je to taká najväčšia oblasť vstupných údajov, pre ktoré je algoritmus rezultatívny. To znamená, že ak za vstupné údaje zoberieme údaje z oblasti použiteľnosti, algoritmus sa zastaví po konečnom počte krokov s požadovaným riešením.