2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica
-
Percorso: Metodi formali per il software
| Informazioni generali | ||||
| Università | ROMA "La Sapienza" | Responsabile del Percorso | Paola Velardi | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | velardi@di.uniroma1.it | ||
| Docenti che insegnano nel corso*: | 27 | Afferisce al primo corso di laurea iscritto | Si | |
| (*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea | E' un percorso interdisciplinare | No | ||
| Commento | ||||
| Legenda delle Aree | |||||
| A: | Fondamenti | G: | Basi di dati | altro INF: | Crediti di INFORMATICA non classificati nelle aree |
|---|---|---|---|---|---|
| B: | Algoritmi | H: | Computazione su rete | INF: | Crediti di INFORMATICA non classificabili a priori |
| C: | Programmazione | I: | Ingegneria del software | MAT: | Crediti di MATEMATICA |
| D: | Linguaggi | L: | Interazione, grafica e multimedialità | altro: | Crediti NON dell'INFORMATICA nè della MATEMATICA |
| E: | Architetture | M: | Rappresentazione della conoscenza | NC: | Crediti Non Classificabili a priori |
| F: | Sistemi operativi | A_M: | Una qualunque delle aree da A a M | ||
| Insegnamenti e ripartizione CFU per area | CFU | A | B | C | D | E | F | G | H | I | L | M | A_M | altro INF | INF | MAT | altro | NC |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Algoritmi e strutture dati | 6 | 6 | ||||||||||||||||
| Calcolabilità e complessità | 6 | 6 | ||||||||||||||||
| Compilatori | 6 | 6 | ||||||||||||||||
| Insegnamenti a scelta dello studente | 12 | 12 | ||||||||||||||||
| Insegnamenti a scelta vincolata di Informatica | 6 | 6 | ||||||||||||||||
| Insegnamenti a scelta vincolata non di Informatica | 6 | 6 | ||||||||||||||||
| Logica matematica per informatica | 6 | 6 | ||||||||||||||||
| Metodi di verifica del software | 6 | 6 | ||||||||||||||||
| Metodi formali per il software | 6 | 6 | ||||||||||||||||
| Modelli di calcolo | 6 | 6 | ||||||||||||||||
| Sistemi distribuiti | 6 | 5 | 1 | |||||||||||||||
| Teoria della concorrenza | 6 | 6 | ||||||||||||||||
| Attività Extracurriculari | 0 | 0 | ||||||||||||||||
| Lingue Straniere | 0 | 0 | ||||||||||||||||
| Prova Finale | 36 | 36 | ||||||||||||||||
| Tirocinio | 6 | 6 | ||||||||||||||||
| TOTALE | 120 | 12 | 6 | 6 | 12 | 0 | 5 | 0 | 1 | 12 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 60 |
