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