Lógica Computacional

Índice

• NOTAS
• Evaluaciones
• Clases / Ejercicios
• Exámenes
• Otros Recursos

Evaluaciones

Parcial I

Jueves 29 de abril de 2010. 6pm – 8pm.

Parcial II

Lunes 31 de mayo de 2010. 6pm – 8pm.

Parcial III

(TENTATIVO) Martes 29 de junio de 2010. 6pm – 8pm.

Clases / Ejercicios

• Reglas de Inferencia (L. Proposicional)

Exámenes

Parcial I

[RESUELTO] TERM 200822 (Mayo 2008)

TERM 201021 (Nov. 2009) Versión 1

TERM 201021 (Nov. 2009) Versión 2

Parcial II

TERM 201021 (Dic. 2009)

Parcial III

TERM 200922 (Mayo 2009)

TERM 201021 (Enero 2010)

Parcial IV/Recuperación

TERM 201021 (Feb. 2010)

Exámen de Reparación

TERM 201021 (Feb. 2010)

Otros Recursos

• Generadores Tablas de Verdad
  • Brian Borowski (requiere Java)
  • Lawrence Turner