Lenguajes de Programacin

Lenguajes de Programacin

Consiste en todos los smbolos, caracteres y reglas

de uso que permiten a las personas "comunicarse"
con las computadoras.

Se crean para una aplicacin especial, mientras

que otros son herramientas de uso general ms
flexibles que son apropiadas para muchos tipos de
aplicaciones
 Lenguajes de Programacin.

Los lenguajes de programacin deben tener

instrucciones que pertenecen a las categoras ya
familiares de entrada/salida, clculo/manipulacin
de textos, lgica/comparacin y almacenamiento /
recuperacin.

Existe una marcada diferencia en los smbolos,

caracteres y sintaxis de los lenguajes de mquina,
lenguajes ensambladores y lenguajes de alto nivel.
 En qu consiste la programacin?

existe una marcada diferencia en los smbolos,

caracteres y sintaxis de los lenguajes de mquina,
lenguajes ensambladores y lenguajes de alto nivel.

Una computadora es totalmente intil si no dispone

de un programa capaz de procesar informacin.

Tratamiento correcto de la informacin, con lo que

se espera que un programa de el resultado correcto y
no uno errneo
 Qu pretende la Programacin?

Pretende que sus programas sean tiles y eficientes,

de muchas formas diferentes

La programacin nos dar el mismo resultado de un

programa, un buen programador llegara al mismo
resultado con un mnimo de cdigo y de la forma
ms clara y lgica posible, un cdigo claro y legible
facilita el mantenimiento de la aplicacin o sistema.
 Paradigmas de Programacin

Es una coleccin de patrones conceptuales que modelan

la forma de razonar sobre problemas, de formular
algoritmos, y a la larga, de estructurar programas.

Tipos de Paradigmas:

Paradigma Funcional
Paradigma Imperativo
Paradigma Orientado a objetos
Paradigma Ensamblador

Paradigma Lgico
Paradigmas de Programacin
 Paradigma Funcional

Tiene su base en el concepto de funcin

matemtica:
f: dominio rango
Para programar:
Se construyen funciones sencillas
Se construyen funciones ms complejas a partir de
las sencillas
Se evalan las funciones sobre los datos de entrada

Ejemplo: APL, ML, Lisp.

 Paradigma Funcional

Ejemplo: Mayor de tres nmeros en funcional

Definicin de funciones max y max1:

max(x,y) := if x > y then x else y

max1(x,y,z) := max(max(x,y),z)

NOTA: := en este caso significa se define como

 Paradigma Imperativo
Este paradigma viene bien representado por la
arquitectura Von Neuman (1903-1957), ya que utiliza
este modelo de mquina para conceptualizar las
soluciones: "Existe un programa en memoria que se va
ejecutando secuencialmente, y que toma unos datos de la
memoria, efecta unos clculos y el resultado se
almacena en alguna celda de memoria".

La memoria del computador permite tener

almacenado, en celdas numeradas consecutivamente,
tanto las operaciones como los datos a manipular.

Los datos se almacenan en variables.

 Paradigma Imperativo

Las operaciones a ejecutar se llaman instrucciones,

cuya realizacin se llama ejecucin.

La instruccin principal es la asignacin, la cual tiene el

siguiente formato:

< variable > < expresin >

La forma bsica de expresar un algoritmo consiste

en declarar variables, disear una secuencia de
asignaciones que transformen los valores
almacenados.
 Paradigma Orientado a Objetos

Es muy abstracto

Ya no se ve las variables como celdas de

memorias sino como objetos

Un objeto pertenece a cierta clase, que

define el conjunto de operaciones utilizables

Ejemplos: Smalltalk, C++, Object Pascal

 Paradigma Ensamblador

Los valores manipulados no son abstractos,

sino que se maneja su representacin binaria
en memoria

No se usan expresiones funcionales sino

zonas de almacenamiento intermedio, llamados
registros

Se hace operacin tras operacin

 Paradigma Lgico

Tiene su base en el concepto de predicado o

relacin
Un programa lgico est formado por
hechos y reglas

Para programar:
Se definen hechos (o predicados bsicos)
Se disean implicaciones para definir predicados
complejos
Se determina la veracidad de los predicados para
individuos concretos
Ejemplo: Prolog, nico en su clase
Gracias por su
atencin...!!