UNIVERSIDAD ABIERTA PARA ADULTOS

NOMBRE:

Gilberto Miguel Paniagua Cuello

MATRICULA:

2020-01615

TEMA:

Importancia de la lógica computacional

ASIGNATURA:

Lógica Computacional

FACILITADOR/A:

Gregorio De La Rosa

FECHA:

26-Abril-2020
La 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 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 trabajo intenso.

Existen conectores u operadores lógicos

que permiten formar proposicionales
“compuestas”. Se dice que una proposición
Proposiciones compuestas
es compuesta cuando está agrada por dos
o más proposiciones simples conectadas
por medio de operadores lógicos.