Lograr que el alumno maneje con madurez conceptos básicos de la lógica de primer orden. Estos conceptos le permitirán acceder a ideas y habilidades fundamentales para el desempeño de en las ciencias de la computación teórica.
Metodología de trabajo
Clases teóricas de aproximadamente dos horas, en las cuales se cubren los contenidos teóricos de la materia y clases prácticas de dos horas en las cuales se asiste al alumno en la resolución de los ejercicios con la finalidad de que se afirmen y esclarezcan los conceptos introducidos en la teoría.