Od doby, kdy lidstvo přišlo s prvním programovatelným zařízením, bylo vytvořeno více než dva tisíce programovacích jazyků. A každý rok jejich počet neustále roste. Pomáhají navázat komunikaci mezi různými zařízeními ve složitých technických zařízeních.
Programovací jazyk je formální znakový systém, který se používá při psaní počítačových programů. Dodržují různá pravidla (lexikální, sémantická a syntaktická), která určují vzhled programu a akce, které musí počítač provádět. Existuje velké množství tříd programovacích jazyků, které jsou nejvhodnější pro zvolenou předmětovou oblast, jsou dokonce i upřímně komické. Nazývají se esoterické a nejsou určeny pro praktické použití. Například existují jazyky, které mají literární syntaxi (Shakespeare, Chef), jazyky navržené tak, aby bylo obtížné psát kód (Malbolge, ALPACA), nebo s nelidskou logikou - Var'aq (používá logiku klingonské závod z filmu Star Trek). A další komiksové jazyky, ale kromě komiksů existuje velké množství profesionálních. Hlavní třídou, která se aktuálně používá, jsou objektově orientované jazyky. Toto je vysoká úroveň, která je určena pro psaní jak malých programů, tak velkých softwarových systémů. Hlavními představiteli této třídy jsou Java, C #, C ++, Ruby, Python a je třeba si také povšimnout logických programovacích jazyků. Jsou založeny na paradigmatu dokazování automatické věty a na teorii matematické logiky. Nejznámějším logickým programovacím jazykem je Prolog. Využívá predikátovou logiku prvního řádu. I přes velké množství vytvořených jazyků a jejich funkčnost je vždy nutné zvolit správné nástroje pro tvorbu softwarových produktů. Například pokud potřebujete implementovat aplikaci klient-server, pak pro to logický jazyk samozřejmě není vhodný. Proto je nutné zvolit ten, který je pro řešení úkolu nejvhodnější.
