Calendari de teoria dels grups 10 i 20

Data

Sessions

Continguts

dj 11 sep

dia no lectiu (festiu)

dj 18 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 25 sep

sessió 2

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

dj 02 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 09 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 16 oct

sessió 5

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

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

dj 23 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 30 oct

dia no lectiu (avaluacions parcials)

dt 04 nov, 13:00h

Examen Parcial de Teoria: LProp

dj 06 nov

sessió 7

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

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

dj 13 nov

sessió 8

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

dj 20 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 27 nov

sessió 10

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

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

dj 04 dic

sessió 11

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

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

dj 11 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 18 dic

sessió 13

  • Exàmens de quadrimestres anteriors

dj 15 gen, 11:30h

Examen Final de Teoria: [LProp] + LPO