Riepilogo dell'insegnamento: Advances in Mathematical Logic
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/01 - Logica Matematica
Categorie e funtori: definizioni, esempi, costruzioni elementari
-
MAT/01 - Logica Matematica
Fibrazioni: esempi
-
MAT/01 - Logica Matematica
Teorie logiche, paradigmi di calcolo
-
MAT/01 - Logica Matematica
Traduzioni e modelli
-
MAT/01 - Logica Matematica
Esempi: teorie del prim'ordine, lambda-calcolo, polimorfismo, semantica denotazionale
-
MAT/01 - Logica Matematica
Realizzabilità, parametricità, semantica operazionale
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali