Tarea #2 Unidad#2
Tarea #2 Unidad#2
Tarea #2 Unidad#2
PARADIGMAS DE PROGRAMACION El origen de la palabra paradigma entendida como un marco general en el que se desarrollan teoras cientficas se encuentra en el trabajo de 1962 del filsofo e historiador de la ciencia Thomas S. Kuhn, La estructura de las revoluciones cientficas. Esa palabra ha sido despus adoptada por el mundo de la computacin para definir un conjunto de ideas y principios comunes de grandes grupos de lenguajes de programacin. La definicin de la palabra paradigma ms cercana a lo que se quiere decir en la expresin paradigma de programacin es la siguiente: "Un marco filosfico y terico de una escuela o disciplina cientfica en el que se formulan teoras, leyes y generalizaciones y los experimentos realizados en soporte de ellas." Un paradigma define un conjunto de reglas, patrones y estilos de programacin que son usados por los lenguajes de programacin que usan ese paradigma. Podemos distinguir cuatro grandes paradigmas de programacin: Paradigma funcional Paradigma lgico Paradigma imperativo o procedural Paradigma orientado a objetos.
de funciones matemticas.
El objetivo es conseguir lenguajes expresivos y matemticamente elegantes, en los que no sea necesario bajar al nivel de la mquina para describir el proceso llevado a cabo por el programa, y evitando el concepto de estado del cmputo. La secuencia de computaciones llevadas a cabo por el programa se regira nica y exclusivamente por la reescritura de definiciones ms amplias a otras cada vez ms concretas y definidas, usando lo que se denominan definiciones dirigidas.
Paradigma lgico. Consiste en la aplicacin del corpus de conocimiento sobre lgica para el diseo de lenguajes de programacin; no debe confundirse con la disciplina de la lgica computacional. La programacin lgica comprende dos paradigmas funcional. de La programacin: programacin
la programacin
declarativa y
la programacin
declarativa gira en torno al concepto de predicado, o relacin entre elementos. La programacin funcional se basa en el concepto de funcin (que no es ms que una evolucin de los predicados), de corte ms matemtico.
programacin que describe la programacin en trminos del estado del programa y sentencias que cambian dicho estado. Los programas imperativos son un conjunto de instrucciones que le indican al computador cmo realizar una tarea. La implementacin de hardware de la mayora de computadores es imperativa; prcticamente todo el hardware de los computadores est diseado para ejecutar cdigo de mquina, que es nativo al computador, escrito en una forma imperativa. Esto se debe a que el hardware de los computadores implementa el paradigma de las Mquinas de Turing. Desde esta perspectiva de bajo nivel, el estilo del programa est definido por los contenidos de la memoria, y las sentencias son instrucciones en el lenguaje de mquina nativo del computador (por ejemplo el lenguaje ensamblador).
Paradigma orientado a objetos. La Programacin Orientada a Objetos (POO u OOP segn sus siglas en ingls) es un paradigma de programacin que usa objetos y sus interacciones para disear aplicaciones y programas de computadora. Est basado en varias tcnicas, incluyendo herencia, modularidad, polimorfismo y encapsulamiento. Su uso se populariz a principios de la dcada de 1990. Actualmente son muchos los lenguajes de programacin que soportan la orientacin a objetos. El paradigma Orientado a objetos es el ms usado hoy en da donde existen ms lenguajes de programacin que en funcin con otros paradigmas forman funciones para lograr una excelente combinacin de funciones la cual ayuda hoy en da a muchos programadores a lograr fcilmente sus objetivos espero que sirva esta informacin para saber dnde estn parados y elegir un buen lenguaje pronto ms detalles sobre la programacin orientada a objetos
BIBLIOGRAFIA: http://javierleal.wordpress.com/2009/08/27/paradigmas-de-programacion/ Encyclopedia of Computer Science (Wiley, 2000). Disponible en la biblioteca politcnica (POE R0/E/I/ENC/RAL). Consultar las entradas: Control structures Lisp Programming Program Programming languages