Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessita'
Concetti di algoritmo, complessita` in spazio e tempo. Oggetto e metodi dell'analisi. Modello computazionale RAM.
COM - Complessita'
Dipendenza dall'input: casi migliore, peggiore, medio (esempi con InsertSort). Tecnica Divide et Impera (esempio con MergeSort). Notazione asintotica.
• B - Algoritmi
* A - Algoritmi fondamentali
Ottimizzazione: Elementi di strategia greedy. Problema della selezione delle attivita`. Problema del cambio di denaro. Problema dello zaino.
SDA - Strutture di Dati Avanzate
Grafi: Proprieta` e rappresentazione di grafi. Ricerca Breadth-first. Ricerca Depth-first. Ordinamento topologico di grafi diretti aciclici.
SDA - Strutture di Dati Avanzate
Grafi: Componenti connesse e fortemente connesse. Cammini minimi a sorgente singola: in grafi diretti aciclici, in grafi diretti con pesi non negativi (Dijkstra).
* SDF - Strutture di Dati Fondamentali
Strutture dati elementari: Insiemi dinamici, operazioni fondamentali. Stack, code, liste semplici, doppie, circolari.
* A - Algoritmi fondamentali
Ordinamento: Limite inferiore per l'ordinamento. Alberi di decisione, limiti inferiori per il caso peggiore e medio. Counting sort.
* A - Algoritmi fondamentali
Ordinamento: L'algoritmo HeapSort. Definizione e analisi nei casi peggiore, migliore. L'algoritmo QuickSort. Definizione e analisi nai casi peggiore, migliore, medio. QuickSort random.
* SDF - Strutture di Dati Fondamentali
La struttura Heap, proprieta`, operazioni e loro complessita`.
* SDF - Strutture di Dati Fondamentali
Alberi binari: Alberi di ricerca binari. Proprieta`, operazioni. Alberi di ricerca Red-Black. Proprieta`, operazioni.
* A - Algoritmi fondamentali
Ottimizzazione: Elementi di programmazione dinamica. Problema della moltiplicazione di matrici. Problema della sottosequenza comune massimale.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Equazioni di ricorrenza e metodi di soluzione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
Risoluzione di problemi di analisi al calcolatore.
MAT/05 - Analisi Matematica
Uso delle derivate nello studio di una funzione.
MAT/05 - Analisi Matematica
Integrale.
MAT/05 - Analisi Matematica
Tecniche di calcolo di integrali.
MAT/05 - Analisi Matematica
Successioni e serie.
MAT/05 - Analisi Matematica
Equazioni differenziali.
MAT/05 - Analisi Matematica
Cenni sul calcolo differenziale in pi? variabili.
MAT/05 - Analisi Matematica
Funzioni continue e loro proprieta'.
MAT/05 - Analisi Matematica
Derivata.
MAT/05 - Analisi Matematica
Modelli matematici e funzioni di variabile reale.
MAT/05 - Analisi Matematica
Il piano cartesiano.
MAT/05 - Analisi Matematica
Richiami sui numeri naturali, razionali e reali.

Sillabo dell'insegnamento

• E - Architetture
GM - Gestione della Memoria
Memorie
GIO - Gestione dell'Input/Output
Organizzazione dell'Input/Output
* LII - Livello Instruction Set
La CPU
* CCS - Circuiti combinatori e sequenziali
Cenni alle reti logiche
* LII - Livello Instruction Set
Indirizzi e organizzazione delle istruzioni
V - Varie
Cenni a sistemi avanzati: periferiche, pipelining, processori CISC e RISC

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
Linguaggi di Query: SQL (introduzione e gestione dei vincoli); linquaggi logici di query
* ML - Modelli logici
Algebra delle relazioni
* ML - Modelli logici
Dependenze funzionali e chiavi
V - Varie
Introduzione alle Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
Esecuzione delle Query
TCR - Transazioni, Concorrenza e Recovery
Serializzabilita' e controllo della concorrenza

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
Processi di Markov: catene disctere a spazio infinito.
MAT/06 - Probabilita' e Statistica Matematica
Processi di Markov: catene discrete a spazio finito.
MAT/06 - Probabilita' e Statistica Matematica
Teorema centrale e legge dei grandi numeri.
MAT/06 - Probabilita' e Statistica Matematica
Ripetizione di esperimenti indipendenti: lo schema di Bernoulli,
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie: indipendenza, vettori aleatori.
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie: distribuzioni, momenti, funzione generatrice.
MAT/06 - Probabilita' e Statistica Matematica
Calcolo combinatorio.
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilit?, eventi, indipendenza.
MAT/06 - Probabilita' e Statistica Matematica
Teoria assiomatica del calcolo delle probabilit
MAT/06 - Probabilita' e Statistica Matematica
Processo di Poisson: processi di conteggio, tempi di attesa,
MAT/06 - Probabilita' e Statistica Matematica
Teoremi limite.
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva: indici; statistica inferenziale, stime di medie e varianza.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
Convalida del software prodotto rispetto alle specifiche utente e verifica della correttezza del software. Vengono introdotte tecniche di analisi statica e dinamica del software.
* PSC - Progettazione del Software e Codifica
Implementazione del codice. Uso di tool per la generazione automatica del codice da specifica UML.
* ASW - Architetture Software
Disegno e architettura di un sistema. Design Patterns. Uso di UML per la progettazione OO.
* AR - Analisi dei Requisiti
Introduzione al tool di gestione dei requisiti Requisite Pro della Rational.
* LMS - Linguaggi di Modellazione del Software
Fondamenti di UML: diagrammi degli Stati e delle Attivita'
* AR - Analisi dei Requisiti
Business modeling e specifica dei requisiti. Metodi e strumenti per l'analisi del dominio applicativo, per l'analisi e la specifica di requisiti business e di requisiti di sistema.
AS - Ambienti di Sviluppo
Introduzione a Rational Rose
* LMS - Linguaggi di Modellazione del Software
Fondamenti di UML: introduzione a UML, Diagrammi dei Casi d'Uso, Diagrammi delle Sequenze, Diagrammi delle Classi.
* PSS - Processi di Sviluppo del Software
Il Processo di Sviluppo Software: introduzione. Processi di Sviluppo Software: Code and Fix, Cascata, Spirale.
* PSS - Processi di Sviluppo del Software
Processi di Sviluppo Software Avanzati: Rapid Application Development, Metodi Formali, Riuso del Software.
* PSS - Processi di Sviluppo del Software
Fondamenti di Ingegneria del Software: sviluppo del software: da artigianato a processo industriale, fasi di sviluppo di un prodotto software.
MES - Manutenzione ed Evoluzione del Software
Distribuzione e manutenzione. Concetti base sul reverse engineering, manutenzione del software, distribuzione (deployment) e tecniche di configuration management.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
Autovalori e autovettori di una applicazione lineare; polinomio caratteristico. Diagonalizzabilit? di un'applicazione lineare.
MAT/03 - Geometria
Teoria delle applicazioni lineari. Applicazioni lineari e matrici. Calcolo dell' inversa con il metodo di Gauss. Determinanti; definizione e propriet?. Rango di una matrice. Inversa di una matrice con il determinante.
MAT/03 - Geometria
Spazi vettoriali: basi e dimensione di uno spazio vettoriale. Sottospazi vettoriali e formula di Grassman.
MAT/03 - Geometria
Insiemi numerici, definizione di campo. I numeri razionali, reali e complessi.
MAT/03 - Geometria
Sistemi lineari: definizioni e notazioni. Metodo di Gauss.
MAT/03 - Geometria
Prodotto scalare euclideo, norma e distanza in Rn. Disuguaglianza di Cauchy-Schwarz e disuguaglianza triangolare.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
I numeri interi ed i polinomi: scrittura di numeri in basi diverse.
MAT/02 - Algebra
Insiemi e funzioni.
MAT/02 - Algebra
Induzione.
MAT/02 - Algebra
Divisibilita', algoritmo di Euclide.
MAT/02 - Algebra
Calcolo combinatorio.
MAT/02 - Algebra
Teoria dei grafi.

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
Strutture dati dinamiche e loro realizzazione tramite liste concatenate
* SDF - Strutture di Dati Fondamentali
Alberi binari e algoritmi su alberi binari
• C - Programmazione
* CB - Costrutti di Base
Ingressi/uscita dei dati e operazioni su file
V - Varie
Organizzazione di un programma su piu' file: scope, visibilita', durata
* SDTD - Strutture Dati e Tipi di Dati astratti
Strutture dati fondamentali (liste, stack, code) e lealizzazione tramite array e struct
* CB - Costrutti di Base
Allocazione dinamica della memoria
* CB - Costrutti di Base
Stringhe e gestione delle stringhe
* SDTD - Strutture Dati e Tipi di Dati astratti
Array, puntatori e algebra dei puntatori
* CB - Costrutti di Base
Istruzioni semplici e strutturate
* P - Procedure
Funzioni e passaggio di parametri
* CB - Costrutti di Base
Sintassi del C++: variabili, costanti, tipi, espressioni, comandi
V - Varie
Modello elementare di un calcolatore e sviluppo di un programma

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
Richiami di base di C++: Il modello di memoria del C++, Puntatori, Reference, Funzioni, Scope delle variabili, Passaggio di parametri, Funzioni ricorsive, Arrays, Funzioni ed arrays, Stringhe, Allocazione dinamica di memoria, new e delete, memory leaks
* POO - Programmazione Orientata agli Oggetti
Classi e Oggetti: approfondimenti: La copia di oggetti, Constructor e Destructor, Il copy constructor, Chiamate implicite al copy constructor e al distruttore, Shallow vs. Deep copy, Concetto di friend, Uguaglianza e identit? di oggetti
* POO - Programmazione Orientata agli Oggetti
Ereditarieta': temi di base: Overloading e overriding, Metodi virtuali, Metodi virtuali puri, Static and dynamic binding, Upcasting e downcasting, Static and dynamic downcasting, Distruttori virtuali
* POO - Programmazione Orientata agli Oggetti
Classi e Oggetti: le soluzioni proposte da Java: Costrutti base di Java, Passaggio di parametri in Java, Classi e Oggetti in Java
* POO - Programmazione Orientata agli Oggetti
Classi e Oggetti: temi di base: Il problema dello spazio dei nomi delle funzioni, Metodi costruttori e distruttori, Il problema della visibilit? delle variabili, Principio di Parna, Polimorfismo
* SCP - Sviluppo e Correttezza dei Programmi
Cenni di modellazione UML

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
Polimorfismo
* CB - Costrutti di Base
Strategie di valutazione; pattern matching
* R - Ricorsione
Tipi di base; funzioni; ricorsione
PP - Paradigmi di Programmazione
Introduzione alla programmazione funzionale e motivazioni
* R - Ricorsione
Funzioni di ordine superiore
* SCP - Sviluppo e Correttezza dei Programmi
Specifica e verifica di programmi; inferenza di tipo.

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
Il livello di rete. Generalita' sulle competenze del livello e sui servizi offerti. Relazione fra servizi offerti e realizzazione interna della sottorete. Algoritmi di instradamento. Controllo della congestione. Internetworking. Il livello di rete in Internet.
* PT - Protocolli
Il livello del trasporto. Generalita' sulle competenze del livello e sui servizi offerti. Qualit? del servizio. Primitive di definizione del servizio. Principi dei protocolli di livello trasporto. Il livello di trasporto in Internet.
* PT - Protocolli
Il sottolivello di accesso al mezzo (MAC). Generalita' sulle competenze del livello e sui servizi offerti. Allocazione statica e dinamica del canale. Protocolli di accesso multiplo. Lo standard IEEE802. I bridge.
* PT - Protocolli
Il livello data link. Generalita' sulle competenze del livello e sui servizi offerti. Rilevamento e correzione di errori. Protocolli elementari data link.
* ARTC - Architettura delle Reti di Calcolatori
Il livello fisico. Basi teoriche della trasmissione dati. Mezzi trasmissivi e relative caratteristiche. La trasmissione senza filo. Il sistema telefonico.
* ARTC - Architettura delle Reti di Calcolatori
Introduzione alle reti di calcolatori. Definizione di rete di calcolatori. Usi delle reti. Hardware delle reti. Tipolgie di trasmissione (punto a punto, broadcast), scala (LAN, MAN, WAN). Inter-reti (interconnessione di reti eterogenee). Software di rete. Organizzazione a livelli. Modelli di riferimento. Concetto di architettura di rete. TCP/IP e OSI. Esempi di reti.

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
Scheduling della CPU
* GSP - Gestione e Sincronizzazione dei Processi
Sincronizzazione dei processi e deadlocks
* GM - Gestione della Memoria
Gestione della memoria
* GSP - Gestione e Sincronizzazione dei Processi
Threads
* GSP - Gestione e Sincronizzazione dei Processi
Gestione dei processi
* SCO - Struttura e Componenti di un sistema operativo
Cenni di architetture
* SCO - Struttura e Componenti di un sistema operativo
Introduzione ai sistemi operativi
* GM - Gestione della Memoria
Memoria virtuale
* GM - Gestione della Memoria
Memorie di massa
* FS - File System
File-System
V - Varie
Caso di studio: unix/linux
V - Varie
Caso di studio: Symbian OS