Semestri: i nuovi corsi
Laurea Specialistica

Laurea specialistica – 1° Anno
Denominazione corso SSD Sem.
METODI FORMALI DELL’INFORMATICA (6 CFU) INF/01 1
VERIFICA DEI SISTEMI COMPLESSI (6 CFU) INF/01 1
ANALISI NUMERICA (6 CFU) MAT/08 1
PROGETTO E OTTIMIZZAZIONE DI RETI (6 CFU) MAT/09 1
OTTIMIZZAZIONE COMBINATORIA II (6 CFU) MAT/09 1
INGEGNERIA DEL SOFTWARE II (6 CFU) INF/01 2
ANALISI E TESTING DI SISTEMI A COMPONENTI (6 CFU) INF/01 2
FONDAMENTI DI INFORMATICA II (6 CFU) INF/01 2
ALGORITMI E STRUTTURE DATI II (6 CFU) INF/01 2
I corsi che vedete colorati a due a due verranno accorpati a partire dall’anno
accademico 2008/2009.

Laurea specialistica – 2° Anno
Denominazione corso (a scelta) SSD Sem.
ALGORITMI E DATI DISTRIBUITI (6 CFU) INF/01 1
RETI NEURALI (6 CFU) INF/01 1
INTELLIGENZA ARTIFICIALE (6 CFU) INF/01 1
MODEL DRIVEN ENGINEERING (6 CFU) INF/01 1
SISTEMI ORGANIZZATIVI (6 CFU) INF/01 1
TEORIA DELL’INFORMAZIONE (6 CFU) INF/01 1
ARGOMENTI DI ANALISI NUMERICA (6 CFU) MAT/08 1
SISTEMI E APPLICAZIONI SU RETI (6 CFU) INF/01 2
INGEGNERIA DEL WEB (6 CFU) INF/01 2
TEORIA DEI LINGUAGGI DI PROGRAMMAZIONE (6 CFU) INF/01 2
AGENTI INTELLIGENTI (6 CFU) INF/01 2
ELABORAZIONE DELLE IMMAGINI (6 CFU) INF/01 2
GESTIONE DELLA PROD. E DELLA LOG. AZIENDALE (6 CFU) MAT/09 2

Laurea specialistica – Altri esami
Denominazione corso SSD Sem.
CREDITI DI TIPO D (6 CFU)
CREDITI DI TIPO F (6 CFU)
PROVA FINALE (15 CFU)

Laurea specialistica - Vincoli
• Al secondo anno dovranno essere scelti
esami che coprano 33 crediti di tipo B (tutti
gli INF/01) e 6 crediti di tipo C (i MAT/0x)