• Author / Uploaded
• Rommy Flores

Citation preview

Universidad Abierta Para Adultos

ESCUELA: Ingeniera y tecnología ASIGNATURA: Lógica Computacional FACILITADOR: Juan Francisco Azcona Reyes PARTICIPANTE: Rommy Miguel Flores Méndez MATRICULA: 202002981 TEMA: Unidad III FECHA: 13/8/20

Hacer un resumen o ensayo cortó acerca de la importancia de Lógica Computacional. 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, - cuadro comparativo, - esquema, mapa mental, que contenga: Resumen acerca de las proposiciones compuestas. Mapa conceptual

Preposiciones

Característica Locuciones adverbiales

Clases Nexos Enlazan palabras/sintagmas

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

Acerca de, encima de, junto a, debajo de, de acuerdo con…

Cuadro comparativo Proposiciones Es cualquier agrupación de palabras o símbolos que en un momento dado se puede afirmar.

Preposiciones Compuestas Preposiciones Simples O también llamadas proposiciones atómicas que son aquellas que no se pueden dividir.

También llamadas moleculares y son aquellas que están formadas por 2 o más preposiciones simples Eje: Fui al banco, pero estaba cerrado