nota acumulada – av

A continuación está su nota correspondiente a la primera mitad del semestre. La nota está sobre 5.0.

notas de la exposición de Walther

Haciendo clic aquí puede bajar las notas (complementarias) de la exposición de Walther sobre eliminación de cuantificadores en RCF.

Material adicional

Como había prometido, ya están las primeras páginas (138) del libro de Grossberg, con ejercicios relevantes al curso. Recuerde que están en una página protegida con contraseña en este blog. Haga clic en la pestaña arriba donde dice “El libro de Rami Grossberg” y marque la contraseña que les di en clase para acceder.