Denominació |
Professor(s) |
Semestre |
|
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES) |
Calculabilitat |
J.L. Balcazar |
1 |
|
|
|
|
Lògica matemàtica |
E. Casanovas |
|
2 |
|
|
|
Lògiques no clàssiques |
J. Gispert |
1 |
|
|
|
|
Teoria bàsica de conjunts |
J. Bagaria i J.C. Martínez |
1 |
|
|
|
|
Teoria bàsica de models |
R. Farré |
|
2 |
|
|
|
|
|
ASSIGNATURES OPTATIVES |
Àlgebra universal |
A. Torrens |
1 |
|
|
|
|
Complexitat |
A. Atserias |
|
|
|
4 |
|
El desenvolupament de la lògica formal |
C. Badesa |
|
2 |
|
|
|
Introducció a la lògica matemàtica |
R. Farré |
1 |
|
|
|
|
Lògica algebraica |
R. Jansana |
|
2 |
|
|
|
Lògica algebraica abstracta |
|
|
|
3 |
|
|
Lògica modal |
J. Joosten |
|
2 |
|
|
|
Lògiques multivalorades |
|
|
|
3 |
|
|
Models de la teoria de conjunts |
|
|
|
3 |
|
|
Ordre, reticles i àlgebres de Boole |
R. Jansana |
1 |
|
|
|
|
Teoria avançada de models |
|
|
|
3 |
|
|
Teoria de conjunts combinatòria |
J. Bagaria |
|
2 |
|
|
|
Teoria de la demostració i demostració automàtica |
|
|
|
3 |
|
|
|