| 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.
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 | es_ES |
