Universidad Abierta Para Adultos

UAPA

Tema:

Importancia de la lógica computacional

Asignatura:

Lógica Computacional

Participante:

Frankelin Antonio sosa viñas

Matricula:

2020-03247

Facilitador:
Juan Francisco Azcona Reyes

Fecha:
13/8/2020

1
1. Hacer un resumen o ensayo corto acerca de la
importancia de Lógica Computacional.

Importancia de la lógica computacional

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 sistemas 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 unos trabajos
ímprobos.

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.

2
2. Crear: - Mapa conceptual, - cuadro comparativo, - esquema, -
mapa mental, que contenga: Resumen acerca de las
proposiciones compuestas.