'''Programovací jazyk''' je nástroj na systematický opis postupu, [[výpočetVýpočet|výpočtu]], správania, zmeny stavu, opis objektov, ich vlastností a štruktúr. Zvyčajne programovacie jazyky slúžia na opis riešenia problému, ktorý umožní jeho vykonanie pomocou programovateľného technického zariadenia.
Programovacie jazyky vznikajú z toho dôvodu, že iné formy ľudského vyjadrovania, ako napríkladnapr. [[Prirodzený jazyk|prirodzené jazyky]], nie sú v dostatočnej miere vhodné na jednoznačný a systémový opis. TakzvanéTzv. „vyššie programovacie jazyky“ sú zvyčajne presne definovanou podmnožinou prirodzeného jazyka (napr. [[Angličtina|angličtiny]]) s vlastnou definíciou [[gramatika|gramatiky]] a [[syntax]]esyntaxe.
Postupnosť definícií a krokov potrebných na dosiahnutie riešenia problému realizovaných pomocou programovacieho jazyka sa nazýva [[Program (počítačový)|program]]. Proces vytvárania programu sa nazýva [[Programovanie (informatika)|programovanie]] alebo [[kódovanie]]. Človekom čitateľná forma programu napísaná v programovacom jazyku sa nazýva [[zdrojový kód]].