Calendari de teoria del grup 20

Data	Sessions	Continguts
dt 13 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
dt 20 feb	sessió 2	Tema 2. Exercicis de Definició de la LProp
dt 27 feb	sessió 3	Tema 2. Exercicis de Definició de la LProp Tema 3. Deducció en Lògica Proposicional Tema 3. Exercicis de Deducció en LProp
dt 05 mar	sessió 4	Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.) Tema 3. Exercicis de Deducció en LProp
dt 12 mar	sessió 5	Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.)
dt 19 mar	sessió 6	Tema 3. Deducció en LProp (cont.) Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.)
dt 26 mar	Setmana santa
dt 02 abr	sessió 7	Tema 4. Definició de la Lògica de Primer Ordre (LPO) Tema 4. Exercicis de Definició de LPO
dc 03 abr, 18h	Examen Parcial de Teoria
dt 09 abr	Setmana d’exàmens parcials
dt 16 abr	sessió 8	Tema 4. Exercicis de Definició de LPO
dt 23 abr	sessió 9	Tema 4. Exercicis de Definició de LPO Tema 4. Definició de la LPO (cont.) Tema 4. Exercicis de Definició de LPO
dt 30 abr	sessió 10	Tema 4. Definició de la LPO (cont.) Tema 5. Deducció en Lògica de Primer Ordre
dt 07 mai	sessió 11	Tema 5. Deducció en LPO (cont.) Tema 5. Exercicis de Deducció en LPO
dt 14 mai	sessió 12	Tema 5. Exercicis de Deducció en LPO Tema 6. Programació Lògica Exàmens de quadrimestres anteriors
dt 21 mai	Canvi de dia lectiu: és dilluns
dt 28 mai	sessió 13	Exàmens de quadrimestres anteriors
dj 13 jun, 15h	Examen Final de Teoria