De când umanitatea a venit cu primul dispozitiv programabil, au fost create peste două mii de limbaje de programare. Și în fiecare an numărul lor crește constant. Ele ajută la stabilirea comunicării între diferite dispozitive din echipamente tehnice complexe.
Un limbaj de programare este un sistem formal de semne care este utilizat la scrierea de programe de calculator. Ei respectă diferite reguli (lexicale, semantice și sintactice) care determină aspectul programului și acțiunile care trebuie efectuate de computer. Există un număr mare de clase de limbaje de programare care sunt cele mai potrivite pentru subiectul ales, există chiar și francamente comice. Sunt numite ezoterice și nu sunt destinate utilizării practice. De exemplu, există limbi care au sintaxă literară (Shakespeare, Chef), limbi concepute pentru a face dificilă scrierea codului (Malbolge, ALPACA) sau cu logică inumană - Var'aq (folosește logica klingoneană) cursa din filmul Star Trek). Și alte limbaje de benzi desenate, dar pe lângă benzi desenate există un număr mare de benzi profesionale. Clasa principală care este utilizată în prezent sunt limbajele orientate obiect. Acesta este un nivel înalt, care este destinat atât scrierii de programe mici, cât și a sistemelor software mari. Reprezentanții principali ai acestei clase sunt Java, C #, C ++, Ruby, Python. Trebuie menționate și limbaje de programare logice. Ele se bazează pe teorema automată care demonstrează paradigma și se bazează pe teoria logicii matematice. Cel mai faimos limbaj de programare logică este Prolog. Folosește logica predicatelor de ordinul întâi. În ciuda numărului mare de limbaje create și a funcționalității acestora, este întotdeauna necesar să alegeți instrumentele potrivite pentru crearea produselor software. De exemplu, dacă trebuie să implementați o aplicație client-server, atunci, evident, un limbaj logic nu este potrivit pentru aceasta. Prin urmare, este necesar să alegeți cel mai potrivit pentru rezolvarea sarcinii.
