Aplicaciones

APLICACIÓN

CIRCUITOS COMPUTACIONALES:

El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema.

Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.

PROGRAMACIÓN LÓGICA:

Toda persona que pretenda construir un programa que dé solución a determinada problemática, se enfrenta a dos grandes tareas:

1.                  El “QUÉ”: acciones a realizar para poder resolver el problema. Esta tarea forma parte del trabajo de mesa previo a toda actividad de programación.

2.                  El “CÓMO”: instrucciones de las que se va a valer para escribir el código que realice las acciones determinadas en el QUÉ, las cuales están determinadas por el lenguaje de programación seleccionado.

Muchas personas confunden la Programación con la Lógica de Programación, la primera involucra el conocimiento de técnicas e instrucciones de un determinado lenguaje a través de los cuales se hace sencillo lograr que la computadora obtenga unos resultados mucho más rápidos que una persona. La segunda involucra, de una manera técnica y organizada, los conceptos que permiten diseñar en términos generales, la solución a problemas que pueden llegar a ser implementados a través de una computadora. 

El estudio de la Lógica de Programación no exige ningún conocimiento previo de computadora ni de tecnología en general, tampoco exige la presencia de algún lenguaje de programación específico aunque no puede negarse que éste podría permitir, solo después que se manejen bien los conceptos de lógica de programación, implementar y ver convertida en realidad las soluciones lógicas a sus objetivos.

LA LOGICA FORMAL:

Los lenguajes formales se utilizan en el razonamiento de programas, lo mismo que el cálculo proposicional. En la lógica de programación se crea un lenguaje -seudocódigo- con el que se expresa ciertas propiedades de los programas, como corrección, equivalencia de programas o el teorema de finitud.

LA ESPECIFICACIÓN FORMAL: 

Es una de las aplicaciones más importantes de la lógica de predicados, y que se utiliza para describir los requisitos que el usuario necesita que realice el programa. Es un una aplicación de la lógica computacional utilizada en el desarrollo de software crítico, de tal manera que los componentes del sistema especificados formalmente, pueden verificarse y validarse matemáticamente, lo que incrementa la confiabilidad y calidad del sistema completo. Lenguajes de especificación formal como Z o VDM se basan en estos principios. La especificación formal. Es una de las aplicaciones más importantes de la lógica de predicados, y que se utiliza para describir los requisitos que el usuario necesita que realice el programa. Es un una aplicación de la lógica computacional utilizada en el desarrollo de software crítico, de tal manera que los componentes del sistema especificados formalmente, pueden verificarse y validarse matemáticamente, lo que incrementa la confiabilidad y calidad del sistema completo. Lenguajes de especificación formal como Z o VDM se basan en estos principios.