La programació informàtica és el procés per mitjà de qual es dissenya, codifica, neta i protegeix el codi font de programes computacionals. A través de la programació es dicten els passos a seguir per a la creació d'el codi font de programes informàtics. D'acord amb ells el codi s'escriu, es prova i es perfecciona.
L'objectiu de la programació és la de crear programari, que després serà executat de manera directa pel maquinari de la computadora, o mitjançant un altre programa.
La programació es guia per una sèrie de regles i un conjunt petit d'ordres, instruccions i expressions que tendeixen a semblar-se a una llengua natural fitada. El llenguatge de programació, són totes aquelles regles o normes, símbols i paraules particulars emprades per a la creació d'un programa i amb ell, oferir-li una solució a un problema determinat.
El llenguatge de programació és el responsable que l'ordinador segueixi pas a pas les ordres que el programador ha dissenyat al algoritme. Amb això s'entén que el llenguatge de programació és una espècie d'intermediari entre l'ordinador i l'usuari, perquè aquest últim pugui donar-li resposta als problemes mitjançant l'ordinador i fent ús de paraules (funcions), que li interpreten aquest programa a l'ordinador per a la realització d'aquest treball.
Ara bé, depenent de el llenguatge que es triï, es pot parlar d'el tipus de programació que es va a realitzar. Alguns d'ells són:
Programació seqüencial: són aquells programes que es dissenyen amb directrius que van en seqüència una darrera l'altra. Per exemple: Cobol, Basic.
Programació estructurada: es considera així, quan la programació és dissenyada per mòduls. Cada mòdul realitza una tasca especialment, i quan es requereixi d'aquesta tasca, senzillament se li fa la crida a aquest mòdul. Per exemple: Turbo Pascal, Ada, Modula.
Programació orientada a objectes: són aquells llenguatges que permeten la implementació d'objectes dins de el disseny de la mateixa i l'usuari podrà enganxar a cada objecte un codi de programa. Alguns d'aquests són: Java, Xml, entre d'altres.
Programació lògica o de llenguatge natural: són aquells programes que es dissenyen amb interfícies, de tal manera que l'usuari pugui donar-li ordres a la màquina utilitzant un llenguatge simple. Per exemple: Prolog.
Programació d'intel·ligència artificial: són aquells programes que més s'acosten a la intel·ligència humana, ja que tenen la capacitat de desenvolupar coneixement. Aquest tipus de llenguatge treballa d'una manera molt semblant a la ment humana.