-
Paradigma declarativo
Iniciado por Gottlob Frege
Los programas que lo integran describen los resultados esperados sin listar explícitamente los pasos a llevar a cabo para alcanzarlos. -
Paradigma funcional
Tiene sus raíces en el cálculo lambda, creado por Alonzo Church.
Los programas se componen de funciones, es decir, implementaciones de comportamiento que reciben un conjunto de datos de entrada y devuelven un valor de salida. -
Paradigma imperativo
Iniciado por el matemático Jhon Von Neumann.
Son secuencias de comandos que ordenan acciones a la computadora. -
Paradigma orientado a objetos
Basado en un lenguaje llamado Simula 67 creado por Krinsten Nygaard y Ole-Johan Dahl. El comportamiento del programa es llevado a cabo por objetos, entidades que representan elementos del problema a resolver y tienen atributos y comportamiento. -
Paradigma lógico
Iniciado por Robinson, Colmenaner y Kowalsky. El problema se modela con enunciados de lógica de primer orden.