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...!!