|
|
|
dj 12 feb |
sessió 1 |
Presentació Tema 1. Introducció i Motivació Tema 2. Definició de la Lògica Proposicional (LProp) Tema 2. Exercicis de Definició de la LProp (1/3)
|
dj 19 feb |
sessió 2 |
|
dj 26 feb |
sessió 3 |
Tema 2. Exercicis de Definició de la LProp (3/3) Tema 3. Deducció en Lògica Proposicional Tema 3. Exercicis de Deducció en LProp (1/5)
|
dj 05 mar |
sessió 4 |
Tema 3. Exercicis de Deducció en LProp (2/5) Tema 3. Deducció en LProp (cont.) Tema 3. Exercicis de Deducció en LProp (3/5)
|
dj 12 mar |
sessió 5 |
|
dj 19 mar |
sessió 6 |
Tema 3. Deducció en LProp (cont.) Tema 3. Transformació de fórmules via Tseitin Tema 3. Exercicis de Deducció en LProp (5/5) Tema 3. Codificació de Constraints Numèrics en SAT
|
dj 26 mar |
sessió 7 |
|
dj 02 abr |
dia no lectiu (setmana santa) |
|
|
|
|
dt 07 abr, 18:00h |
Examen Parcial de Teoria: LProp |
|
|
|
|
dj 09 abr |
dia no lectiu (avaluacions parcials) |
|
dj 16 abr |
sessió 8 |
|
dj 23 abr |
sessió 9 |
Tema 4. Exercicis de Definició de LPO (3/4) Tema 4. Definició de la LPO (cont.) Tema 4. Exercicis de Definició de LPO (4/4)
|
dj 30 abr |
sessió 10 |
|
dj 07 mai |
canvi de dia lectiu (és divendres ) |
|
dj 14 mai |
sessió 11 |
|
dj 21 mai |
sessió 12 |
Tema 5. Exercicis de Deducció en LPO (2/2) Tema 6. Programació Lògica Tema 6. Exercicis de Programació Lògica Exàmens de quadrimestres anteriors
|
dj 28 mai |
sessió 13 |
|
|
|
|
dc 10 jun, 15:00h |
Examen Final de Teoria: [LProp] + LPO |
|
|