2010-11
2010-11
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Advances in Mathematical Logic
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Informatica - Laurea Magistrale |
|---|---|---|---|
| CFU | 6 | Università | GENOVA |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/01 |
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
