| dc.description.abstract | OBJETIVOS:
Principal:
El objetivo de este curso es suministrar los conocimientos lógicos indispensables para acercarse a la
computadora desde un ángulo más riguroso.
Francisco Naischtat dice en el prólogo de uno de sus libros que la lógica es un elemento de mediación
inevitable entre el hombre y la computadora. La lógica de Primer orden es un buen metalenguaje para resolver
problemas tales como: ambigüedad, consistencia, demostrabilidad y computabilidad.
La lógica permite desarrollar los lenguajes de programación, es el auxilio para la inteligencia artificial y
proporciona elementos que facilitan el análisis y la resolución de problemas diversos con mayor nivel de
precisión.
La lógica es organizadora, constructora y generadora de un modo de razonar indispensable para todos
aquellos que se acercan al conocimiento científico.
Se pretende brindarle al alumno una herramienta de gran utilidad para la posterior aplicación en diferentes
áreas de la Computación, como lo son: Base de datos, Inteligencia artificial, Arquitecturas de computadoras,
Verificación de programas y muchas más | es_ES |
