Buenas! que temas abarca este 2do parcial?
Hola Martín, va todo lógica de primer orden: sintaxis, semántica,
deducción natural y completitud. Desde el práctico 6 al 9.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR
deducción natural y completitud. Desde el práctico 6 al 9.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR
muchas gracias!!