Programovací jazyk, tedy formální jazyk, který dává příkazy nějakému digitálnímu stroji, nejčastěji počítači. Může se zdát, že programovací jazyky jsou záležitostí moderní doby. Není tomu tak. V 9. století existovala automatická flétna, která byla předem naprogramovaná. V 18. století se pote jednalo o Jacquardovu textilní mašinu, také ta mohla být programována. V moderním slova smyslu jsou však vyvíjeny zcela nové programovací jazyky navržené na konkrétní komunikaci mezi jednotlivými přístroji a v rámci jednoho stroje. V této kategorii poté najdete zejména učebnice jednotlivých programovacích jazyků a jejich příklady.