• Comisión 1: Araceli Acosta (encargada) y Renato Cherini.
• Comisión 2: Pedro Sanchez Terraf (encargado) y Walter Alini.
• Comisión 3: Paula Estrella (encargada) y Mauricio Tellechea.
• Comisión 4: Carlos Areces (encargado) y Raul Fervari.

Los ayudantes alumno se reparten entre las diferentes comisiones.

• Comisión 1: lunes de 9 a 13 hs. en aula 28, miércoles de 9 a 13 hs. en aula 20.
• Comisión 2: lunes de 9 a 13 hs. en aula 20, miércoles de 9 a 13 hs. en aula 28.
• Comisión 3: lunes de 14 a 16 hs. en aula 28, lunes de 16 a 18 hs. en aula 20, miércoles de 14 a 16 hs. en aula 28, miércoles de 16 a 18 hs. en aula 20.
• Comisión 4: lunes de 14 a 16 hs. en aula 20, lunes de 16 a 18 hs. en aula 28, miércoles de 14 a 16 hs. en aula 20, miércoles de 16 a 18 hs. en aula 28.

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.