|
ASSIGNATURES OFERTADES
| 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 |
|
|
|
3 |
|
|
| Demostració automàtica |
Martínez |
|
|
|
4 |
|
| El desenvolupament de la lògica formal |
Badesa |
|
2 |
|
|
|
| Filosofia de la matemàtica |
Jané |
|
|
3 |
|
|
| Introducció a la lògica matemàtica |
Farré |
1 |
|
|
|
|
| Lògica algebraica |
Font |
|
2 |
|
|
|
| Lògica algebraica abstracta |
Font |
|
|
3 |
|
|
| Lògica modal |
Joosten / Bou |
|
|
3 |
|
|
| Lògiques i intel·ligència artificial |
Esteva / Garcia |
|
|
3 |
4 |
? |
| Lògiques multivalorades |
Gispert |
|
|
3 |
|
|
| Lògiques subestructurals i lingüística computacional |
Morrill |
|
|
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ó |
|
|
|
3 |
4 |
? |
|
(*) Als semestres 3 i 4, any acadèmic 2011-2012, la llista d'assignatures optatives, així com alguns detalls de la distribució entre semestres, estan subjectes a canvis.
|
ub.edu