UNIDAD 1: LENGUAJES DE PROGRAMACIN Y

TEORA DE LENGUAJES

SESIN 2: PARADIGMAS DE LOS LENGUAJES DE PROGRAMACION

 REFLEXIONA:

Qu son Los Paradigmas de

Programacin?

Cul es su importancia en el
contexto computacional?
LOGRO DE LA SESIN

Al trmino de la sesin el estudiante conocer una breve descripcin

de Los Paradigmas de los Lenguajes de Programacin. Tambin
analizar la descripcin de dichos paradigmas y clasificar los
lenguajes de programacin actuales bajo su contexto al cual pertenece

Temario:
1. Paradigmas de los Lenguajes de Programacin
2. Clasificacin de los lenguajes de programacin
3. Caractersticas nicas y multiples de los lenguajes de Programacin
PARADIGMA DE PROGRAMACIN

Un paradigma de programacin es un estilo de programacin que provee y

determina la visin que el programador tiene acerca de la ejecucin del programa.

De acuerdo al paradigma escogido para la resolucin de un problema computacional

variar el modelo que seguir el programador para resolver el problema.
PARADIGMAS DE PROGRAMACIN

Existen diversos paradigmas de programacin que han surgido durante la evolucin

de la tecnologa de los sistemas computacionales y de los lenguajes de
programacin, dentro de las principales se puede clasificar:

Un paradigma de programacin est sujeto en el tiempo por el uso y aceptacin, por

el surgimiento de nuevos paradigmas que aportan nuevas y mejores soluciones
PARADIGMA DE PROGRAMACION EN LENGUAJES

Un paradigma de programacin puede ser usado en diversos lenguajes de

programacin, el cual puede permitir el uso de uno o ms paradigmas
simultaneamente.
PARADIGMA IMPERATIVO

Un programa es una secuencia finita de instrucciones, las cuales se ejecutan una

tras otra.
Los datos utilizados se almacenan en memoria principal y se referencian utilizando
variables, para luego ser convertidos en resultados.
Asociados al paradigma imperativo se encuentran los paradigmas procedural,
modular, y la programacin estructurada.

Lenguajes que utilizan este tipo de programacin:

Pascal leer(x)
Ada leer(y)
Cobol resultado = x + y
C escribir (resultado)
Modula-2
Fortran
Tambin lo implementan Java, C++, C#, Eiffel, Python,
PARADIGMA DECLARATIVO

Describe que se debe clcular, sin explicar el cmo.

No existe un orden de evaluacin prefijado.
Las variables son nombres asociados a definiciones, y una vez instanciadas son
inmutables.
No existe sentencia de asignacin.
Existen distintos grados de pureza en las variantes del paradigma.
Las principales variantes son los paradigmas funcional, lgico, la programacin
reactiva en los lenguajes descriptivos
DIFERENCIA ENTRE IMPERATIVO Y DECLARATIVO

En la programacin imperativa se describe paso a paso un conjunto de instrucciones

que deben ejecutarse para variar el estado del programa y hallar la solucin, es
decir, un algoritmo en el que se describen los pasos necesarios para solucionar
el problema.

En la programacin declarativa las sentencias que se utilizan lo que hacen es

describir el problema que se quiere solucionar, pero no las instrucciones
necesarias para solucionarlo. Esto ltimo se realizar mediante mecanismos internos
de inferencia de informacin a partir de la descripcin realizada.
PROGRAMACIN FUNCIONAL

El programa se encuentra dividido en varios bloques llamados funciones o

procedimientos.

Cada procedimiento o funcin puede ser llamado varias veces desde diversos puntos
del programa.

Permite disminuir la complejidad de la programacin.

predecesor(x) = x - 1, si x>0
LISP sucesor(x) = x + 1
suma(x, 0) = x
Scala suma(x, y) = sucesor(suma(x, predecesor(y)))

Scheme ?- suma(3, 2)

Phyton
Ruby
PROGRAMACIN LOGICA

En este paradigma un programa consiste en declarar:

Hechos (elementos conocidos, relacin de objetos concretos)

Reglas (relacin general entre objetos que cumplen unas propiedades) y luego
presentan un resultado

Usado principalmente en el medio de la investigacin y la Inteligencia Artificial.

El lenguaje ms conocido en donde ms se aplica este paradigma de programacin

es Prolog
PROGRAMACIN LOGICA
PROGRAMACIN REACTIVA (DATAFLOW)

Basado en la teora de grafos.

Un programa consiste en la especificacin del flujo de datos entre operaciones.

Las variables se encuentran ligadas a las operaciones que proporcionan sus valores.
Un cambio de valor de una variable se propaga a todas las operaciones que participa

Las hojas de clculo se basan en este modelo.

Lenguajes representativos: Simulink, Oz, Clojure

A : = 10
B : = A + 1
print B 11
A := 3
print B 4
PROGRAMACIN ORIENTADA A OBJETOS

Es un intento de realizar una abstraccin del mundo real, en el cual se identifican

identidades (clases) e instancias de estas entidades (objetos) que interactuan con
otros.

El paradigma orientado a objetos (OO) se refiere a un estilo de programacin.

Un lenguaje de programacin orientado a objetos (LOO) puede ser tanto imperativo,

funcional o lgico.

Los objetos son entidades que tienen un determinado estado, comportamiento

(mtodo) e identidad.

Los lenguajes utilizados para la POO

C++, Java, C#, PHP, Python, Ruby, Smalltalk, Visual Basic.Net, Power Builder
PARADIGMAS
Preguntas o
Comentarios?