Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
MAT/02 - Algebra
Congruenze
MAT/02 - Algebra
MAT/02 - Algebra
Autovalori e autovettori
MAT/02 - Algebra
MAT/02 - Algebra
Matrici
MAT/02 - Algebra
MAT/02 - Algebra
Sistemi lineari
MAT/02 - Algebra
MAT/02 - Algebra
Spazi vettoriali e sottospazi
MAT/02 - Algebra
MAT/02 - Algebra
Applicazioni lineari

Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Complessità computazionale, ordini di grandezza, relazioni di ricorrenza
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Sequenze, vettori, liste, pile, code, Alberi liberi, alberi binari, alberi di ricerca
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Dizionari, tabelle hash
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Code con priorità, heap, heapsort
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Insiemi, union-find
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi, visite DFS e BFS
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Divide et impera, mergesort, ricerca binaria
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Programmazione dinamica
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Greedy, Ricerca locale
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Backtracking
* A - Algoritmi fondamentali
+ AL-AS - Algorithmic Strategies
Quicksort, Shellsort, Counting sort
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Algoritmi per minimo albero di copertura e cammini minimi

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Limiti di funzioni di una variabile reale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
I numeri: N,Z,Q,R. Il principio di induzione.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni e serie.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Infinitesimi ed infiniti. Formula di Taylor.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Continuita' (proprieta' locali e globali).
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate di funzioni di una variabile reale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Monotonia. Massimi e minimi locali.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Studio di una funzione di una variabile reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo integrale per funzioni di una variabile : primitive e integrale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo integrale per funzioni di due variabili.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale generalizzato.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Introduzione al calcolo differenziale per funzioni di piu' variabili reali. Continuita' e derivabilita' di una funzione di due variabili reali.

Sillabo dell'insegnamento

• E - Architetture
V - Varie
+ AR-DLDS - Digital Logic and Digital Systems
Organizzazione generale a livelli dei computer, Rappresentazione dell'informazione, Componenti hardware e software di un computer, BIOS e boot, Sistema Operativo, Mappaggio del linguaggio ANSI C sull'assembly.
* LMP - Livello di Microprogrammazione
+ AR-DLDS - Digital Logic and Digital Systems
Data Path, Operazioni in memoria, Segnali di controllo per il Data Path e temporizzazione, Un esempio di micro-architettura, Formato delle micro-istruzioni, Il micro-programma.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Architettura 8088 (8086), Organizzazione della memoria e segmenti, Operazioni in memoria, Formato delle istruzioni assembly, Indirizzamento, Istruzioni, Cicli, Salti, Chiamate a procedure, Interrupt, System Calls.
* LII - Livello Instruction Set
+ AR-MSOA - Memory System Organization and Architecture
Registri, Indirizzamento in memoria, Interrupt ed eccezioni, I/O, Modelli di I/O. Caso di Studio: Architettura Intel IA-32
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Fondamenti su Reti logiche, algebra di Boole, reti combinatorie, reti sequenziali, Memorie, CPU e bus.
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Rappresentazione dei numeri interi e floating point, Operazioni aritmetiche, Operazioni Logiche, La ALU

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Funzionalità dei sistemi per la gestione di basi di dati (DBMS) vs altri sistemi di archiviazione.
* PC - Progettazione concettuale
IM-PDD - Physical Database Design
I meccanismi di astrazione dei modelli dei dati. Progettazione concettuale delle basi di dati.
* PC - Progettazione concettuale
IM-PDD - Physical Database Design
Modello ER e ristrutturazione di schemi ER.
* PL - Progettazione Logica
IM-PDD - Physical Database Design
Le dipendenze fra i dati. Decomposizioni di schemi relazionali. Forme normali.
* ML - Modelli logici
+ IM-DMo - Data Modeling
La teoria relazionale delle basi di dati.
* ML - Modelli logici
+ IM-DMo - Data Modeling
Il calcolo su tuple
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL per creare e usare basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL per creare e usare basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio Datalog ed i trigger in SQL
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Architettuta di un DBMS, componenti di un DBMS
NBD - Normalizzazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Analisi delle ridondanze, dipendenze funzionali, forme normali e tecniche di normalizzazione
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
La nozione di transazione e le proprietà acide, concorrenza, recovery, cenni di ottimizzazione

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Eventi e numeri aleatori
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Probabilità e previsione, probabilità e previsioni subordinate
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Varianza, covarianza, coefficiente di correlazione, diseguaglianza di Chebichev, legge debole dei grandi numeri
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Distribuzioni discrete e assolutamente continue
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Elementi di catene di Markov
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Inferenza statistica

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Numeri Finiti
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Funzioni Polinomiali
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Interpolazione
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Integrazione Numerica
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Equazioni non Lineari
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algebra Lineare Numerica

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Linguaggi subricorsivi: ricorsione primitiva, sistema T;incompletezza dei formalismi totali;
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Macchine di Turing e altri formalismi equivalenti; la tesi di Church.
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Il problema della terminazione, altri problemi indecidibili; il teorema di Rice.
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Insiemi ricorsivi e ricorsivamente enumerabili; il teorema di Rice-Shapiro.
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Il teorema del punto fisso di Kleene.
* CAL - Calcolabilità
AL-AATC - Advanced Automata Theory and Computability
Riducibilita'; insiemi produttivi, creativi, immuni, semplici. Calcolabilita' e (in)completezza.
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Problemi computazionali;
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Modelli di Computazione e misure di Complessita';
COM - Complessità
AL-ACC - Advanced Computational Complexity
Classi e gerarchie di complessita'
COM - Complessità
AL-ACC - Advanced Computational Complexity
classi notevoli; riduzione
COM - Complessità
AL-ACC - Advanced Computational Complexity
P vs NP, Problemi NP-completi
COM - Complessità
AL-ACC - Advanced Computational Complexity
Complessita' con oracoli

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Processi strutturati e processi agili
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Il modello di analisi
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Raffinamento di modelli Dominio del problema e dominio della soluzione I design pattern
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Il testing nei processi software
MSQ - Misure del Software e Qualita'
* SE-SPM - Software Project Management
Misure di qualità del software Principi di progettazione object-oriented
* LMS - Linguaggi di Modellazione del Software
* SE-SPM - Software Project Management
Linguaggi di Modellazione del Software UML

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
* PL-CP - Concurrency and Parallelism
Cenni di programmazione concorrente.
PCC - Programmazione Concorrente
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Il paradigma funzionale, logico e imperativo a confronto.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Il paradigma object-oriented, nozioni generali e cenni impolementativi.
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-BTS - Basic Type Systems
Tipi e controllo di tipo.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
PL-APC - Advanced Programming Constructs
Controllo di sequenza, procedure, ricorsione. Parametri e modalità di passaggio.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Cenni alla struttura di un compilatore.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ OS-MM - Memory Management
Ambiente, regole di scoping, gestione della memoria.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Sintassi e grammatiche generative.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche regolari, automi regolari, espressioni regolari.
* LF - Linguaggi Formali
* PL-SyA - Syntax Analysis
Grammatiche libere da contesto, automi a pila
* LF - Linguaggi Formali
* PL-SyA - Syntax Analysis
Grammatiche LL(1), LR(0), SLR, LR(1), LALR
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Macchine astratte, interpreti, compilatori.

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
+ DS-BL - Basic Logics
Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche. Forma normale prenessa e algoritmo di Skolem.
L - Logica
+ DS-BL - Basic Logics
Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate.
L - Logica
+ DS-PT - Proof Techniques
Ricorsione e induzione strutturale.
L - Logica
+ DS-BL - Basic Logics
Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche.
L - Logica
+ DS-PT - Proof Techniques
Forme normali congiuntive e disgiuntive. Compattezza. Deduzione Naturale. Correttezza e completezza.
L - Logica
+ DS-PT - Proof Techniques
Deduzione naturale. Teorema di correttezza. Teorema di completezza. Teorema di compattezza.

Sillabo dell'insegnamento

• B - Algoritmi
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Problemi di assegnamento
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
L'algoritmo del simplesso
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione lineare intera
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Problemi di flusso
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Problemi di ottimizzazione

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche BNF
• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi binari
• C - Programmazione
* P - Procedure
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Funzioni
* R - Ricorsione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Funzioni ricorsive
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Comandi condizionali e cicli
* SS - Sintassi e Semantica
+ PL-BTS - Basic Type Systems
Identificatori, dichiarazioni, tipi di dato
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Sottoclassi e ereditarietà
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Classi
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Strutture dati dinamiche
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Strutture
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Array

Sillabo dell'insegnamento

• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
+ NC-I - Introduction: Computer Network Architecture
Applicazioni distribuite e loro requisiti, integrazione di calcolo e comunicazioni, prestazioni, affidabilità, standard, protocolli di comunicazione (sintassi e semantica).
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Strutturazione delle architetture di rete in gerarchie di protocolli, Open System Interconnection Reference Model
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Tecniche di codifica del segnale, individuazione di errori, trasmissione affidabile, gli standard 802.3, 802.5, 802.11 e i relativi protocolli di accesso (protocolli MAC).
* ARTC - Architettura delle Reti di Calcolatori
+ NC-RF - Routing And Forwarding
Commutazione di pacchetto, datagrams, circuiti virtuali, switching, forwarding e routing, reti ATM, interconnessione di reti, modelli di servizio, indirizzamento globale, routing globale.
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Protocolli IP, ARP, DHCP, ICMP, RIP, OSPF, IPV6, multicasting e il Protocol Independent Multicast (PIM).
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Protocolli end-to-end, UDP, TCP.
* PT - Protocolli
NC-RA - Resource Allocation
Controllo di congestione e allocazione di risorse in TCP, meccanismi di prevenzione della congestione di rete, qualità del servizio.
* MIR - Modelli di Interazione in Rete
+ NC-NA - Networked Applications
il modello client-server, i protocolli di chiamate di procedure remote.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Il Domain Name System, l'applicazione di posta elettronica (SMTP, MIME, IMAP), il World Wide Web (HTTP).
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
L'interfaccia socket TCP/IP. Implementazione di Applicazioni a base UDP e TCP.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Applicazioni con thread Posix, server multiprocesso e I/O multiplexing.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Monitoraggio della rete: ricezione avvisi ICMP, DNS. API per gestione di memoria condivisa. Comunicazione tra processi e pthread con socket Unix. Cenni su netfilter/iptables.

Sillabo dell'insegnamento

• B - Algoritmi
V - Varie
+ IAS-FCS - Foundational Concepts in Security
History of cryptography, Secret-key techniques, one-time pad, The DES algorithm
V - Varie
* IAS-PSD - Principles of Secure Design
Public-key techniques, The RSA algorithm, Correctness and efficiency of RSA, Primality testing, Authentication, Digital signatures, Message integrity, Digest algorithms, Key escrow, Secret Sharing
• F - Sistemi operativi
V - Varie
* OS-SPr - Security and Protection
User Authentication, Passwords, Spoofing, Dictionary attacks, Discretionary Access Control, Mandatory Access Control, Capabilities
• H - Computazione su rete
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Trustworthiness, Security policies, Trust models, PGP, Technologies for secure channels, SSL
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Phishing, Keylogger, Sniffing attacks, Smart Cards, Biometrics
* SR - Sicurezza delle Reti
IAS-WS - Web Security
Firewalls, Packet Filters, Proxy Servers, IPSec, Auditing, Intrusion Detection Systems

Sillabo dell'insegnamento

• C - Programmazione
PCC - Programmazione Concorrente
+ OS-C - Concurrency
programmazione concorrente
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Struttura dei sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-O - Overview of Operating Systems and Principles
semafori spinlock
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
monitor scheduler
GP - Gestione delle Periferiche
OS-DM - Device Management
device driver e gestione memoria secondaria
* FS - File System
* OS-FS - File Systems
interfaccia e implementazione dei FS
* GM - Gestione della Memoria
+ OS-MM - Memory Management
segmentazione paginazione mem. virtuale
* AMM - Amministrazione di sistema
+ OS-O - Overview of Operating Systems and Principles
installazione configurazione e manutenzione dei SO
GCA - Gestione e Controllo degli Accessi
* OS-SPr - Security and Protection
sicurezza dei SO
PS - Programmazione di Sistema
+ OS-O - Overview of Operating Systems and Principles
interfaccia POSIX
MA - Modelli e Architetture di sistemi operativi
* OS-VM - Virtual Machines
microkernel macchine virtuali
V - Varie
+ OS-O - Overview of Operating Systems and Principles
implementazione di sistemi sperimentali

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
+ NC-NA - Networked Applications
Protocolli di VII livello: SMTP, NNTP, HTTP, codifica caratteri, URI
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Linguaggi di markup per il Web (HTML, XHTML, CSS)
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
XML e linguaggi associati (namespace, XPath, XSLT, XML Schema)
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Programmazione per il Web server-side (PHP, Perl, Python)
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Markup e metalinguaggi di markup (SGML, XML, TeX, ecc.)
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Programmazione per il Web client-side (Javascript, AJAX framework)