2014
2014
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Metodi Formali e Logica per l'Informatica - Modulo 1
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Informatica |
|---|---|---|---|
| CFU | 6 | Università | UDINE |
| 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
Legami tra espressività di un linguaggio formale e la teoria dei giochi -
MAT/01 - Logica Matematica
La nozione di bisimulazione e la sua importanza nella modellazione -
MAT/01 - Logica Matematica
apporti fra le logiche classiche (Logica al prim'ordine e Logica Monadica al second'ordine) ed i loro frammenti invarianti per bisimulazione (la logica Modale ed il mu-calcolo) -
MAT/01 - Logica Matematica
Legame fra giochi infiniti ed il mu-calcolo -
MAT/01 - Logica Matematica
Introduzione ai calcoli per la Logica del Prim'ordine e theorem proving -
MAT/01 - Logica Matematica
Risoluzione ed il calcolo dei Sequenti
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
