I linguaggi permettono di programmare cioè istruire l'elaboratore ad effettuare il compito per cui è stato costruito.
Si dividono in

1. Linguaggi procedurali (Imperativi) :
   Il programmatore impartisce all'elaboratore una serie di istruzioni da eseguire, specificando le modalità di esecuzione
   es.
1. FORTRAN (FORmula TRANsaltion) per applicazioni matematiche - scientifiche
2. COBOL (Common Business Orientated Language) per applicazioni gestionali
3. BASIC (Beginners All purpouse Symbolic Istruction Code)
4. PASCAL ha introdotto la Programmazione Strutturata
5. C utilizzato per la programmazione dei Sistemi Operativi
2. Linguaggi OOP
   Linguaggi Orientati alla Programmazione ad Oggetti
1. C++
2. JAVA
3. DELPHIi
4. C#
5. VB.NET
3. Linguaggi Logici
   Basati sulla risoluzione di operatori Logici
1. PROLOG
4. Linguaggi Funzionali
   Basati sulla Valutazione di Funzioni Scientifiche
1. LINQ
5. Linguaggi Dichiarativi
   che descrivono le regole che descrivono il risultato che si vuole ottenere, non il procedimento da seguire
1. SQL