| 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 |
|
|
|
ub.edu