Martes 30 de noviembre: terminamos de realizar el ejercicio de la realización de una deducción que había quedado pendiente en la clase anterior y empezamos dos ejercicios nuevos, uno exactamente igual que el realizado anteriormente, y el segundo a partir de una deducción en lenguaje natural debíamos formalizarlo y realizar su deducción paso a paso.
Jueves 2 de diciembre: corregimos los dos ejercicios que habíamos empezado a realizar en la clase anterior.
Viernes 3 de diciembre: hacemos el examen de la última parte de lógica dada hasta el momento.
No hay comentarios:
Publicar un comentario