Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BA - Basic Analysis
Modelli di calcolo e metodologie di analisi degli algoritmi: criteri di costo, notazione asintotica, metodi di analisi, analisi di complessità degli algoritmi ricorsivi.
• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari: pile
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Strutture dati elementari: alberi, visite di alberi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi binari, di ricerca
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi globalmente bilanciati, alberi AVL,
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Code con priorità.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi: definizioni, strutture dati
* SDF - Strutture di Dati Fondamentali
+ AL-AS - Algorithmic Strategies
Visite di grafi
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Tabelle hash: tabelle ad accesso diretto, funzioni hash, risoluzione delle collisioni.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari: pile
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Applicazione degli algoritmi di visita dei grafi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Esempi di visita di grafi con laboratorio

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Laboratorio: Introduzione a PostgreSQL. Esercitazioni su PosgreSQL relative agli aspetti trattati dal corso
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-IMC - Information Management Concepts
Modelli tradizionali dei dati: Il modello relazionale. I linguaggi relazionali.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-DS - Database Systems
Cenni all'architettura di un DBMS.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL.
V - Varie
+ IM-DMo - Data Modeling
Progetto di un modello di dati e sua implementazione in PostgreSQL
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
Progettazione logica di una base di dati relazionale.
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Progettazione concettuale: Il modello Entity-Relationship.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Gestione dati da programma: Stored procedures. Uso di SQL da linguaggio di programmazione
V - Varie
+ IM-RDQL - Relational Databases and Query Languages
Progetto di un modello di dati e sua implementazione in PostgreSQL

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni e loro proprietà.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: limiti.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: continuità.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale di funzioni reali di una variabile: derivazione.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Studio del grafico di una funzione.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo integrale: metodi di integrazione. Calcolo di aree.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali impropri.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie numeriche.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie di funzioni.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Curve.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di più variabili.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale. Gradiente. Derivate. Piano tangente.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Massimi e minimi per funzioni di più variabili.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali doppi e tripli.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Analisi degli errori.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Soluzione di sistemi lineari non singolari.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Soluzione approssimata di sistemi lineari nel senso dei minimi quadrati.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Complementi di algebra lineare: autovalori. Trattamento numerico degli autovalori.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Decomposizione ai valori singolari e applicazioni ai minimi quadrati.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Interpolazione con funzioni spline.

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Teoria della NP-completzza
COM - Complessità
+ DS-PT - Proof Techniques
Prove per induzione, invarianti di ciclo
L - Logica
+ DS-BL - Basic Logics
Correttezza di algoritmi ricorsivi e imperativi
• B - Algoritmi
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Strutture union-find, hash table
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: elementari, mergesort, heapsort
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento: quicksort, algoritmi lineari, limitazione inferiore
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione dinamica, algoritmi greedy
TAA - Tecniche Algoritmiche Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi: topological sorting, componenti connesse, cammini minimi
TAA - Tecniche Algoritmiche Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi: minimo albero ricoprente, algoritmi di Prim e Kruskal

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-SRF - Sets, Relations, and Functions
Insiemi, prodotti cartesiani. Funzioni, infinito.
MAT/01 - Logica Matematica
+ DS-BC - Basics of Counting
Numeri naturali e induzione. Cardinalità.
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Sintassi: calcolo dei predicati e teorie formali
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Correttezza e completezza per la logica del prim'ordine. Cenni ai Teoremi di Gödel, Turing, Church.
MAT/02 - Algebra
MAT/02 - Algebra
Numeri interi.
MAT/02 - Algebra
MAT/02 - Algebra
Algoritmo euclideo.
MAT/02 - Algebra
MAT/02 - Algebra
Aritmetica modulare.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Monoidi, liste.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Grafi, cammini.
MAT/02 - Algebra
MAT/02 - Algebra
Anelli di polinomi. Numeri complessi.
MAT/02 - Algebra
MAT/02 - Algebra
Algebra di matrici. Cenni sugli spazi vettoriali.
MAT/02 - Algebra
MAT/02 - Algebra
Risoluzione di sistemi lineari.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti, linguaggi regolari, espressioni regolari
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a pila, pumping lemma
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Grammatiche context-free e context-sensitive, gerarchia di Chomsky
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Macchine di Turing, computazione, accettazione, riconoscimento, esempi
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi ricorsivi e ricorsivamente enumerabili, linguaggio di diagonalizzazione
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Riducibilita' tra problemi, funzione e TM universale, Halting problem

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
MAT/03 - Geometria
Elementi di base della Geometria Analitica, con cenni ai sistemi lineari.
MAT/03 - Geometria
MAT/03 - Geometria
Calcolo vettoriale e Geometria Analitica.
MAT/03 - Geometria
MAT/03 - Geometria
Piano e spazio proiettivi, chiusura proiettiva delle coniche.
MAT/03 - Geometria
MAT/03 - Geometria
Coniche, cenni alle quadriche.
MAT/03 - Geometria
MAT/03 - Geometria
Trasformazioni mediante matrici, in coordinate cartesiane e omogenee.
MAT/03 - Geometria
MAT/03 - Geometria
Cenni alla Geometria Differenziale di curve e superfici.

Sillabo dell'insegnamento

• I - Ingegneria del software
V - Varie
* SE-SPM - Software Project Management
Motivazioni e natura del SE; modelli del ciclo di vita del software
* LMS - Linguaggi di Modellazione del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Cattura, analisi e specifica dei requisiti; notazioni di supporto
MSQ - Misure del Software e Qualita'
SE-SR - Software Reliability
Misure di qualità
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Unit testing
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Software design; stili architetturali, tecniche e notazioni di supporto
MES - Manutenzione ed Evoluzione del Software
* SE-SE - Software Evolution
Evoluzione del software
EPGS - Economia della Produzione e Gestione di progetti Software
+ SP-PEIPP - Professional Ethics, Intellectual Property, Privacy & Civil Liberties
Aspetti sociali ed etici
AS - Ambienti di Sviluppo
+ SE-TE - Tools and Environments
Tools per sviluppo e debugging
V - Varie
+ HCI-UCD - User-Centered Design
User centered design

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Nozione intuitiva di tipo, dichiarazioni di costante e variabile, espressioni.
V - Varie
PL-LP - Language Pragmatics
Laboratorio: procedure e funzioni.
* CB - Costrutti di Base
PL-LP - Language Pragmatics
Assegnazione, I/O, blocchi, istruzioni di scelta, istruzioni iterative.
V - Varie
+ PL-BTS - Basic Type Systems
Array bi-dimensionali, record
* CB - Costrutti di Base
PL-TS - Type Systems
Vector e array unidimensionali ed esempi riassuntivi.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Grammatiche
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Classi e struct, metodi, template.in C++
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Puntatori, liste.
* P - Procedure
PL-LP - Language Pragmatics
Funzioni e procedure, parametri IN, IN-OUT, OUT, passaggio per valore, riferimento e riferimento costante.
V - Varie
+ AL-BA - Basic Analysis
Complessità dei programmi iterativi e ricorsivi.
• E - Architetture
V - Varie
+ AR-MLRD - Machine Level Representation of Data
Codifica dell'informazione.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Esempi di macchina di von Neumann e macchina con stack.

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Laboratorio: programmazione funzionale.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Laboratorio: introduzione alla programmazione in Java.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Laboratorio: programmazione in Java.
• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-OOP - Object-Oriented Programming
Concetti base del paradigma class-based: oggetti, classi, paradigma computazionale ad oggetti (linguaggio di riferimento Java).
PLN - Paradigmi Linguistici
+ PL-OOP - Object-Oriented Programming
Concetti base del paradigma object-oriented: ereditarietà, binding dinamico (linguaggio di riferimento Java).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Schema di implementazione di un linguaggio giocattolo: interprete
* LF - Linguaggi Formali
* PL-SyA - Syntax Analysis
Linguaggi formali e compilazione.
* S - Semantica
PL-FS - Formal Semantics
Semantica dei costrutti di base.
MP - Metodologie di Programmazione
+ PL-OOP - Object-Oriented Programming
Utilizzo dell'ereditarietà per lo sviluppo incrementale del software (linguaggio di riferimento Java).
MP - Metodologie di Programmazione
+ SE-SDC - Software Design and Construction
Linguaggio Java: costruttori, super, eccezioni, casting, hiding di campi, overloading, cenni alle classi predefinite.
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Paradigma funzionale (linguaggio di riferimento Caml).
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Schema di implementazione di un linguaggio giocattolo: scanner, parser, type-checker

Sillabo dell'insegnamento

• B - Algoritmi
AD - Algoritmi Distribuiti
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Algoritmi di elezione e mutua esclusione
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Strutture dati concorrenti
• C - Programmazione
V - Varie
* PBD-MP - Mobile Platforms
Librerie Android
PCC - Programmazione Concorrente
* PL-CP - Concurrency and Parallelism
Programmazione concorrente
V - Varie
* PL-EDRP - Event-Driven and Reactive Programming
Programmazione event-driven e asincrona
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-I - Introduction: Computer Network Architecture
Gestione socket e indirizzi con librerie Java
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Librerie Java per programmazione di rete
• L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
+ HCI-DI - Designing Interaction
Uso di Swing per interazione con GUI
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
+ HCI-PIS - Programming Interactive Systems
Programmazione event-driven e asincrona

Sillabo dell'insegnamento

• E - Architetture
* AC - Aritmetica dei calcolatori
+ AR-DLDS - Digital Logic and Digital Systems
Codici e rappresentazioni: ASCII, virgola fissa e mobile, ridondanza, codici ad espansione.
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Rilevazione e correzione di errori: distanza di Hamming, bit di parita', codici di Hamming.
VMP - Valutazione e Miglioramento delle Prestazioni
AR-PE - Performance Enhancements
Pipelining, istruzioni di salto, stallo, branch prediction, superscalarita', riordinamento delle istruzioni.
VMP - Valutazione e Miglioramento delle Prestazioni
+ AR-MSOA - Memory System Organization and Architecture
Memoria cache, localita', memoria associativa e a corrispondenza diretta, consistenza write-through e write back.
V - Varie
+ AR-DLDS - Digital Logic and Digital Systems
Bus di sistema: protocolli asincrono e sincrono, arbitraggio, temporizzazione.
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Interruzioni e trap: mascheramento, vettorizzazione, organizzazione interrupt handler.
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Dispositivi di I/O, registri memory mapped, trasferimenti DMA.
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Memoria virtuale a segmentazione e paginazione, confinamento e protezione dei processi.
* CCS - Circuiti combinatori e sequenziali
AR-FO - Functional Organization
Logica circuitale: circuiti combinatori, sequenziali asincroni e sincroni, frequenza di clock.
* LMP - Livello di Microprogrammazione
AR-FO - Functional Organization
Microarchitettura: struttura della CPU, data path, control path, microcodice.
* LII - Livello Instruction Set
AR-MAA - Multiprocessing and Alternative Architectures
CISC e RISC: modi di indirizzamento, ortogonalita', istruzioni load/store.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Macchine convenzionali e programmazione in codice macchina e linguaggio Assembler, stack.

Sillabo dell'insegnamento

• F - Sistemi operativi
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Richiami alla struttura del calcolatore, sistemi operativi e sicurezza
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Paradigmi di interazione: condivisione, sincronizzazione, bufferizzazione, comunicazione. Scheduling di thread e processi. Processi e thread in Unix/Linux. Socket e API di comunicazione in locale e/o via rete.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Concorrenza e comunicazione tra processi.
* SCO - Struttura e Componenti di un sistema operativo
* OS-VM - Virtual Machines
Controllo degli accessi e virtualizzazione delle risorse, identificazione, autenticazione e autorizzazione degli utenti, modelli mandatori, discrezionali e basati sui ruoli; access lists e capabilities. Kernel monolitico, microkernel modulare.
GP - Gestione delle Periferiche
OS-DM - Device Management
Dispositivi e processi di controllo. Gestione di alcuni dispositivi: dispositivi a caratteri, a blocchi e clock. File system reali e pseudo file system; gestione della persistenza dei dati in presenza di dispositivi di memoria volatile; consistenza, aggiornamento, concorrenza e journaling.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Interruzioni, memoria virtuale, DMA, trap, politiche di coda, analisi operazionale.
• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Panoramica sulle tecnologie di rete e sull'internetworking
* PT - Protocolli
+ NC-NA - Networked Applications
Lo stack di Internet: Livello Application
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Lo stack di Internet: Livello Transport
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Lo stack di Internet: Livello Network
* PT - Protocolli
+ NC-LAN - Local Area Networks
Lo stack di Internet: Livello Link e reti locali
V - Varie
+ PD-PF - Parallelism Fundamentals
Laboratorio
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Laboratorio su sicurezza di reti
* SR - Sicurezza delle Reti
* IAS-PSD - Principles of Secure Design
Laboratorio su sicurezza di reti
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
+ NC-I - Introduction: Computer Network Architecture
Laboratorio su programmazione di rete

Sillabo dell'insegnamento

• A - Fondamenti
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Test per la media, la varianza e la frequenza relativa di una variabile aleatoria dicotomica. Test chi-quadrato di indipendenza e bontà di adattamento.
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Variabili aleatorie discrete, densità, funzione di distribuzione, media e varianza di v.a. discreta, quantili, densità congiunta di due (o più) v.a. discrete, covarianza.
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Distribuzione uniforme, binomiale, geometrica (perdita della memoria), variabili aleatorie continue, densità, funzione di distribuzione, media, varianza quantili. Distribuzione normale (uso delle tavole). Legge dei grandi numeri e approssimazione normale.
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Variabili statistiche quantitative, diagrammi di dispersioni, funzione di distribuzione cumulata, quantili, boxplot.
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Media, varianza, scarto, deviazione standard di una v.s. quantitativa, trasformazioni lineari di v.s. quantitative.
TIC - Teoria dell'Informazione e Codici
DS-DP - Discrete Probability
Popolazione e campioni. Stimatori e intervalli di confidenza della media, della varianza e della frequenza relativa di una variabile aleatoria dicotomica.