Clase 4 - 8/9 - Negación y Forall

publicado a la‎(s)‎ 8 sept. 2010 13:20 por Nicolas Passerini   [ actualizado el 8 sept. 2010 13:23 ]

Qué vimos hoy:

  • Negación
  • Inversibilidad
  • Generación
  • Para todo (forall)

Tarea para la próxima clase:

https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/teg-sin-listas

Además, para la entrega tienen que respetar el siguiente formato:

https://sites.google.com/site/paradigmasdeprogramacion/material/guas-de-ejercicios/formato-de-entrega

Desafío:

  • Hacer el predicado paraTodo, que funcione igual que el forall, obviamente sin usar el forall.
Comments