• 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.

En la Comisión 1 usamos un grupo de e-mail para poder comunicarnos entre los estudiantes y los docentes. Cualquier pregunta o información que sea importante para la materia puede ser enviada a este grupo.

Para suscribirte, envía un e-mail a introalg2015+subscribe@googlegroups.com y respondé el e-mail de confirmación que te llegará a tu casilla de correo. La página del grupo es http://groups.google.com/group/introalg2015

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.