En este curso los estudiantes analizaran las principales herramientas para abstraer y estudiar procesos computacionales. Los estudiantes se veran familiarizados con las ramas de la logica necesarias para trabajar en computacion, y aprenderan a usar logica para modelar procesos computacionales. Asi mismo, comprenderan los postulados teoricos detras del estudio de la complejidad de algoritmos, y podran aplicarlos en escenarios realistas. A modo de contexto, la teoria de la computacion descansa en la logica como lenguaje para modelar y entender practicamente todos los procesos, algoritmos y paradigmas de la computacion, y por lo mismo, la logica ha sido llamada el calculo de la computacion.