La lógica constituye la herramienta de razonamiento formal más importante en diversas areas de las ciencias de la computación, por ejemplo, en inteligencia artificial sirve como fundamento de los métodos de representación del conocimiento, sistemas expertos y procesamiento del lenguaje natural; los métodos formales tienen una aplicación inmediata en la ingenieria del software y el estudio de los lenguajes de programación se sirve en gran parte de semánticas operacionales cuyos origenes están en los sistemas de tipos surgidos de la lógica matemática pura en los inicios del siglo XX. El objetivo principal del curso es que el alumno valore la importancia de los métodos del análisis lógico así como la relevancia de la lógica en los paradigmas de programación lógica y funcional.
La página del curso está aquí