Gjuha e Programimit është një gjuhë artificiale e cila mund të përdoret për të kontrolluar sjelljen e një makine, në veçanti të një kompjuteri. Gjuhët e programimit, ashtu si gjuhët njerëzore, përkufizohen nëpërmjet përdorimit të rregullave sintaksore dhe semantike, për të përcaktuar strukturën dhe kuptimin e secilës prej tyre.

Gjuhët e programimit janë një lloj, menyrë komunikimi midis programuesit dhe procesorit. Programuesit shkruajnë në një gjuhë të caktuar (Cobol, Fortran, C, C++, Java etj) një sekuence procedurash të cilat mund të përkthehen në veprime aritmetike të ekzekutueshme nga procesori.