Hola,
la semana del 05/06/2017 vamos a trabajar los temas Deducción Natural y Completitud de la Lógica de primer orden.
Para eso deberán completar las siguientes actividades:
- Planificación - Deducción Natural de la Lógica de Primer Orden Segunda Semana
- Planificación - Completitud de la Lógica de Primer Orden
Además tienen que completar el cuestionario de Semántica de la Lógica de Primer Orden. Recuerden que el cuestionario estará habilitado hasta el miércoles 07/06/2017 a las 12:00 hs.
Saludos!