Horarios de clases: Martes 17hs-20hs15, lab 3

Parte 1: Programación Lógica SAT y SMT

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

Parte 2: Programación Funcional (Haskell)

Registrarse en Mumuki

Teórico Práctico
12/9 Intro, Aprende Haskell 1-2 Mumuki 1-2
19/9 Aprende Haskell 3-4 Mumuki 3-4-5-6-7
26/9 Aprende Haskell 5-6 Mumuki 8-9-10-11

Recuperatorios