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.
<b>Metodología de trabajo</b>
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.