Damián Barsotti, Silvia Pelozo, Walter Alini, Marco Rocchietti, Mariana Vargas Vieyra, Tomás Hayes.

Lunes, de 8 a 12, Aula 30

Martes y Jueves, de 9 a 13, Aula 20

• Creada aula virtual.

• Para regularizar la materia: 2 parciales aprobados (o sus equivalentes recuperatorios) con nota >= 5 y el taller aprobado.
• Para promocionar la materia: 2 parciales aprobados con nota >= 7 y el taller aprobado.
• Para rendir libre la materia: seguiremos la modalidad del dictado ordinario de la materia, que aparece en “Condiciones para rendir libre el taller” en la página de la materia del año pasado

Nota: El taller también se considerará aprobado si lo fue en el segundo cuatrimestre del año 2011.

• 13/3 Expresiones cuantificadas

• 20/3 Especificaciones - Introducción a la derivación de programas

• 27/3 Técnicas elementales. Modularización - Generalización

• 3/4 Ejemplos

• 10/4 Ejemplos (segmentos)

• 17/4 Tipos abstractos de datos - especificaciones implícitas.

• 24/4 Parcial. Introducción a la programación imperativa.

• 1/5 Lógica de Hoare - guarded commands

• 8/5 invariantes - derivación de programas imperativos

• 15/5 Técnicas para encontrar invariantes. Fortalecimiento de invariantes.

• 22/5 Recursión final. Ejemplos.

• 29/5 Ejemplos

• 5/7 Modificación de arreglos

• 12/6 Parcial. Repaso.

• 19/6 Métodos de Ordenacion. Recuperatorio.

• 13/3 Practico 1 (lógica). Presentación de expresiones cuantificadas. Hasta cuantGen.
• 15/3 Reglas generales para expresiones cuantificadas. Pueden hacer todo el práctico 1.
• 20/3 Practico 2 (programación funcional). Ejercicio del rango unitario para N el cual introduce los conceptos de prueba de análisis por casos y pruebas de implicación descargando antecedentes. Esto último para B ⇒ E, B ⇒ E = E', B1 /\ B2 ⇒ E (usando intercambio).
• 22/3 Clase teórico/practica de 4 hs. Demostración por inducción de propiedades. Esquemas de inducción (k-induccion, induccion gen). Derivación de programas con inducción sin aplicar técnicas. Pueden hacer hasta ejercicio 5.
• 26/3 Corrección Proyecto 1 lab.
• 27/3 Derivación ejemplo sum. Práctico. Tecnica de análisis por casos en ejercicio de sumar los pares.
• 29/3 Hanoi. Reempazo ctes por var y modularización con ej del libro: suma de potencias agregando parametro x.
• 3/4 Tuplas con suma de potencias del libro. Generalización por abstracción con ej de cuadrado.
• 5/4 Semana santa
• 10/4 Ejemplo de generalizacion por abstraccion (p. 180). Practico listas iguales.
• 17/4 Ejemplo con segmentos. Dado sum_ant (ej b) con esta técnica (se supone que ya lo hicieron sin ella). Ejercicio 13 y 14 de práctica.
• 19/4 Practico
• 23/4 Corrección Proyecto 2 lab
• 24/4 Practico
• 26/4 Práctico 3 (modelo computacional imperativo, sin busqueda de invariantes). Modelo computacional imperativo hasta ej 2. Consulta parcial en práctico.
• 1/5 Feriado
• 3/5 Ternas de hoare. Parcial
• 8/5 wp hasta if. Hasta ejercicio 5 d)
• 10/5 Bucle. Teorema invariancia. Hasta ej 5
• 15/5 Derivacion de asignaciones (ej 6). Especificacion y derivacion de if (ej 7)
• 17/5 Encontrar errores (ej 9). mcd (ej 11.a)
• 21/5 Corrección Proyecto 3 lab
• 22/5 Ej 11.b.a
• 24/5 Ej 11.b.b. Se podría haber comenzado el practico 4.
• 29/5 Practico 4. Término de la conjunción. Dado ej 1. Pueden hacer hasta el 4.
• 31/5 Remplazo de constante por variable. Dado ejercicio 5. Dado pasos heurísticos para derivar un programa. Pueden hacer hasta el 8.
• 5/6 Ej 5 y 6 como cuantificación generalizada. Ej 7 (minimo definido). Tecnica de predicados intermedios: Ej 9 y 10.
• 7/6 Ej de suma de los anteriores igual al elemento y de máxima diferencia de elementos.
• 12/6 Repaso
• 14/6 Parcial Imperativo
• 19/6 Update de arreglos: ej 20. Repaso.
• 21/6 Recuperatorios

• Cosas básicas sobre Haskell
• Tutorial Haskell.
• Introducción a Haskell.
• Lenguaje de Programación Funcional Haskell.
• Wikipedia.

• Tutorial Haskell.
• Manual Hugs.
• Especificación del lenguaje Haskell 98.
• En la web.
• Hoogle. Búsqueda de funciones por nombre o tipo.

• En castellano pero básico.
• En ingles pero muy completo.
• Manual de referencia en inglés.
• Otro en castellano.

• Trampa en el cyberespacio.
• Software's Chronic Crisis.
• Implementing Functional Languages: a Tutorial. Simon L. Peyton Jones.
• Voto electrónico. Los riesgos de una ilusión. Federico Heinz.
• X11 windows manager in Haskell!.

• Digesto de axiomas y teoremas para cálculo proposicional y expresiones cuantificadas.
• Digesto para la programación imperativa.

• Práctico 1 - Repaso cálculo proposicional y expresiones cuantificadas.
• Práctico 2 - Especificación derivación y verificación de programas funcionales.
• Práctico 3 - Introducción a la programación imperativa
• Práctico 4 - Programación imperativa

El laboratorio consistirá en la aplicación práctica de los temas que se ven en la materia.

Aproximadamente clase de por medio, se tomará, en los últimos minutos de las clases, una pequeña evaluación (“parcialito”) que consistirá en uno o dos ejercicios similares (o iguales) a los que aparecen en los laboratorios. Estos ejercicios serán parte de la evaluación que determinará la aprobación del taller, necesario para la regularidad y promoción de la materia. Los parcialitos serán evaluados en “bien” (1), “regular” (0.5) o “mal” (0).

Para aprobar el taller, es condición necesaria tener el 70% de los puntos de los parcialitos. No todos los parcialitos tendrán la misma incidencia en la nota final, incidencia que se informará sobre el final del dictado de la materia.

* Proyecto 1.

* Proyecto 2.

* Proyecto 3 y los Archivos necesarios.

* Proyecto 4.

* Proyecto 5.

• Introducción a la materia
• Introducción a Haskell, parte 1
• Introducción a Haskell: sinónimos y tipos definidos
• Tipo Abstracto de Datos
• Introducción a C
• Configuración para Emacs.

Desde el webmail del FaMAF enviar un mail a:

alualgo1-join@famaf.unc.edu.ar

con cualquier subject o cuerpo del mail.

Después de enviarlo debe llegar un mail con un link a una página donde donde se deben llenar los datos personales.

Todo esto hay que hacerlo desde el webmail del FaMAF.

Si se cometió un error el sistema enviará un mail avisando. Por lo cual, siempre lea el mail de respuesta a la inscripción y verifique que no hubo un error. Si es así, repita el proceso.

Cualquier problema consultar con los administradores del laboratorio.