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.
0 comentarios:
Publicar un comentario