Profesor | Fernando Javier Nuñez Rosales | lu mi vi | 12 a 13 | P203 |
Ayudante | Antonio Nakid Cordero | ma ju | 12 a 13 | P203 |
Algunos tópicos que se examinaran en el salón son:
- Lenguajes de primer orden
- Semántica (Verdad de Taski)
- Calculo de predicados
- Introducción a la teoría de modelos
-Completud-correctud
-Compacidad
La forma de evaluar se acuerda con el ayudante.