Horarios de clases: Martes 17hs-20hs15, lab 3
| Teórico | Práctico | Práctico a entregar | |
|---|---|---|---|
| 15/8 | SAT, DPLL | Entrega01: n-reinas | |
| 22/8 | codificacion, CBMC1,CBMC2,CBMC3 | Practico01 | Entrega02 |
| Resumen CBMC | |||
| 29/8 | SMT1, SMT2 | Z3b, Z3c 1-6 | Ejercicio 6 de Z3a |
| 5/9 | Z3e | Ejercicio LCG de Z3e | |
| 12/9 | parcial |
| Teórico | Práctico | |
|---|---|---|
| 12/9 | Intro, Aprende Haskell 1-2 | Mumuki 1-2 |
| 19/9 | Aprende Haskell 3 | Mumuki 3-4-5-6-7 |
| 26/9 | Aprende Haskell 4 | Mumuki 8-9-10-11-12 |
| 3/10 | Aprende Haskell 5-6 | Mumuki 13-14-15-16-17 |
| 10/10 | GHCI, Tipos de Datos Algebraicos | Haskell01 |
| 17/10 | Clases de Tipos | Haskell02 |
| 24/10 | Entrada y Salida, Diccionarios | Haskell03 |
| 31/10 | Mónadas, QuickCheck | Haskell04 |
| 7/11 | Repaso mónadas | |
| 14/11 | parcial |