2013
2013
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: nuovo ord.
Informazioni generali
Università MILANO Responsabile del Percorso Mario Ornaghi
Livello del Cdl MAGISTRALE Email presidente@ccdi.unimi.it
Scheda Unica Annuale (SUA) del Corso di Laurea: Visualizza documento SUA caricato E' un percorso interdisciplinare No
Commento CdL nuovo ord. 270 attivato a partire dal 2009/10 - L'intero percorso è erogato anche in lingua inglese presso la sede di Crema    
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
Gestione dell'informazione 6             6                    
Informatica teorica 6 6                                
Insegnamenti a scelta guidata (affini) 6                                 6
Insegnamenti a scelta guidata (informatica) 18                       18          
Insegnamenti a scelta guidata (statistica) 6                             6    
Insegnamenti a scelta libera 12                                 12
Logica matematica 6                             6    
Reti wireless e mobili 6               6                  
Sistemi distribuiti 6               6                  
Sistemi intelligenti 6                     6            
                                     
Attività Extracurriculari 0                                 0
Lingue Straniere 3                                 3
Prova Finale 38                                 38
Tirocinio 1                                 1
TOTALE 120 6 0 0 0 0 0 6 12 0 0 6 18 0 0 12 0 60

Riepilogo dell'insegnamento: Gestione dell'informazione
Nome Gestione dell'informazione CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area G - Basi di dati

Sillabo dell'insegnamento

  • G - Basi di dati
    • TCR - Transazioni, Concorrenza e Recovery
      Introduzione alla gestione delle transazioni; Tecniche per il controllo della concorrenza.
    • TCR - Transazioni, Concorrenza e Recovery
      Tecniche di recovery per basi di dati.
    • V - Varie
      Basi di dati distribuite e architetture client-server.
    • * ML - Modelli logici
      Integrazione dei dati: architetture, modelli, linguaggi.
    • V - Varie
      Data warehouse: concetti, progettazione, interrogazioni per il supporto alle decisioni.
    • * DBMS - Sistemi di Gestione di Basi di Dati
      Laboratorio di approfondimento con DBMS commerciali su proprietà ACIDe delle transazioni, locking dei dati, transazioni locali e distribuite.

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Informatica teorica
Nome Informatica teorica CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • * CAL - Calcolabilita'
      Prerequisiti matematici; funzione coppia
    • * CAL - Calcolabilita'
      Linguaggi di programmazione RAM e while ? Sintassi e semantica operazionale ? Compilatori ? Aritmetizzazione di programmi ? Interprete e funzione universale ? Eliminazione del "goto" ? Funzioni ricorsive parziali
    • * CAL - Calcolabilita'
      Tesi di Church ? Esistenza di problemi non decidibili ? Passaggio automatico di parametri ? Sistemi di programmazione accettabili ? Teorema di ricorsione ? Insiemi ricorsivi e ricorsivamente numerabili ? Proprietà di chiusura ? Teorema di Rice
    • COM - Complessita'
      ? Introduzione alla complessità sequenziale ? Prerequisiti matematici: la notazione "O grande" ? Macchine di Turing deterministiche ? Risorse computazionali: tempo e spazio ? Classi di complessità in tempo e spazio
    • COM - Complessita'
      ? Le classi L, P, PSPACE ? Tesi di Church ristretta ? Macchine di Turing nondeterministiche: tempo e spazio ? Le classi NL, NP, NPSPACE
    • COM - Complessita'
      ? Teorema di Savitch ? Riduzioni tra problemi e completezza ? Problemi NP-completi, P-completi, PSPACE-completi ? Teorema di Cook ed esempi di riduzione

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Insegnamenti a scelta guidata (affini)
Nome Insegnamenti a scelta guidata (affini) CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare --libero--
Commento Scelta da una tabella di insegnamenti affini (matematica, fisica, economia)

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Insegnamenti a scelta guidata (informatica)
Nome Insegnamenti a scelta guidata (informatica) CFU 18
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
Commento Scelta da una tabella di complementari di tipo informatico

18 cfu così ripartiti nelle aree:

  • 18 CFU nell'area A_M - Una qualunque delle aree da A a M

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Insegnamenti a scelta guidata (statistica)
Nome Insegnamenti a scelta guidata (statistica) CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/06
Commento A scelta fra: Metodi probabilistici, Metodi statistici per l'apprendimento, Processi stocastici

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto
    • MAT/06 - Probabilita' e Statistica Matematica
      Argomenti variabili a seconda dell'insegnamento scelto

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Insegnamenti a scelta libera
Nome Insegnamenti a scelta libera CFU 12
Ore di didattica frontale per CFU 12 Settore Scientifico Disciplinare --libero--
   

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Logica matematica
Nome Logica matematica CFU 6
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
      logica proposizionale
    • MAT/01 - Logica Matematica
      procedura DPLL
    • MAT/01 - Logica Matematica
      dimostrazione automatica basata su metodi di saturazione (risoluzione e paramodulazione)
    • MAT/01 - Logica Matematica
      tecniche di riscrittura
    • MAT/01 - Logica Matematica
      tratti essenziali delle logiche descrittive
    • MAT/01 - Logica Matematica
      strumenti di model-checking simbolico

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Reti wireless e mobili
Nome Reti wireless e mobili CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * FCD - Fondamenti del Calcolo Distribuito
      Modulazione e codifica su canale radio
    • * PT - Protocolli
      Bluetooth, IEEE 802.11
    • * ARTC - Architettura delle Reti di Calcolatori
      Reti di sensori
    • * PT - Protocolli
      Reti cellulari 2G e 3G, TCP su wireless, Mobile IP, WAP
    • * ARTC - Architettura delle Reti di Calcolatori
      Ad hoc networks
    • * PT - Protocolli
      Protocollo AODV

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Sistemi distribuiti
Nome Sistemi distribuiti CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Caratteristiche generali dei sistemi distribuiti moderni; Architetture dei sistemi distribuiti
    • * FCD - Fondamenti del Calcolo Distribuito
      Comunicazione tra processi; La gestione dei nomi in un sistema distribuito
    • * FCD - Fondamenti del Calcolo Distribuito
      Problemi di cooperazione e sincronizzazione
    • * SR - Sicurezza delle Reti
      Aspetti di sicurezza e privatezza nei sistemi distribuiti
    • * FCD - Fondamenti del Calcolo Distribuito
      File system distribuiti
    • V - Varie
      Sistemi distribuiti basati su Web

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa


Riepilogo dell'insegnamento: Sistemi intelligenti
Nome Sistemi intelligenti CFU 6
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AI - Agenti Intelligenti
      Introduzione. La macchina di Turing e la calcolabilità. La posizione forte e debole dell'Intelligenza Artificiale: il test di Turing e la stanza cinese di Searl.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Apprendimento con Rinforzo. Apprendimento in un ambiente non associative. Politiche greedy ed epsiolon-greedy. Modelli di Markov e funzione valore. Equazioni di Bellman e formulazione ricorsiva. Valutazione iterativa della policy e suo miglioramento. Equazioni alle differenze temporali: Sarsa e Q-learning. La traccia di eleggibilità.
    • ARC - Acquisizione e Rappresentazione della Conoscenza
      Intelligenza biologica. Il neurone ed il sistema nervoso centrale. Codice di popolazione ed elaborazione all'interno della corteccia.
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Apprendimento statistico. Apprendimento supervisionato e non supervisionato. Clustering: K-means a quad-tree decomposition. Clustering gerarchico. Reti neurali e apprendimento supervisionato. Mappe di Kohonen.
    • AIA - Applicazioni della Intelligenza Artificiale
      Introduzione alla statistica Bayesiana. Stima a massima verosimiglianza e ai minimi quadrati. Expectation maximization e mixture models. Filtraggio bayesiano e regolarizzazione. Applicazioni.
    • V - Varie
      Argomenti vari. Sistemi lineari e stima ai mimini quadrati. Algoritmi genetici. Insiemi e sistemi fuzzy.

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa