นับตั้งแต่เวลาที่มนุษยชาติมีอุปกรณ์ที่ตั้งโปรแกรมได้เครื่องแรก ภาษาโปรแกรมได้ถูกสร้างขึ้นมากกว่าสองพันภาษา และทุกปีจำนวนของพวกเขาเพิ่มขึ้นอย่างต่อเนื่อง ช่วยสร้างการสื่อสารระหว่างอุปกรณ์ต่างๆ ในอุปกรณ์ทางเทคนิคที่ซับซ้อน
ภาษาโปรแกรมเป็นระบบสัญญาณอย่างเป็นทางการที่ใช้เมื่อเขียนโปรแกรมคอมพิวเตอร์ พวกเขาปฏิบัติตามกฎต่างๆ (ศัพท์ ความหมาย และวากยสัมพันธ์) ที่กำหนดลักษณะที่ปรากฏของโปรแกรมและการกระทำที่คอมพิวเตอร์ต้องดำเนินการ มีภาษาโปรแกรมจำนวนมากที่เหมาะสมที่สุดสำหรับสาขาวิชาที่เลือก พวกเขาเรียกว่าลึกลับและไม่ได้มีไว้สำหรับการใช้งานจริง ตัวอย่างเช่น มีภาษาที่มีไวยากรณ์ทางวรรณกรรม (เชคสเปียร์, เชฟ) ภาษาที่ออกแบบให้เขียนโค้ดได้ยาก (Malbolge, ALPACA) หรือด้วยตรรกะที่ไร้มนุษยธรรม - Var'aq (ใช้ตรรกะของคลิงออน การแข่งขันจากภาพยนตร์ Star Trek) และภาษาการ์ตูนอื่นๆ แต่นอกจากการ์ตูนแล้ว ยังมีภาษามืออาชีพอีกจำนวนมาก คลาสหลักที่ใช้ในปัจจุบันเป็นภาษาเชิงวัตถุ เป็นระดับสูงซึ่งมีไว้สำหรับเขียนทั้งโปรแกรมขนาดเล็กและระบบซอฟต์แวร์ขนาดใหญ่ ตัวแทนหลักของคลาสนี้คือ Java, C #, C ++, Ruby, Python ควรสังเกตภาษาการเขียนโปรแกรมเชิงตรรกะด้วย พวกเขาอยู่บนพื้นฐานของทฤษฎีบทอัตโนมัติพิสูจน์กระบวนทัศน์และขึ้นอยู่กับทฤษฎีของตรรกะทางคณิตศาสตร์ ภาษาการเขียนโปรแกรมลอจิกที่มีชื่อเสียงที่สุดคือ Prolog มันใช้ตรรกะเพรดิเคตอันดับ 1 แม้ว่าจะมีการสร้างภาษาจำนวนมากและฟังก์ชันการทำงาน แต่ก็จำเป็นต้องเลือกเครื่องมือที่เหมาะสมสำหรับการสร้างผลิตภัณฑ์ซอฟต์แวร์ ตัวอย่างเช่น หากคุณต้องการใช้งานแอปพลิเคชันไคลเอนต์-เซิร์ฟเวอร์ แน่นอนว่าภาษาตรรกะไม่เหมาะสำหรับสิ่งนี้ ดังนั้นจึงจำเป็นต้องเลือกอันที่เหมาะสมที่สุดสำหรับการแก้ปัญหา