Licenciatura en Informática Gerencial

ASIGNATURA:

Lógica Computacional

FACILITADOR:

Gregorio De la Rosa

PARTICIPANTE:

Miguel Ángel Acosta Hilario

MATRICULA:

100064236

TEMA:

Unidad III

FECHA:

10/8/23
 Hacer un resumen o ensayo cortó acerca de la importancia de Lógica
Computacional.

La lógica computacional es la misma lógica matemática aplicada al contexto de

las ciencias de la computación. Su uso es fundamental a varios niveles: en los
circuitos computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.

La lógica es una ciencia formal que estudia la forma del racionamiento es

aquella que determina si un argumento es o no valido esta ciencia se aplica en
varios campos como la filosofía, las matemáticas, la física y la computación
entre otras en las lecturas podemos apreciar varios referentes desde una
mirada artística, científica, filosófica. La lógica es algo que nos acompaña en
nuestro diario vivir ya que cualquier trabajo que se realiza tiene un
procedimiento lógico. La lógica ha estado ligada a la evolución intelectual del
ser humano ya que su historia comienza desde el momento en que el hombre
debe de enfrentar la naturaleza y para esto es necesario inferir, deducir y
razonar con el ánimo de entenderla para poder sobrevivir.
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 por lo 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.
 Crear: - Mapa conceptual acerca de las
proposiciones compuestas.

Mapa conceptual

Preposiciones

Característica

Locuciones adverbiales
Clases
Nexos

Enlazan
palabras/sintagmas

Acerca de, encima de, junto

a, debajo de, de acuerdo
A, ante, bajo, con, contra, de, desde, con…
durante, en, entre, hacia, hasta,
mediante, para, par, según, sin sobre,
tras.