lOMoARcPSD|9055716

Logica computacional unidad III

Recep Y Pre-Tratam De La Leche (Universidad Autónoma de Santo Domingo)

StuDocu is not sponsored or endorsed by any college or university

Downloaded by Samuel Melo Mercedes (202102590@p.uapa.edu.do)
 lOMoARcPSD|9055716

Universidad Abierta Para Adultos

UAPA

Tema:

Importancia de la lógica computacional

Asignatura:

Lógica Computacional

Participante:

Juan Omar Mejia Valerio

Matricula:

202003258

Facilitador:
Juan Francisco Azcona Reyes

Fecha:
13 de mayo 2020

Downloaded by Samuel Melo Mercedes (202102590@p.uapa.edu.do)

 lOMoARcPSD|9055716

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.

Downloaded by Samuel Melo Mercedes (202102590@p.uapa.edu.do)

 lOMoARcPSD|9055716

2. Crear: - Mapa conceptual, - cuadro comparativo, - esquema, -

mapa mental, que contenga: Resumen acerca de las
proposiciones compuestas.

Downloaded by Samuel Melo Mercedes (202102590@p.uapa.edu.do)