Paradigmas de

programacin
Caractersticas de los
paradigmas de
programacin

Ricardo Omar Lugo Vargas

Grupo: 82T
Programacin Lgica y funcional
 Paradigma de programacin
Es un modelo bsico de diseo e implementacin de
programas.
Provee (y determina) la visin y mtodos de un
programador en la construccin de un programa o
subprograma.

Diferentes paradigmas resultan en diferentes estilos de

programacin y en diferentes formas de pensar la solucin
de problemas
 Paradigma Imperativo
Describe la programacin como una secuencia instrucciones
o comandos que cambian el estado de un programa. El
cdigo mquina en general est basado en el paradigma
imperativo.

Se basa en variables que cambian de estado

A=5;B=6 C = (5) + (6)

C = A+ B C = 11
 Paradigma Declarativo
Se enfoca en describir las propiedades de la solucin
buscada, dejando indeterminado el algoritmo (conjunto
de instrucciones) usado para encontrar esa solucin.
 Paradigma Estructurado
La programacin se divide en bloques (procedimientos
y funciones) que pueden o no comunicarse entre s.
Adems la programacin se controla con secuencia,
seleccin e iteracin.
 Paradigma Orientado a Objetos
Est basado en la idea de encapsular estado y
operaciones en objetos. En general, la programacin se
resuelve comunicando dichos objetos a travs de
mensajes.
 Paradigma Funcional
La Programacin Funcional es la que emplea un
lenguaje matemticamente elegante, empleando
principalmente funciones aritmticas y pertenece
tambin al grupo de lenguajes declarativos; algunos
ejemplos son Haskell, Miranda y Scheme.
 Paradigma Lgico
Se basa en la definicin de reglas lgicas para luego, a
travs de un motor de inferencias lgicas, responder
preguntas planteadas al sistema y as resolver los
problemas
Paradigma Funcin Caractersticas Lenguaje Tcnicas de
de programacin
ejemplo
Imperativo Describe cmo Comandos e FORTRAN Celda de
debe realizarse el instrucciones BASIC memoria
clculo, no el Orientados a la COBOL variable
1950 porqu, describen utilizacin por PASCAL Operaciones
sentencias que programadores C de
modifican el profesionales asignacin
Von estado de un Requiere Operaciones
Neumann programa especificacin sobre de repeticin
como ejecutar una
tarea
Lenguaje creado
originalmente para
operacin por lotes
Difcil de depurar
Declarativ Describe la lgica semntica ms sencilla Haskell
o de computacin control automtico ML
necesaria para menor tamao del Prolog
1973 resolver un cdigo SQL
problema sin mejor mantenimiento QML
describir un flujo
Robert de control
Pasero y
Estructurado Bloques que pueden Programas fciles DevC++ Secuencia
comunicarse o no de entender Borland Seleccin (If y
entre s. Reduccin del Switch)
1960 esfuerzo en Iteracin
pruebas (Bucles For y
Bohm y Programas While)
Jacopini sencillos y rpidos.

Orientado a Objetos se agrupan en Es una evolucin de C++ Clases

objetos clases, clases de la programacin Java Herencia
agrupan en jerarquas estructurada Visual Basic
Sus lenguajes .Net
1970 soportan la unin
entre tipos
Ole-Johan abstractos
Dahl y Kristen Incorpora el
Nygaard polimorfismo y el
envi de mensajes
entre objetos
Funcion Basado en los Definicin de LISP Recursin
al modelos de funciones Hask Funciones
cmputo Los lenguajes ell como tipos
clculo funcionales son Hugs de datos
lambda (Lisp, versiones de primitivos
1930 Scheme) y lambda, calculo con Uso de
lgica numerosas ayudas listas
combinatoria sintcticas.
Alonso (familia ML, El Lambda calculo y
Curch Haskell) sus fundamentos
son la base para
toda la teora de la
programacin
funcional y de los
lenguajes
funcionales
Lgico Basado en la Constantes
lgica de individuales
predicados de Smbolos de
primer orden predicado
Enunciados
atmicos
echo Gracias por su atencin";