Prog - zkoušení - algoritmus, typy programovacích jazyků

algoritmus - schématický postup řešení určitého problému, který je konečný určitý, korektní a obecný
vymýšlení řešení - algoritmizace

konečnost - skončí pro libovolná data v konečném množství kroků (F pro Bogosort)
určitost - všechny kroky algoritmu jsou přesně definovány
korektnost - algoritmus skončí pro libovolná data správným výsledkem
obecnost - algoritmus řeší všechny úlohy daného typu


typy programovacích jazyků:

kompilovaný/interpretovaný - výhody/nevýhody (kompilace, bezpečnost, přenositelnost, potřeba interpretu, rychlost) příklady (kompilovaný - C++, Pascal; interpretovaný - PHP, Python)
vyšší/nižší/strojový kód - strojový (jedničky a nuly), nižší (instrukce pro konkrétní procesory), vyšší (zdrojový kód se dá použít na všechny typy procesoru)
skriptovací/ostatní - skriptovací jazyky jsou určené pro krátké skripty, dynamicky typované, nevyžadují deklaraci proměnných