ภาษาโปรแกรม คือภาษาประดิษฐ์ที่ใช้สื่อสารชุดคำสั่งกับเครื่องจักร โดยเฉพาะคอมพิวเตอร์ และผู้ใช้เรียกว่าโปรแกรมเมอร์ ภาษาโปรแกรมยุคแรกเกิดขึ้นก่อนคอมพิวเตอร์เสียอีก โดยใช้ควบคุมเครื่องทอผ้าแจ็กการ์ดและเครื่องเล่นเปียโน ปัจจุบันมีภาษาโปรแกรมหลายพันภาษา ส่วนใหญ่เขียนแบบเชิงคำสั่ง แต่ก็มีแบบเชิงฟังก์ชันหรือตรรกะ การนิยามภาษาโปรแกรมประกอบด้วยวากยสัมพันธ์ (รูปแบบ) และอรรถศาสตร์ (ความหมาย) เช่น ภาษาซีถูกกำหนดโดยมาตรฐาน ISO ขณะที่ภาษาเพิร์ลรุ่น 5 ใช้ reference implementation ภาษาโปรแกรมต้องมีภาวะนามธรรมและพลังในการแสดงออก ภาษาทัวริงบริบูรณ์สามารถคำนวณได้ทุกอัลกอริทึม แต่บางภาษาเช่น SQL ไม่เป็นทัวริงบริบูรณ์ก็ยังถือเป็นภาษาโปรแกรม ภาษามาร์กอัปอย่าง HTML ไม่ถือเป็นภาษาโปรแกรม แต่ XSLT หรือ LaTeX บางส่วนเป็นทัวริงบริบูรณ์