მას შემდეგ რაც კაცობრიობამ შექმნა პირველი პროგრამირებადი მოწყობილობა, შეიქმნა ორი ათასზე მეტი პროგრამირების ენა. ყოველწლიურად მათი რიცხვი სტაბილურად იზრდება. ისინი ხელს უწყობენ კომუნიკაციის დამყარებას სხვადასხვა მოწყობილობებს შორის რთულ ტექნიკურ აღჭურვილობაში.
პროგრამირების ენა არის ფორმალური ნიშნების სისტემა, რომელიც გამოიყენება კომპიუტერული პროგრამების წერისას. ისინი ემორჩილებიან სხვადასხვა წესებს (ლექსიკური, სემანტიკური და სინტაქსური), რომლებიც განსაზღვრავს პროგრამის გარეგნობას და მოქმედებებს, რომლებიც კომპიუტერმა უნდა შეასრულოს. არსებობს დიდი რაოდენობით პროგრამირების ენების კლასები, რომლებიც ყველაზე შესაფერისია არჩეული საგნისთვის, არის გულწრფელად კომიკურიც. მათ ეზოთერულს უწოდებენ და არ არის გამიზნული პრაქტიკული გამოყენებისათვის. მაგალითად, არსებობს ენები, რომლებსაც აქვთ ლიტერატურული სინტაქსი (შექსპირი, შეფ), ენები, რომლებიც შექმნილია კოდის წერაში გართულებისთვის (Malbolge, ALPACA), ან არაადამიანური ლოგიკით - Var'aq (იყენებს კლინგონის ლოგიკას რბოლა Star Trek ფილმიდან). და სხვა კომიკური ენები, მაგრამ კომიქსის გარდა, პროფესიონალების დიდი რაოდენობაც არსებობს. ძირითადი კლასი, რომელიც ამჟამად გამოიყენება, არის ობიექტზე ორიენტირებული ენები. ეს არის მაღალი დონე, რომელიც განკუთვნილია როგორც მცირე პროგრამების, ისე დიდი პროგრამული სისტემების დასაწერად. ამ კლასის ძირითადი წარმომადგენლები არიან Java, C #, C ++, Ruby, Python. ასევე უნდა აღინიშნოს პროგრამირების ლოგიკური ენები. ისინი ემყარება ავტომატური თეორემის დამადასტურებელ პარადიგმას და ემყარება მათემატიკური ლოგიკის თეორიას. პროგრამირების ყველაზე ცნობილი ლოგიკური ენაა Prolog. იგი იყენებს პირველი რიგის პრედიკატიკურ ლოგიკას. შექმნილი ენების დიდი რაოდენობისა და მათი ფუნქციონალური ფუნქციის მიუხედავად, ყოველთვის აუცილებელია პროგრამული პროდუქტების შესაქმნელად სწორი ინსტრუმენტების არჩევა. მაგალითად, თუ თქვენ გჭირდებათ კლიენტ-სერვერული პროგრამის დანერგვა, მაშინ, ცხადია, ამისათვის არ არის შესაფერისი ლოგიკური ენა. ამიტომ, აუცილებელია აირჩიოს ის, რაც ყველაზე შესაფერისია ამოცანის გადასაჭრელად.
