Nombre del participante

Carlos Luis Gil

Materia

Lógica Computacional FGI-103

Matricula

100023115

Facilitador
Henrry Candelario

Sección
N09

Fecha de entrega
15 feb. 2024
Importancia de la lógica computacional
En el campo de la ingeniería, existe un conjunto de procesos sumamente
importante, donde la lógica computacional proporciona el poder de razonamiento
necesario para resolver cualquier problema a través de las siguientes etapas:
diseño: diseño, desarrollo de software y mantenimiento.

La lógica computacional cubre todo tipo de aplicaciones de la lógica en

computación, sin embargo, se enfoca en la definición: Algoritmo = Lógica Control.

El algoritmo se ocupa de la descripción de un problema y la estrategia para

realizar los cálculos se utiliza en su descripción. La lógica computacional se dedica
a centrarse en describir un problema y no dedica tiempo al mecanismo
computacional necesario. Se ha observado que la lógica de la computadora
también juega un papel importante en la comprensión de problemas importantes
de software.

El surgimiento de la lógica y la programación con limitaciones en supuestos fue un

gran éxito del lenguaje de programación declarativo en sistemas expertos, el
procesamiento del lenguaje natural en sistemas expertos, la planificación, entre
otros lenguajes.

En el mundo actual de comunicaciones inalámbricas y redes celulares, los

protocolos de sistemas distribuidos son un aspecto importante del diseño del
sistema. La eliminación de cálculos redundantes e innecesarios de estos
protocolos y su verificación adecuada suele ser un trabajo tedioso. Finalmente, la
lógica computacional cubre el diseño de máquinas reales y máquinas abstractas
para lenguajes de programación declarativos y para construir sistemas de
inferencia y detectores automáticos de teoremas. Dado que la búsqueda es el
mecanismo fundamental de la lógica computacional, el desarrollo de estrategias
de control y heurísticas es un tema prioritario.

Es por esto que la importancia de la lógica computacional es tan grande y gracias

a ella desde la antigüedad hemos podido resolver un gran número de problemas.