Mostrar a los estudiantes el rol que desempeña la programación en la solución de problemas. Y desarrollar habilidades algorítmicas en los estudiantes, para escribir pequeños programas que les permitan lograr objetivos específicos en problemas simples.

El objetivo general del curso es proporcionar los fundamentos formales del campo de la lógica y presentar las aplicaciones que tiene en computación y específicamente en el área del desarrollo de software, para con ello aumentar la capacidad de razonamiento por parte del alumno de tal forma que sea capaz de desarrollar sus habilidades lógicas que le permitirán solucionar problemas de forma algorítmica.