Programación

Programación

Lógica computacional

INTRODUCCIÓN
La Lógica Formal proporciona un medio para representar argumentos de una manera formal y rigurosa, estudia los fundamentos relacionados con su validez y los métodos para inferir proposiciones a partir de otras consideradas válidas.
Por su parte, la Lógica Computacional es una disciplina que estudia la aplicación de la Lógica Formal para larepresentación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez (completeness) de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software, es decir, especificación, diseño, construcción yverificación formal de programas.
La Lógica Computacional, sin embargo, no actúa de manera aislada. Para el establecimiento de fundamentos de las ciencias computacionales concurren conjuntamente con la Lógica Computacional, disciplinas como Teoría de la Computación y Análisis de Algoritmos; para el desarrollo de sistemas, la Lógica Computacional participa con la Ingeniería de Software para elestablecimiento de Métodos Formales de Especificación y Verificación de Programas, los cuales pueden ser usados para el desarrollo de sistemas críticos y/o concurrentes. Por otra parte la Lógica Computacional en conjunción con otras disciplinas permite la resolución eficiente de problemas complejos, así por ejemplo Métodos de Optimización Combinatoria y de Lógica Computacional mezclados adecuadamentecon métodos heurísticos de la Inteligencia Artificial ofrecen alternativas de solución a problemas computacionales muy dificiles que se les ha denominado NP completos.
La Lógica Computacional es muy amplia, por lo que no se puede cubrir plenamente en un solo semestre. Por esa razón, para este curso se ha hecho una selección de temas representativos de esta disciplina. Se presentan las técnicas yprincipios básicos y sus áreas de aplicación. El curso hace énfasis en la Lógica Proposicional y en la Lógica de Predicados, debido a que de esa manera es mas fácil presentar ejemplos y aplicaciones sobre ésas lógicas, lo cual no quita ni generalidad a los conceptos ni valor a las aplicaciones; por otro lado, el aprendizaje de esas Lógicas es necesario para el entendimiento posterior de LógicasNo-Clásicas; sin embargo se hace una presentación de la Lógica Modal y Temporal, con información suficiente como para que el alumno empiece a realizar aplicaciones donde el factor tiempo sea crucial. Se hace un análisis de la Lógica de Hoare y se explican sus axiomas a la luz del Cálculo de Secuentes de Gentzen. Esto nos permitirá explicar métodos de especificación y verificación formal. Se discutenla importancia de la Lógica de Hoare en sistemas distribuídos y concurrentes.
Debido a la amplitud de los temas, consideramos que es mas importante que el alumno aprenda a realizar investigación y a trabajar en equipo sobre aspectos de la Lógica Computacional y, a apreciar la importancia de la Lógica y de la Lógica Computacional, ya que de esa manera se habrá sembrado la semilla de aprendercontinuamente sobre está disciplina. Por otra parte el trabajo en equipo, no sólo facilita el aprendizaje, sino que además entrena al alumno a resolver los problemas como deben ser resueltos en esta sociedad: colaborativamente.

Definición del problema

La primera fase en la resolución de un problema por computadora es la definición o análisis del problema. En
donde lo más importante es queconozcamos exactamente lo que debe hacer el programa y "que se desea
obtener al final del proceso
Para poder definir con precisión el problema se requiere que las especificaciones de entrada y salida sean
descritas con detalle ya que esto es un requisito para lograr una solución eficaz; por lo que es conveniente
hacerse las siguientes preguntas:
1.− ¿Qué entradas se requieren? (Tipo Y Cantidad)...