White paper: Paradigma lógico

Enviado por Ramiro Andrés Gómez

Resúmen

Cuando hablamos de programación nos vienen a la mente
casi de manera automática los algoritmos. Y los pensamos
como una serie de pasos que se ejecutan secuencialmente paso por
paso. En sí, eso es un algoritmo.

Pero hacer un algoritmo para un lenguaje estructurado, ya sea
imperativo u orientado a objetos, es un proceso sumamente
artesanal en el que nos debemos valer de nuestra inteligencia y
razonamiento para comprobar que sus pasos producen los resultados
que nosotros deseamos.

En este proceso artesanal son muy comunes los errores. Tanto
lógicos, léxicos, o sintácticos (errores en
el uso de las estructuras sintácticas del lenguaje de
programación).

La probabilidad de tener errores lógicos aumenta al
manipularestructuras de datos complejas, como árboles,
grafos, etc. Y es ahí donde nos podemos valer de la
estrategia llamada “divide y vencerás”. Esta
se centra principalmente en dividir un problema grande y complejo
en subproblemas pequeños y simples, de modo que la
combinación de estos últimos sea equivalente a la
primera.

Sin embargo, muy próximo a la invención de las
computadoras, surgió una idea totalmente distinta acerca
de la manera de resolver problemas. La idea consistía en
no detallar los pasos exactos que se debían seguir para
obtener una solución. En vez de ello, sólo se
especifican como deben ser las características de la
solución y el lenguaje se encarg obtenerla utilizando
distintos métodos.

 Ver trabajo completo (PDF)

Enviado por Ramiro Andrés Gómez