programski jezik (angleško programming language), sredstvo za sporazumevanje z računalnikom, ki lahko ukaze neposredno izvaja (strojni jezik) ali pa jih najprej samodejno prevede. Programski jeziki se vedno bolj oddaljujejo od strojnega jezika, saj se želijo približati pogovornemu jeziku. Pri tem pride do problema izdelave ustreznega prevajalnika. Programske jezike po stopnji abstraktnosti ločimo od strojnemu jeziku najbližjega zbirnika do drugih, kot so basic, algol, fortran, pascal, lisp, C, C++ itn. Mnogi od njih so prilagojeni reševanju posebnih problemov.