Calendari de teoria dels grups 10 i 20

Data

Sessions

Continguts

dj 10 sep

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 17 sep

sessió 2

  • Tema 2. Exercicis de Definició de la LProp (2/3)

dj 24 sep

dia no lectiu (festiu a Barcelona)

dj 01 oct

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 08 oct

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 15 oct

sessió 5

  • Tema 3. Exercicis de Deducció en LProp (4/5)

  • Tema 3. Deducció en LProp (cont.)

dj 22 oct

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 29 oct

dia no lectiu (avaluacions parcials)

dt 03 nov, 13:00h

Examen Parcial de Teoria: LProp

dj 05 nov

sessió 7

  • Tema 4. Definició de la Lògica de Primer Ordre (LPO)

  • Tema 4. Exercicis de Definició de LPO (1/4)

dj 12 nov

sessió 8

  • Tema 4. Exercicis de Definició de LPO (2/4)

dj 19 nov

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 26 nov

sessió 10

  • Tema 4. Definició de la LPO (cont.)

  • Tema 5. Deducció en Lògica de Primer Ordre

dj 03 dic

sessió 11

  • Tema 5. Deducció en LPO (cont.)

  • Tema 5. Exercicis de Deducció en LPO (1/2)

dj 10 dic

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 17 dic

sessió 13

  • Exàmens de quadrimestres anteriors

dj 14 gen, 11:30h

Examen Final de Teoria: [LProp] + LPO