Importancia de la

lógica computacional
Publicado el 20 marzo, 2016 por castrodev
En el área de la ingeniería, existe un conjunto de procesos de vital importancia, en los
cuales la lógica computacional brinda la capacidad de razonamiento necesario para
resolver cualquier problema mediante los siguientes pasos: diseñar, desarrollar y
sostenimiento del software.
La lógica computacional cubre todos los tipos de aplicaciones de la lógica en la
informática, sin embargo, esta se centra en la definición: Algoritmo = Lógica + Control.
Los algoritmos tratan la descripción de un problema y la estrategia para llevar a cabo las
computaciones utilizadas en su descripción. La lógica computacional se dedica a
concentrarse en la descripción de un problema y no invertir ningún tiempo en el
mecanismo de computación necesario.

Se ha observado que la lógica computacional juega también un papel crucial en la

comprensión de los problemas clave del software. La aparición de la lógica y de la
programación con restricciones a supuestos un gran triunfo de los lenguajes de
programación declarativos en los sistema expertos, el procesamiento de lenguaje natural
en sistemas expertos, planificación, entre otros. En el mundo actual de comunicaciones
inalámbricas y redes de telefonía móvil, los protocolos de sistemas distribuidos
configuran un aspecto importante en el diseño de sistemas. Eliminar los cómputos
innecesarios y redundantes de esos protocolos y verificarlos adecuadamente es
habitualmente un trabajos ímprobo.
Finalmente, la lógica computacional incluye el diseño de máquinas reales y abstractas
para los lenguajes de programación declarativos y para la construcción de sistemas de
deducción y probadores automáticos de teoremas. Puesto que la búsqueda es el
mecanismo fundamental en Lógica Computacional, el desarrollo de estrategias de
control y de heurística es un tema prioritario. 
Es por ello que la importancia de la lógica computacional  es de gran magnitud y gracias
a la misma, desde tiempos antiguos, podemos dar solución a gran cantidad de
problemas.  

Aplicación de la
lógica computacional
Publicado el 20 marzo, 2016 por castrodev
La lógica computacional se aplica en tres áreas principales:
Circuitos computacionales
El nivel menos abstracto, dentro de una computadora está constituido por circuitos
electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la
lógica booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las
entradas que se le dan al sistema. Existen varias compuertas lógicas básicas con las
cuales se pueden formar sistemas muy complejos, estas son algunas: AND, OR,
Inverter, Buffer, NAND, NOR, XOR y XNOR.

Algoritmos
En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo es
un conjunto prescrito de instrucciones o reglas bien definidas, ordenadas y finitas que
permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien
deba realizar dicha actividad.
Diagrama de flujo que expresa un algoritmo para calcular la raíz cuadrada de un número
x:
 Programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre
lógica para el diseño de lenguajes de programación; La programación lógica es un tipo
de paradigmas de programación dentro del paradigma de programación declarativa. El
resto de los subparadigmas de programación dentro de la programación declarativa son:
programación funcional, programación basada en restricciones, programas DSL (de
dominio específico) e híbridos.
Prolog es un lenguaje de programación lógica que cuenta con operadores para la
unificación y comparación, sea con evaluación o sea simbólica, como los siguientes:
X is Y %unificación con evaluación.
X = Y  %unificación simbólica
X=:=Y  %comparación con evaluación
X == Y %comparación simbólica.
?- X is 3+5.
X=8
?- X = 3+5.
X = 3+5
?- 3+5 =:= 2+6.
yes
?- 3+5 == 2+6.
no
?- 3+5 == 3+5.
yes
Es debido a su aplicación por lo que la lógica computacional tiene una gran importancia
en las áreas de las ciencias de la computación y la ingeniería, la cual se explica a
continuación:

Lógica Computacional
Publicado el 20 marzo, 2016 por castrodev
La lógica computacional tiene como área de experticia el contexto de las ciencias de la
computación. Es una herramienta fundamental para el progreso de las ciencias
computacionales, es la base para elaborar soluciones informáticas a través de desarrollos
científicos, así como el hardware y el software. Su uso es fundamental en circuitos
computacionales, en la programación lógica y en el análisis y optimización de
algoritmos.

El razonamiento lógico es clave de éxito para las personas que se ocupan en el área de
la ingeniería e incluso en la vida personal, pues la habilidad de analizar, buscar
posibilidades, demostrar o refutar afirmaciones diversas, permite mejorar aquellos que
intervienen en la interacción de esta búsqueda, por consiguiente, un profesional con
mejores aptitudes y actitudes podrá intervenir en una sociedad de la información actual,
utilizando el raciocinio y la capacidad de análisis para solucionar problemas  complejos.
Conceptos relacionados con la lógica computacional:
Matemática Discreta: A través de la aritmética entera y modular, la combinatoria, los
grafos y la teoría de conjuntos. Los sistemas de razonamiento de la lógica
computacional son la base para las demostraciones en estructuras discretas, además los
lenguajes normalizados y grafos participan conjuntamente en el estudio de los
problemas; mientras que el concepto de conjuntos están estrechamente relacionados con
el aprendizaje del lenguaje de la lógica de primer orden.
Lógica de programación: A través de la algoritmia, las estructuras de programación y
el análisis estructurado de problemas. La lógica computacional es la base para
comprender, analizar y proponer soluciones a los problemas de la lógica de
programación.
Ingeniería de software: A través de abstracción de problemas, representación gráfica de
modelos, iteraciones e interacciones. El ciclo de vida del software que se aplica en la
ingeniería de software requiere de la lógica computacional para que la ingeniería de
requisitos y las pruebas del software se integren desde el comienzo mismo de la
interacción con los usuarios.
La lógica computacional aplica sus teorías campos de las ciencias computacionales:
El diseño del hardware: Para diseñar computadores digitales y los que funcionan con
circuitos integrados VLSI, se utiliza lógica computacional. La lógica de Hoare en los
primeros y la lógica de orden superior en los segundos, y para ambos la base es el
cálculo proposicional.
Los lenguajes de programación: La lógica como lenguaje se orienta más a las personas
que otros lenguajes de programación clásicos, por lo que se convirtió en la base
fundamental para la aparición de la nueva generación de lenguajes de programación.
Este paradigma de programación, conocido como programación lógica, por sí solo
justifica la inclusión de la lógica en los programas de informática. Los lenguajes
funcionales como LISP se inspiran en el cálculo lamba de Church, y los lógicos como
PROLOG3 en el teorema de Herbrand y en el principio de Resolución de Robinson,
conceptos que hacen parte de la demostración automática de teoremas y utilizados en
las investigaciones para demostrar automáticamente teoremas y sistemas de
razonamiento.
La lógica 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 la propiedad 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.
Una vez definida la lógica computacional, se puede estudiar su aplicación en las
ciencias computacionales: