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. 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 arti ficial, Arquitecturas de computadoras, Veri ficación de programas y muchas más