Les informo que el día 4 de Marzo se realizara el primer examen parcial del curso; recuerden que para tener derecho a este deben entregar la tarea que les dio la profesora para este fin.

El examen constara de los temas:

-Lenguaje formal
-Lenguaje objeto y metalenguaje
-Paradojas (Yablo)
-Simbolización
-Tablas de verdad
-Metodos de demostración
-Equivalencias lógicas
-Reducción de fórmulas