Informazioni generali | ||||
Università | TRENTO | Responsabile del Percorso | Fabio Massacci | |
---|---|---|---|---|
Livello del Cdl | MAGISTRALE | Fabio.Massacci@unitn.it | ||
Docenti che insegnano nel corso*: | 21 | 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 | Lo studente è tenuto a scegliere 42CFU fra i corsi marcati con asterisco, soddisfacendo così il requisito dei 48CFU nelle aree A-M di INF/01. |
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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
*Agent-oriented software engineering | 6 | 6 | ||||||||||||||||
*Computer Security | 6 | 3 | 3 | |||||||||||||||
*Formal Methods | 12 | 12 | ||||||||||||||||
*Human-computer interaction | 6 | 6 | ||||||||||||||||
*Network security | 6 | 3 | 3 | |||||||||||||||
*Requirement engineering | 6 | 6 | ||||||||||||||||
*Software analysis and testing | 6 | 6 | ||||||||||||||||
Computability | 6 | 6 | ||||||||||||||||
Computational Complexity | 6 | 6 | ||||||||||||||||
Concurrency Theory | 6 | 6 | ||||||||||||||||
Crediti a libera scelta | 24 | 24 | ||||||||||||||||
Mathematical logic | 6 | 6 | ||||||||||||||||
Attività Extracurriculari | 0 | 0 | ||||||||||||||||
Lingue Straniere | 0 | 0 | ||||||||||||||||
Prova Finale | 18 | 18 | ||||||||||||||||
Tirocinio | 6 | 6 | ||||||||||||||||
TOTALE | 120 | 27 | 0 | 0 | 0 | 0 | 3 | 0 | 3 | 21 | 6 | 0 | 0 | 0 | 0 | 12 | 0 | 48 |