temas para las próximas clases

[Laura Alonso Alemany]

Hola a todos,

en la próxima clase del jueves vamos a seguir con algunos ejercicios más sobre semántica de cuantificadores, como estaba previsto en el programa, pero también vamos a empezar a ver algunos teoremas y demostraciones con cuantificadores. De todas formas, para las personas que habían planificado sus asistencias acorde al programa inicial de la materia, vamos a repasar los teoremas vistos el jueves en la clase del martes próximo, tal como estaba previsto inicialmente.

Hasta el jueves!

la.

--

Laura Alonso i Alemany

FaMAF - UNC
Medina Allende S/N - Ciudad Universitaria
Córdoba - Argentina

http://www.cs.famaf.unc.edu.ar/~laura