هى اى لغة متصممه عشان تمكن الناس من التحكم فى الاجهزه الالكترونيه, بالزات الكومبيوترات, عن طريق اوامر مكتوبه. بتتقسم لغات البرمجة لانواع كتيرة حسب المستوى بتاعها وحسب قربها للغات بتاعت الناس ففى لغات مستوى-عالى يعنى اوامرها ممكن تتقرى زى اللغات الحيه (مثال "بيزك" (BASIC) و "سمال توك" (Smalltalk)) و لغات مستوى-واطى اللى قريبة اكتر من لغة الاله (مثال "اسمبلى" (Assembly)), لكن اللغات الاكتر استخداما فى البرامج الكبيره هيه اللغات اللى مستواها عالى (مثال "سى" (C) و "چاڤا" (Java)) فيه انواع كتير من لغات البرمجه من ساعت ما طلعت وكل فتره بيطلع نوع جديد. معظم اللغات مش تبع نوع واحد بس لكنها بتاخد خصايص من كذا نوع, عشان كده صعب اننا نحدد نوع لكل لغه لكن أهم و اشهر الانواع هما: النوع ده من لغات البرمجه بيوصف المشكله اللى مفروض البرنامج يحلها لكنه عامة مش بيقول المشكله تتحل ازاى. توصيف المشكله بيتم باستخدام المنطق, حل المشكله بيكون نظام من الاكسيومس(بالعربى:البديهيات,بالانجليزى:Axioms), من امثلة اللغات دى : الليسب:LISP, برولوجProlog وحاجات تانيه.