От времето, когато човечеството излезе с първото програмируемо устройство, са създадени повече от две хиляди езици за програмиране. И всяка година броят им непрекъснато нараства. Те помагат за установяване на комуникация между различни устройства в сложно техническо оборудване.
Езикът за програмиране е формална система за знаци, която се използва при писане на компютърни програми. Те се подчиняват на различни правила (лексикални, семантични и синтактични), които определят външния вид на програмата и действията, които трябва да бъдат извършени от компютъра. Има голям брой класове програмни езици, които са най-подходящи за избраната предметна област, има дори откровено комични. Те се наричат езотерични и не са предназначени за практическа употреба. Например, има езици, които имат литературен синтаксис (Шекспир, Шеф), езици, създадени да затруднят писането на код (Malbolge, ALPACA), или с нечовешка логика - Var'aq (използва логиката на клингонския състезание от филма "Стар Трек". И други комични езици, но освен комикс има и голям брой професионални. Основният клас, който се използва в момента, са обектно-ориентираните езици. Това е високо ниво, което е предназначено за писане както на малки програми, така и на големи софтуерни системи. Основните представители на този клас са Java, C #, C ++, Ruby, Python. Те се основават на автоматичната теорема, доказваща парадигмата и се основават на теорията на математическата логика. Най-известният език за програмиране на логиката е Prolog. Той използва предикатна логика от първи ред. Въпреки големия брой създадени езици и тяхната функционалност, винаги е необходимо да изберете правилните инструменти за създаване на софтуерни продукти. Например, ако трябва да внедрите приложение клиент-сървър, тогава, очевидно, логически език не е подходящ за това. Следователно е необходимо да изберете този, който е най-подходящ за решаване на задачата.
