Lógica computacional

La lógica es la capacidad de pensar en soluciones alternativas. Se remonta a la época de Aristóteles en la que desarrolló reglas para establecer un razonamiento encadenado. 

La lógica es una rama del conocimiento que nos permite determinar que algo está aprobado por la razón como bien deducido o bien pensado. En pocas palabras en la forma más obvia y más fácil de hacer algo.

La lógica es muy importante, ya que determina la manera en que se puede resolver un problema. Es un nivel de abstracción sin el cual no es posible estructurar los pasos que generen lo que esperamos obtener.

La computadora trabaja con una lógica especial, exacta y matemática. 

Aunque tal vez no te hayas dado cuenta, todas las acciones que realizas en la computadora están haciendo uso de esta lógica en la forma de procedimientos o secuencias de pasos que hay que realizar para lograr lo que se quiere.

Lógica computacional

Conteste las siguientes preguntas inserte imágenes, fotos, video clip o  videos

1. ¿De qué se trata la lógica?
2. ¿Por qué lógica computacional?
3. ¿De qué se trata la lógica?
4. Haga una breve reseña de lógica clásica
5. Haga una breve reseña de lógica moderna
6. Para que asignaturas constituye la lógica computacional, cómo una herramienta de razonamiento formal.
7. ¿Qué es inteligencia artificial?
8. ¿Qué son los métodos formales?
9. ¿Qué entiende lógica matemática?
10. ¿Qué entiende lógica temporal?
11. ¿Qué entiende por gramática formal?
12. ¿Qué entiende por lógica descriptiva?
13. ¿Qué entiende aporto George Boole a la lógica computacional?
14. ¿Qué entiende por teoría de la computación?
15. ¿Qué entiende por función booleana regular?
16. qué relación hay entre la lógica computacional y la inteligencia artificial
17. Visitar el link    http://juegosdelogica.net/

Bibliografía

Artículos: –E. M. Clarke and J. M. Wing, "Formal methods: State of the art and future directions," Tech. Rep. CMU-CS-96178, Carnegie Mellon University (CMU), Sept. 1996

Libros: –[Cuena, 1985] J. Cuena. Lógica Informática. Alianza, 1985. –[Deaño, 1993] A. Deaño. Introducción a la lógica formal. Alianza Universidad, 1993. Décima reimpresión. –[Dalen, 1997] D. van Dalen. Logicand Structure Springer, 1997. 3aedición. –Logicin ComputerScience[Huthy Ryan, 2000]