Este curso es medular para lo comprension de la resolucion de problemas de caracter computacional. Requiere la comprension de la teoria matematica discreta, pues desarrolla a partir de ella las bases de la ciencia de la computacion mas pura. Trabajaremos con logica proposicional, demostracion mecanica de teoremas, computabilidad y complejidad computacional, logica de primer orden y programacion en logica.