Este curso busca que el estudiante aprenda comprenda y analice los procesos lógicos matemáticos y cómo estos logran explicar la manera en que estos procesos se llevan a cabo internamente en un computador para la solución de problemas; de esta forma obtener los resultados adecuados para resolver la problemática planteada. Más específicamente, en este curso se busca lo siguiente:
1. Comprender los conceptos básicos de la lógica matemática y como esta se relaciona con la forma en que un computador manipula la información.
2. Saber representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático.