Calendari de teoria del grup 10

Data	Sessions	Continguts
dv 16 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
dv 23 feb	sessió 2	Tema 2. Exercicis de Definició de la LProp
dv 01 mar	sessió 3	Tema 2. Exercicis de Definició de la LProp Tema 3. Deducció en Lògica Proposicional Tema 3. Exercicis de Deducció en LProp
dv 08 mar	sessió 4	Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.) Tema 3. Exercicis de Deducció en LProp
dv 15 mar	sessió 5	Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.)
dv 22 mar	sessió 6	Tema 3. Deducció en LProp (cont.) Tema 3. Exercicis de Deducció en LProp Tema 3. Deducció en LProp (cont.)
dv 29 mar	Setmana santa
dc 03 abr, 18h	Examen Parcial de Teoria
dv 05 abr	Setmana d’exàmens parcials
dv 12 abr	sessió 7	Tema 4. Definició de la Lògica de Primer Ordre (LPO) Tema 4. Exercicis de Definició de LPO
dv 19 abr	sessió 8	Tema 4. Exercicis de Definició de LPO
dv 26 abr	sessió 9	Tema 4. Exercicis de Definició de LPO Tema 4. Definició de la LPO (cont.) Tema 4. Exercicis de Definició de LPO
dv 03 mai	sessió 10	Tema 4. Definició de la LPO (cont.) Tema 5. Deducció en Lògica de Primer Ordre
dv 10 mai	Festa de la FIB
dv 17 mai	sessió 11	Tema 5. Deducció en LPO (cont.) Tema 5. Exercicis de Deducció en LPO
dv 24 mai	sessió 12	Tema 5. Exercicis de Deducció en LPO Tema 6. Programació Lògica Exàmens de quadrimestres anteriors
dv 31 mai	sessió 13	Exàmens de quadrimestres anteriors
dj 13 jun, 15h	Examen Final de Teoria