Act Metacognicion Tic

Historia de la Programación

Gottfried Wilheml von Leibniz (1646-1716),

Charles Babbage (1793-1871). Con la colaboración de la hija de Lord Byron, Lady Ada Countess of Lovelace (1815-1852), realmente influyó en el diseño de los primeros computadores.

Más tarde diseñó la "máquina analitica" de propósito general, capaz de resolver cualquier operación matemática. Murió sin poder terminarla, debido al escepticismo de sus patrocinadores y a que la tecnología de la época no era lo suficientemente avanzada. Un equipo del Museo de las Ciencias de Londres, en 1991, consiguió construir la máquina analítica de Babbage, totalmente funcional, siguiendo sus dibujos y especificaciones.

La computadora fue inventada para facilitar el trabajo intelectual. Si el hombre tiene

algún problema, el diseñador define el algoritmo que resuelve el problema, el

programador lo codifica en un lenguaje de programación, el cual la computadora es capaz de "entender", luego la computadora ejecuta el algoritmo expresado como

programa en el lenguaje de programación en cuestión, y entrega al hombre la respuesta.

Los lenguajes de programación son el medio de comunicación entre el hombre y la

máquina, por lo tanto son una forma de representación del conocimiento.

Representación de conocimiento

Representación del conocimiento es escribir en un lenguaje descripciones del mundo.

Una de las ambiciones es poder llegar a representar el “sentido común”.

En general una representación debe:

• Ser capaz de expresar el conocimiento que deseamos expresar.

• Tener capacidad para resolver problemas.

• Dar simplicidad para acceder al conocimiento y facilidad de entendimiento.

Por lo tanto un lenguaje de representación tiene que ser expresivo, conciso, no ambiguo,

y efectivo, pues es el que determina todas las características previas.

Tipos de lenguajes de programación

Los tipos más importantes de lenguajes de programación son:

• Lenguajes Imperativos

Su origen es la propia arquitectura de von Neumann, que consta de una secuencia de

celdas (memoria) en las cuales se pueden guardar datos e instrucciones, y de un

procesador capaz de ejecutar de manera secuencial una serie de operaciones (ó

comandos) principalmente aritméticas y booleanas. En general, un lenguaje imperativo

ofrece al programador conceptos que se traducen de forma natural al modelo de la

máquina.

Ejemplos: FORTRAN, Algol, Pascal, C, Modula-2, Ada.

El programador tiene que traducir la solución abstracta del problema a términos muy

primitivos, cercanos a la máquina, por lo que los programas son más "comprensibles"

para la máquina que para el hombre. Esto es una desventaja para nosotros que hace que

sea sumamente complicado construir código en lenguaje imperativo. Lo bueno de este

lenguaje es que es tan cercano al lenguaje de la máquina que la eficiencia en la

ejecución es altísima.

• Lenguajes Funcionales

Los matemáticos resuelven problemas usando el concepto de función, que convierte

datos en resultados. Sabiendo cómo evaluar una función, usando la computadora,

podríamos resolver automáticamente muchos problemas. Este fue el pensamiento que

llevó a la creación de los lenguajes de programación funcionales. Además se aprovechó

la posibilidad que tienen las funciones para manipular datos simbólicnuméricos, y la propiedad de las funciones que les permite componer, creando de esta

manera, la oportunidad para resolver problemas complejos a partir de las soluciones aotros más sencillos. También se incluyó la posibilidad de definir funciones

recursivamente.

Un lenguaje funcional ofrece conceptos que son muy entendibles y relativamente fáciles

de manejar. El lenguaje funcional más antiguo y popular es LISP, diseñado

...