Se sugiere:

Hacer un resumen o ensayo corto acerca de la importancia de Lógica Computacional y sus

orígenes.

Puede elegir entre los siguientes recursos:

Mapa conceptual.

Cuadro comparativo.

Esquema.

Mapa mental.

que contenga informaciones acerca de las proposiciones compuestas.

Nota: Subir en un documento de Word.

La importancia de Lógica Computacional y sus orígenes.
La importancia de Lógica Computacional, hoy en día, la lógica es
extensamente aplicada en los campos de inteligencia artificial y de
ciencias de computación, y estos campos proporcionan una rica
fuente de problemas en la lógica formal e informal. La teoría de la
argumentación es un buen ejemplo de cómo la lógica está siendo
aplicada a la inteligencia artificial. El sistema de clasificación
computacional ACM, en particular, considera:
La lógica computacional brinda la capacidad de razonamiento
necesario para resolver cualquier problema mediante los siguientes
pasos: diseñar, desarrollar y sostenimiento 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 más
Control.
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
en 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.
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.