Odkedy ľudstvo prišlo s prvým programovateľným zariadením, bolo vytvorených viac ako dvetisíc programovacích jazykov. A každý rok ich počet neustále rastie. Pomáhajú nadviazať komunikáciu medzi rôznymi zariadeniami v zložitých technických zariadeniach.
Programovací jazyk je formálny znakový systém, ktorý sa používa pri písaní počítačových programov. Dodržiavajú rôzne pravidlá (lexikálne, sémantické a syntaktické), ktoré určujú vzhľad programu a činnosti, ktoré musí počítač vykonať. Existuje veľké množstvo tried programovacích jazykov, ktoré sú najvhodnejšie pre zvolenú učebnú oblasť, dokonca existujú aj komiksy. Volajú sa ezoterické a nie sú určené na praktické použitie. Napríklad existujú jazyky, ktoré majú literárnu syntax (Shakespeare, Chef), jazyky navrhnuté tak, aby sťažovali písanie kódu (Malbolge, ALPACA), alebo s neľudskou logikou - Var'aq (používa logiku Klingona) rasa z filmu Star Trek). A ďalšie komiksové jazyky, ale okrem komiksov existuje veľké množstvo profesionálnych. Hlavnou triedou, ktorá sa v súčasnosti používa, sú objektovo orientované jazyky. Toto je vysoká úroveň, ktorá je určená na písanie malých programov aj veľkých softvérových systémov. Hlavnými predstaviteľmi tejto triedy sú Java, C #, C ++, Ruby, Python. Mali by ste tiež spomenúť logické programovacie jazyky. Sú založené na paradigme automatického dokazovania vety a založené na teórii matematickej logiky. Najznámejším logickým programovacím jazykom je Prolog. Využíva predikátovú logiku prvého rádu. Napriek veľkému počtu vytvorených jazykov a ich funkčnosti je vždy potrebné zvoliť správne nástroje na tvorbu softvérových produktov. Napríklad, ak potrebujete implementovať aplikáciu klient-server, potom logický jazyk na to zjavne nie je vhodný. Preto je potrebné zvoliť ten, ktorý je pre riešenie úlohy najvhodnejší.
