Programacion De Computadoras

Historia de la programación de computadoras

La programación es el proceso de diseñar, codificar, depurar y mantener el código fuente de programas computacionales, su propósito es crear programas que exhiban un comportamiento deseado.

Los programas suelen subdividirse en partes menores, llamadas módulos, de modo que la complejidad algorítmica de cada una de las partes sea menor que la del programa completo, lo cual ayuda al desarrollo del programa. Esta es una práctica muy utilizada y se conoce como "refino progresivo".

Según Niklaus Wirth, un programa está formado por los algoritmos y la estructura de datos.

Se han propuesto diversas técnicas de programación cuyo objetivo es mejorar tanto el proceso de creación de software como su mantenimiento. Entre ellas, se pueden mencionar las siguientes:

-programación declarativa

-programación estructurada

-programación modular

-programación orientada a objetos

Un programa normalmente implementa (traduce a un lenguaje de programación concreto) uno o más algoritmos.

Un algoritmo es una secuencia no ambigua, finita y ordenada de instrucciones que han de seguirse para resolver un problema, puede expresarse de distintas maneras: en forma gráfica, como un diagrama de flujo, en forma de código como en pseudocódigo o un lenguaje de programación, en forma explicativa, etc.

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, con tales lenguajes no es necesario escribir «ristras» de unos y ceros; se dispone de un medio expresivo con un nivel de abstracción mayor que permiten «decirle» a la máquina qué es lo que tiene que «hacer» de una forma más cercana a la forma humana; por lo tanto son una forma de representación del conocimiento.

Una representación de conocimiento 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 lenguaje de programación:

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

• 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ólicos, y no solamente

numé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 a otros más sencillos.

También se incluyó la posibilidad de definir funciones

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

McCarthy en la segunda mitad de los años 50.

• Lenguajes Lógicos

En los lenguajes lógicos se utiliza el formalismo de la lógica para representar el

conocimiento sobre un problema y para hacer preguntas que se vuelven teoremas si se

demuestra que se pueden deducir a partir del conocimiento dado en forma de axiomas y

de las reglas de deducción estipuladas. Así se encuentran soluciones a problemas

formulados como preguntas. Con base en la información expresada dentro de la lógica

de primer orden, se formulan las preguntas sobre el dominio del problema y el intérprete

del lenguaje lógico trata de encontrar la respuesta automáticamente. El conocimiento

sobre el problema se expresa en forma de predicados (axiomas) que establecen

relaciones sobre los símbolos que representan los datos del dominio del problema.

El PROLOG surgió a principio de los 70 y es el primer lenguaje lógico. Las

aplicaciones en la Inteligencia Artificial lo mantienen vivo y útil.

...