Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Ottimizzazione
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione lineare
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Operazioni su matrici
• M - Rappresentazione della conoscenza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
* IS-BML - Basic Machine Learning
Apprendimento supervisionato
AASC - Apprendimento Automatico e Scoperta di Conoscenza
* IS-BML - Basic Machine Learning
Selezione di features
AASC - Apprendimento Automatico e Scoperta di Conoscenza
* IS-BML - Basic Machine Learning
Apprendimento non supervisionato: clustering

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Concetti di algoritmo, complessita` in spazio e tempo. Oggetto e metodi dell'analisi. Modello computazionale RAM.
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Dipendenza dall'input: casi migliore, peggiore, medio (esempi con InsertSort). Tecnica Divide et Impera (esempio con MergeSort). Notazione asintotica.
• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Ottimizzazione: Elementi di strategia greedy. Problema della selezione delle attivita`. Problema del cambio di denaro. Problema dello zaino.
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Grafi: Proprieta` e rappresentazione di grafi. Ricerca Breadth-first. Ricerca Depth-first. Ordinamento topologico di grafi diretti aciclici.
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
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
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari: Insiemi dinamici, operazioni fondamentali. Stack, code, liste semplici, doppie, circolari.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Ordinamento: Limite inferiore per l'ordinamento. Alberi di decisione, limiti inferiori per il caso peggiore e medio. Counting sort.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
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
+ AL-FDA - Fundamental Data Structures and Algorithms
La struttura Heap, proprieta`, operazioni e loro complessita`.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi binari: Alberi di ricerca binari. Proprieta`, operazioni. Alberi di ricerca Red-Black. Proprieta`, operazioni.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Ottimizzazione: Elementi di programmazione dinamica. Problema della moltiplicazione di matrici. Problema della sottosequenza comune massimale.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Equazioni di ricorrenza e metodi di soluzione.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Linguaggi di Query: SQL (introduzione e gestione dei vincoli); linquaggi logici di query
* ML - Modelli logici
+ IM-DMo - Data Modeling
Algebra delle relazioni
* ML - Modelli logici
+ IM-DMo - Data Modeling
Dependenze funzionali e chiavi
V - Varie
+ IM-IMC - Information Management Concepts
Introduzione alle Basi di Dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Esecuzione delle Query
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
Serializzabilita' e controllo della concorrenza

Sillabo dell'insegnamento

• E - Architetture
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Memorie
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Organizzazione dell'Input/Output
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
La CPU
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Cenni alle reti logiche
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Indirizzi e organizzazione delle istruzioni
V - Varie
AR-FO - Functional Organization
Cenni a sistemi avanzati: periferiche, pipelining, processori CISC e RISC

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

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
MAT/02 - Algebra
I numeri interi ed i polinomi: scrittura di numeri in basi diverse.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Insiemi e funzioni.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Induzione.
MAT/02 - Algebra
MAT/02 - Algebra
Divisibilita', algoritmo di Euclide.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Calcolo combinatorio.
MAT/02 - Algebra
MAT/02 - Algebra
Teoria dei grafi.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
MAT/03 - Geometria
Autovalori e autovettori di una applicazione lineare; polinomio caratteristico. Diagonalizzabilit? di un'applicazione lineare.
MAT/03 - Geometria
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
MAT/03 - Geometria
Spazi vettoriali: basi e dimensione di uno spazio vettoriale. Sottospazi vettoriali e formula di Grassman.
MAT/03 - Geometria
+ DS-SRF - Sets, Relations, and Functions
Insiemi numerici, definizione di campo. I numeri razionali, reali e complessi.
MAT/03 - Geometria
MAT/08 - Analisi Numerica
Sistemi lineari: definizioni e notazioni. Metodo di Gauss.
MAT/03 - Geometria
MAT/03 - Geometria
Prodotto scalare euclideo, norma e distanza in Rn. Disuguaglianza di Cauchy-Schwarz e disuguaglianza triangolare.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Introduzione all'ingegneria del software e problematiche nello sviluppo di sistemi software complessi
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Il processo di sviluppo del software e i modelli più utilizzati, con cenni al modello agile
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Fondamenti di UML, ER, Tropos
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
L'ingegneria dei requisiti; Tecniche di progettazione; verifica e validazione; gestione di progetto
* LMS - Linguaggi di Modellazione del Software
+ SE-SDC - Software Design and Construction
Linguaggio UML: use case diagrams; state and activity diagrams; sequence diagrams; class diagrams
* PSC - Progettazione del Software e Codifica
* SE-SE - Software Evolution
Generazione automatica del codice

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Testing e revisione del codice
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Qualità delle applicazioni
* PSS - Processi di Sviluppo del Software
* SE-SPM - Software Project Management
Metodo di sviluppo agile
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Design di aplicazioni
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Design thinking
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Sviluppo di applicazioni

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
TMI - Teorie e Modelli per l'Interazione
* HCI-F - Foundations
Stili e paradigmi di interazione
TMI - Teorie e Modelli per l'Interazione
* HCI-HFS - Human Factors & Security
Elementi di psicologia cognitive e psicologia dell'utente
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
HCI-DOI - Design-Oriented HCI
Introduzione alla progettazione basata su compiti e utenti
TMI - Teorie e Modelli per l'Interazione
* HCI-F - Foundations
Concetti di utilita', usabilita' e esperienza dell'utente
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-UCD - User-Centered Design
Valutazioni: valutazioni formative, summative, e approcci alla valutazione
RV - Rendering e Visualizzazione
+ HCI-DI - Designing Interaction
Elementi dell'interfaccia (icone, menu', navigazione, colori e tipografia)

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Architetture software per applicazioni di rete: architetture client-server, architetture N-Tier, Web Server
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Architetture di applicazioni basate su componenti Web
* FCD - Fondamenti del Calcolo Distribuito
* PD-PAAP - Parallel Algorithms, Analysis, and Programming
Introduzione alla programmazione distribuita: Oggetti distribuiti, programmazione concorrente
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Canali di comunicazione di rete (socket)
• I - Ingegneria del software
* ASW - Architetture Software
+ SE-TE - Tools and Environments
Patterns di progettazione del software: soluzioni standard a problemi ricorrenti cui attingere nella fase di analisi e disegno del software
* ASW - Architetture Software
+ SE-TE - Tools and Environments
Patterns per le applicazioni Web

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
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
+ PL-OOP - Object-Oriented Programming
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
+ PL-OOP - Object-Oriented Programming
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
+ PL-OOP - Object-Oriented Programming
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
+ PL-OOP - Object-Oriented Programming
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
+ SE-TE - Tools and Environments
Cenni di modellazione UML

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Polimorfismo
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Strategie di valutazione; pattern matching
* R - Ricorsione
PL-APC - Advanced Programming Constructs
Tipi di base; funzioni; ricorsione
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione alla programmazione funzionale e motivazioni
* R - Ricorsione
PL-APC - Advanced Programming Constructs
Funzioni di ordine superiore
* SCP - Sviluppo e Correttezza dei Programmi
PL-CSA - Compiler Semantic Analysis
Specifica e verifica di programmi; inferenza di tipo.

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche formali
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Algoritmi per analisi di testo
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a pila
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
* PL-SyA - Syntax Analysis
Algoritmi per analisi sintattica
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-TS - Type Systems
Type checking
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CG - Code Generation
Generazione di codice intermedio
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Traduzioni guidate dalla sintassi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-StA - Static Analysis
Ottimizzazione di codice
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-RS - Runtime Systems
Ottimizzazione di codice
V - Varie
PL-CG - Code Generation
Uso di Lex
V - Varie
PL-CG - Code Generation
uso di Yacc

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Logica proposizionale
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Modelli di rappresentazione della conoscenza
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Logica del primo ordine
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Logica modale
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Modelli di ragionamento
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Logica nell'informatica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Teorema centrale e legge dei grandi numeri.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Ripetizione di esperimenti indipendenti: lo schema di Bernoulli,
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie: indipendenza, vettori aleatori.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie: distribuzioni, momenti, funzione generatrice.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Spazi di probabilità, eventi, indipendenza.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva: indici; statistica inferenziale, stime di medie e varianza.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
+ NC-RF - Routing And Forwarding
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
+ NC-RDD - Reliable Data Delivery
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
+ NC-LAN - Local Area Networks
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
+ NC-LAN - Local Area Networks
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
+ NC-I - Introduction: Computer Network Architecture
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
+ NC-I - Introduction: Computer Network Architecture
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
+ OS-SD - Scheduling and Dispatch
Scheduling della CPU
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Sincronizzazione dei processi e deadlocks
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gestione della memoria
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Threads
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Gestione dei processi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Cenni di architetture
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Introduzione ai sistemi operativi
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Memoria virtuale
* FS - File System
* OS-FS - File Systems
Memorie di massa
* FS - File System
* OS-FS - File Systems
File-System
V - Varie
+ OS-O - Overview of Operating Systems and Principles
Caso di studio: unix/linux
V - Varie
+ OS-O - Overview of Operating Systems and Principles
Caso di studio: Windows 2000