Lógica

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