Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Algoritmi sui grafi: ordinamento topologico, componenti fortemente connesse, minimo albero di copertura, cammini minimi.
* A - Algoritmi fondamentali
Algoritmi di ordinamento, algoritmo greedy "activity selector", algoritimo greedy per i codici di Huffmann, calcolo della distanza tra stringhe.
* SDF - Strutture di Dati Fondamentali
Rappresentazione dei grafi, visite in ampiezza e profondita'.
* SDF - Strutture di Dati Fondamentali
Realizzazione di strutture dati (array, lista concatenata, albero binario di ricerca, albero AVL, tabella hash, heap, Union-Find).
* SDF - Strutture di Dati Fondamentali
Realizzazione, anche utilizzando la libreria standard Java, di tipi di dati astratti (Pila, Coda, Lista, Insieme, Bag, Mappa, Coda con priorita').
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Metodi di risoluzione di problemi e progetto di algoritmi: algoritmi Divide-et-Impera, algoritmi Greedy, cenni alla programmazione dinamica.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi di algoritmi: Complessita' (Analisi nel caso peggiore e nel caso medio, Ordine di grandezza delle funzioni, Notazione asintotica). Le equazioni di ricorrenza per esprimere la complessita' degli algoritmi ricorsivi: metodi di soluzione.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi e progettodi algoritmi: Correttezza (Precondizioni e postcondizioni, Invarianti di ciclo, Correttezza degli algoritmi ricorsivi). Concetto di tipo di dato astratto e sua realizzazione in linguaggi imperativi tipati (come C) e in linguaggi imperativi tipati object-oriented class-based (come Java).
* A - Algoritmi fondamentali
Realizzazione dei grafi utilizzando il linguaggio Java.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Serie numeriche
MAT/05 - Analisi Matematica
Integrali
MAT/05 - Analisi Matematica
Studio di funzione
MAT/05 - Analisi Matematica
Derivate
MAT/05 - Analisi Matematica
Continuita'
MAT/05 - Analisi Matematica
Limiti di funzioni
MAT/05 - Analisi Matematica
Numeri reali e funzioni elementari
MAT/05 - Analisi Matematica
Funzioni di due variabili
MAT/05 - Analisi Matematica
Equazioni differenziali elementari

Sillabo dell'insegnamento

• E - Architetture
* LMP - Livello di Microprogrammazione
Un esempio di microarchitettura: il Mic-1 e l'IJVM
* AC - Aritmetica dei calcolatori
Codifica dell'informazione numerica e non numerica
V - Varie
Struttura del calcolatore: CPU, memoria principale e secondaria, bus
* CCS - Circuiti combinatori e sequenziali
Cenni al livello digitale: circuiti combinatori e sequenziali
* LMP - Livello di Microprogrammazione
Il livello della microarchitettura
* LMP - Livello di Microprogrammazione
Argomenti avanzati su Microarchitettura - parte I
* LII - Livello Instruction Set
Il livello ISA, confronti tra il Pentium II, l'UltraSparc e la JVM - parteII
* LII - Livello Instruction Set
Il livello ISA, confronti tra il Pentium II, l'UltraSparc e la JVM - parte I
* LMP - Livello di Microprogrammazione
Argomenti avanzati su Microarchitettura - parte II

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
Definizione di base di dati e e DBMS, tipologie di modelli di dati
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Memorizzazione efficiente dei dati (B-alberi, tabelle hash)
TCR - Transazioni, Concorrenza e Recovery
Fondamenti di gestione di concorrenza ed affidabilit
* ML - Modelli logici
Il modello relazionale
* ML - Modelli logici
Algebra relazionale
NBD - Normalizzazione di Basi di Dati
Dipendenze funzionali e teoria della normalizzazione
* LI - Linguaggi di Interrogazione di Basi di Dati
SQL
* PC - Progettazione concettuale
Metodologie di progettazione di basi di dati (modello ER)
* PL - Progettazione Logica
Esercitazioni sulla progettazione di basi di dati

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
Programmazione lineare: teoria e algoritmi
MAT/09 - Ricerca Operativa
Modelli di programmazione lineare e lineare intera
MAT/09 - Ricerca Operativa
Teoria della dualita'
MAT/09 - Ricerca Operativa
Analisi di sensitivita'
MAT/09 - Ricerca Operativa
Programmazione lineare intera: teoria e algoritmi
MAT/09 - Ricerca Operativa
Introduzione ai grafi e problema di flusso a costo minimo su rete

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
test di ipotesi
MAT/06 - Probabilita' e Statistica Matematica
Distribuzione normale
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie
MAT/06 - Probabilita' e Statistica Matematica
Probabilità
MAT/06 - Probabilita' e Statistica Matematica
Probabilità elementare
MAT/06 - Probabilita' e Statistica Matematica
Varaibili casuali discrete

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• D - Linguaggi
* LF - Linguaggi Formali
Grammatiche context free
* LF - Linguaggi Formali
Automi a stati finiti
* LF - Linguaggi Formali
Espressioni regolari
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica a discesa ricorsiva - parte II
* LF - Linguaggi Formali
Automi push-down
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analizzatori sintattici a discesa ricorsiva - parte I
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
Algebre di Boole
MAT/01 - Logica Matematica
Algebre di Boole
MAT/01 - Logica Matematica
Calcolo proposizionale
MAT/01 - Logica Matematica
Calcolo dei predicati
MAT/01 - Logica Matematica
Alberi semantici
MAT/01 - Logica Matematica
Linguaggio insiemistico
MAT/02 - Algebra
Aritmetica modulare: L'algoritmo di Euclide il teorema di Eulero-Fermat e il metodo di crittografia a chiave pubblica RSA.
MAT/02 - Algebra
Calcolo Combinatorio: Problemi di enumerazione. Permutazioni. Composizione e inversa di permutazione. Decomposizione in cicli disgiunti. Trasposizioni. Parit? di una permutazione.
MAT/02 - Algebra
Calcolo Combinatorio: Contare i sottoinsiemi. Contare i multi-insiemi. Il teorema del binomio e il triangolo di Pascal.
MAT/02 - Algebra
Equazioni ricorsive: La soluzione delle equazioni lineari del primo ordine. Algoritmi del tipo Divide et Impera.
MAT/02 - Algebra
Sistemi di equazioni lineari
MAT/02 - Algebra
Matrici

Sillabo dell'insegnamento

• C - Programmazione
* P - Procedure
Esercitazioni in laboratorio su metodi statici e dinamici
* POO - Programmazione Orientata agli Oggetti
Introduzione a Java
* POO - Programmazione Orientata agli Oggetti
Classi e oggetti
* P - Procedure
Metodi e parametri
* CB - Costrutti di Base
Tipi di dati elementari e strutturati
* CB - Costrutti di Base
Costrutti di controllo di flusso
* CB - Costrutti di Base
Variabili e assegnazione
* PSA - Problem Solving e Algoritmi
Esercitazioni in laboratorio sulla definizione di classi
* PSA - Problem Solving e Algoritmi
Esercitazioni in laboratorio sulla definizione di classi

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
Visite di alberi
* A - Algoritmi fondamentali
Selection sort e merge sort
• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Ereditarietà ed eccezioni
* SDTD - Strutture Dati e Tipi di Dati astratti
Alberi in Java
* SDTD - Strutture Dati e Tipi di Dati astratti
Liste in Java
* R - Ricorsione
Ricorsione
* SCP - Sviluppo e Correttezza dei Programmi
Esercizi di laboratorio su liste e alberi
* PSA - Problem Solving e Algoritmi
Esercitazioni in laboratorio sulla definizione di classi
* PSA - Problem Solving e Algoritmi
Esercitazioni in laboratorio sulla definizione di classi

Insegnamenti "a scelta" che possono essere selezionati

1. Calcolabilità e Complessità

Sillabo dell'insegnamento

• H - Computazione su rete
V - Varie
LABORATORIO: Realizzazione (a scelta dello studente) di un server HTTP, oppure di un client FTP, oppure realizzazione di un progetto usando ns-2
* FCD - Fondamenti del Calcolo Distribuito
Indirizzamento in Internet. Traduzione da indirizzi logici a indirizzi fisici di sottorete
* FCD - Fondamenti del Calcolo Distribuito
Introduzione all'internetworking. Panoramica sulle tecnologie di rete
* PT - Protocolli
Descrizione dettagliata del protocollo IP. Tecniche di instradamento dei datagrammi
* PT - Protocolli
File Transfert (FTP)
* ARTC - Architettura delle Reti di Calcolatori
Valutazione delle prestazioni per dimensionamento e gestione di reti di comunicazione: Introduzione alla simulazione, Network Simulator (ns-2), Esercitazioni con ns
* MIR - Modelli di Interazione in Rete
Rlogin e Telnet
* PT - Protocolli
HTTP
* ARTC - Architettura delle Reti di Calcolatori
Il Domain Name System
* MIR - Modelli di Interazione in Rete
Modello Client/Server: Interfaccia Socket,Aspetti di progettazione di applicazioni client, Aspetti di progettazione di applicazioni server, Server iterativi/concorrenti, server connection-oriented/connectionless
* PT - Protocolli
Descrizione dettagliata del protocollo UDP. Descrizione dettagliata del protocollo TCP e sua implementazione
* PT - Protocolli
Descrizione dettagliata del protocollo ICMP. Evoluzione dell'indirizzamento: Indirizzamento senza classi

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
Sicurezza delle comunicazioni a livello di sessione e nelle applicazioni
* SR - Sicurezza delle Reti
I requisiti della sicurezza per sistemi e reti
* SR - Sicurezza delle Reti
Sistemi crittografici a chiave condivisa e asimmetrica
* SR - Sicurezza delle Reti
La sicurezza dei calcolatori: intrusioni, virus, worm
GRC - Gestione di Reti di Calcolatori
La sicurezza delle reti locali e le VPN (virtual private networks)
* PT - Protocolli
Crittografia

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
Implementazione di strutture dinamiche (liste, alberi)
* SDTD - Strutture Dati e Tipi di Dati astratti
Allocazione dinamica della memoria
* CB - Costrutti di Base
Costrutti principali del linguaggio C
• F - Sistemi operativi
* GM - Gestione della Memoria
Memoria virtuale
* FS - File System
Interfaccia e implementazione del File System. Gestione dei dischi
* GM - Gestione della Memoria
Gestione della memoria principale, paginazione e segmentazione
* GSP - Gestione e Sincronizzazione dei Processi
Schedulazione della CPU
* GSP - Gestione e Sincronizzazione dei Processi
Stallo di processi
* GSP - Gestione e Sincronizzazione dei Processi
Semafori
* GSP - Gestione e Sincronizzazione dei Processi
Concorrenza: problema e soluzioni
* AMM - Amministrazione di sistema
Interfaccia col sistema operativo (comandi, shell, system call)
* SCO - Struttura e Componenti di un sistema operativo
Struttura e servizi offerti dal sistema operativo

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
Il problema del software, il problema della software engeneering
* PSS - Processi di Sviluppo del Software
L'approccio della software engeneering e il processo software
* AR - Analisi dei Requisiti
Raccolta e specifica dei requisiti: l'analisi del problema, la specifica dei requisiti, la validazione
* PSC - Progettazione del Software e Codifica
Pianificazione del progetto software: previsione di costi, tempi e risorse, pianificazione delle attivita'
* PSC - Progettazione del Software e Codifica
Progettazione in ambito funzionale e in ambito orientato agli oggetti. La validazione e le metriche
* PSC - Progettazione del Software e Codifica
Progetto di dettaglio e codifica. Verifica e metriche associate
* TVV - Testing, Verifica e Validazione
Testing. La nozione di fault, error e faillure.
* TVV - Testing, Verifica e Validazione
Test funzionali e strutturali, test di unit?, integrazione, sistema e accettazione
* AR - Analisi dei Requisiti
Le metrichepproccio della software engeneering e il processo software

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
Introduzione all'internetworking. Panoramica sulle tecnologie di rete
* PT - Protocolli
Descrizione dettagliata del protocollo IP. Tecniche di instradamento dei datagrammi
* PT - Protocolli
File Transfert (FTP)
* ARTC - Architettura delle Reti di Calcolatori
Valutazione delle prestazioni per dimensionamento e gestione di reti di comunicazione: Introduzione alla simulazione, Network Simulator (ns-2), Esercitazioni con ns
* FCD - Fondamenti del Calcolo Distribuito
Indirizzamento in Internet. Traduzione da indirizzi logici a indirizzi fisici di sottorete
V - Varie
LABORATORIO: Realizzazione (a scelta dello studente) di un server HTTP, oppure di un client FTP, oppure realizzazione di un progetto usando ns-2

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Tecniche di programmazione: teorema s-m-n, teorema di ricursione
SLP - Semantica dei Linguaggi di Programmazione
Enumerazione di programmi e funzioni, la costruzione di un programma interprete
* CAL - Calcolabilita'
Funzioni calcolabili e non, problemi indecidibili
SLP - Semantica dei Linguaggi di Programmazione
Programmi while: sintassi (grammatica, nozione di macro-istruzione) e semantica (nozione di computazione, associazione programma-funzione che questi calcola)
V - Varie
Nozioni matematiche di base, insiemi numerabili e non, tecniche di numerazione
* CAL - Calcolabilita'
Macchine di Turing, teorema di incompletezza di Godel

Insegnamenti "macro" nell'ambito dei quali può essere scelto

1. Programmazione III

Sillabo dell'insegnamento

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

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Teoria della percezione
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
Modelli mentali; modelli di Shneiderman e Norman
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
Linee guida. Prototipazione. Valutazione dell'utilizzabilita'
* IMW - Ipertesti, Multimedialità e WWW
Ipertestualita' e ipermedialita'. HTML e oltre, Modello di Dexter
* IMW - Ipertesti, Multimedialità e WWW
Modelli di Amsterdam e HDM. Information retrieval. Tassonomie dinamiche
V - Varie
Sistemi a finestre, MVC e widgets

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione
* LF - Linguaggi Formali
Espressioni regolari
* LF - Linguaggi Formali
Automi a stati finiti
* LF - Linguaggi Formali
Grammatiche context free
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Automi push-down
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica a discesa ricorsiva
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Traduzione

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• G - Basi di dati
* PC - Progettazione concettuale
Specifiche di progetto: tecniche per la specifica del progetto di un sistema informativo
V - Varie
Progetto dell'interfaccia: tecniche per la specifica dell'interfaccia del sistema informativo
V - Varie
Progetto della base di dati: tecniche per la specifica della base di dati di supporto al sistema informativo
• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
Fondamenti della tecnologia ad oggetti: principi di base della programmazione ad oggetti
* LMS - Linguaggi di Modellazione del Software
UML: elementi del modello e discussione dei diagrammi principali
* AR - Analisi dei Requisiti
Analisi dei requisiti: tecniche per la collezione e la specifica dei requisiti per il progetto di un sistema informativo

Insegnamenti "macro" nell'ambito dei quali può essere scelto

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
Strategie di ricerca della soluzione (strategie cieche, funzioni euristiche, strategie golose, A*,IDA* e loro complessita in tempo e spazio)
ARC - Acquisizione e Rappresentazione della Conoscenza
Meccanismi di rappresentazione e di ragionamento: formalismi logici
RA - Ragionamento Automatico
Meccanismi di rappresentazione e di ragionamento: sistemi a regole di produzione, sistemi a frame
AI - Agenti Intelligenti
Stuttura di un agente intelligente (architettura di base, agenti reattivi, agenti deliberativi)
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento (forme di apprendimento, apprendimento da esempi supervisionato, cenni a reti neuronali)
* RP - Risoluzione di Problemi
Risoluzione automatica di problemi (spazio degli stati, giochi a due giocatori, vincoli)

Insegnamenti "macro" nell'ambito dei quali può essere scelto