Aquí iremos poniendo los prácticos que usaremos en esta materia.

• Listado de axiomas y teoremas del cálculo proposicional
• Listado de axiomas y teoremas del cálculo de predicados

Haskell

• Guía práctica para instalación y uso de compilador haskell (ghc)
• Página de Haskell con versiones para Linux, Windows y Mac, para instalar

Ithaca

• Guía de la notación de Ithaca
• Página de Ithaca (contiene instrucciones de instalación y manual de usuario)
• Mundos para Ithaca - necesarios para resolver el práctico 5

• Regularidad: dos parciales (o recuperatorios) aprobados con nota mayor a 5.
• Promoción: dos parciales(o recuperatorios) aprobados con nota mayor a 7 y 80% de asistencia.

• [1] Discrete Mathematics Using a Computer, by John O'Donnell, Cordelia Hall and Rex Page, Springer, 2006. Capítulo 3 Capítulo 4
• [2] Javier Blanco, Damián Barsotti, Silvina Smith, Cálculo de Programas, Fa.M.A.F., Universidad Nacional de Córdoba, 2008. Acá hay disponible una versión digital del libro. Aviso importante: La fórmula enunciada como Teorema 5.22 no es válida y por lo tanto, no puede ser usada en demostraciones.