Мовою програмування називається формальна знакова система, яка використовується при запису програм для ЕОМ. Вони підпорядковуються різним правилам (лексичним, семантичним і синтаксичним), які задають зовнішній вигляд програми і дії, які необхідно виконати комп'ютера. Існує велика кількість класів мов програмування, які найбільше підходять для обраної предметної області, є навіть відверто жартівливі. Вони називаються езотеричними і не призначені для практичного застосування. Наприклад, є мови, мають літературний синтаксис (Shakespeare, Chef), мови, створені для утруднення написання коду (Malbolge, ALPACA) або володіють нелюдською логікою - Var'aq (використовує логіку раси клінгонов з фільму "Star Trek"). І інші жартівливі мови.Але, крім жартівливих існує велика кількість професійних. Основним класом, який використовується в даний час, є об'єктно-орієнтовані мови. Це високий рівень, який призначений для написання, як невеликих програм, так і великих програмних комплексів. Основні представники цього класу - Java, С #, C ++, Ruby, Python.Также слід зазначити логічні мови програмування. Вони засновані на парадигмі автоматичного доведення теорем і засновані на теорії математичної логіки. Найвідоміший мова логічного програмування - Prolog. Він використовує логіку предикатів першого порядка.Несмотря на велику кількість створених мов, на їх функціональні можливості, завжди необхідно правильно підходити до вибору засобів для створення програмних продуктів. Наприклад, якщо необхідно реалізувати клієнт-серверний додаток, то, очевидно, для цього не підійде логічний мову. Тому необхідно вибирати саме той, який найбільш підходить для вирішення поставленого завдання.