miércoles, 3 de marzo de 2010

Programacion Logica y Funcional:Sesion V Marzo 9 de Marzo 2010

TEMAS A DESARROLLAR
Calculo de Predicados
Expresiones
Formulas atomicas
Cuantificadores (Universal y existencial)
Formulas bien formadas

Actividades
Quiz (Temas de la sesion IV)
Taller (Temas de esta sesion)

Nota: Estudiar temas de esta sesion antes de la clase