Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento basati sui confronti (insertion sort, merge sort, quicksort, heap sort) e basati sul conteggio (counting sort e radix sort)
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Concetto di struttura dati. Pile, code, code con priorita'
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Analisi di algoritmi ricorsivi
* SDF - Strutture di Dati Fondamentali
+ AL-AS - Algorithmic Strategies
Tecnica Divide et Impera
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Introduzione all'analisi degli algoritmi, concetto di analisi asintotica
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Tabelle hash e code con priorita'.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Implementazione ricerche e algoritmi di sorting avanzati: Heap sort, Quicksort;
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi radicati e loro rappresentazione. Alberi binari di ricerca. Ricerca indicizzata su Alberi binari di ricerca e Tabelle di hash
* A - Algoritmi fondamentali
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Implementazione strutture dati dinamiche : Alberi 2-3, B-alberi, alberi AVL.

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi: rappresentazione e visite in ampiezza e profondita
TAA - Tecniche Algoritmiche Avanzate
+ AL-AS - Algorithmic Strategies
Algoritmi greedy: principi ed algoritmi classici
TAA - Tecniche Algoritmiche Avanzate
+ AL-AS - Algorithmic Strategies
Programmazione dinamica: principi ed algoritmi classici
TAA - Tecniche Algoritmiche Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Minimo albero ricoprente: algoritmi di Prim e Kruskal
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Cammini minimi: Dijkstra, Bellman-Ford e Floyd-Warshall
* A - Algoritmi fondamentali
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Ordine topologico, componenti connesse, SCC. Classi P ed NP, NP-completeness, tecniche di approssimazione, local search, algoritmi esatti: TCP

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Insiemi, operazioni insiemistiche, funzioni.
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Funzioni di una variabile: concetto di limite, continuità, Teorema di Weierstrass, Teorema dei valori intermedi.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Concetto di derivata, formule di derivazione, Teorema di Fermat.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Teoremi di Rolle, Lagrange e Cauchy, studio di monotonia, massimi e minimi, studio di convessità e concavità, Teoremi di de l'Hopital.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale definito: definizione mediante le somme di Riemann, proprietà delle funzioni integrabili, criteri di integrabilità
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Teorema della media integrale, teorema fondamentale del calcolo integrale, metodi di integrazione.

Sillabo dell'insegnamento

• E - Architetture
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Rappresentazione binaria dei numeri (interi, relativi e in virgola mobile)
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Reti logiche combinatorie e sequenziali
* CCS - Circuiti combinatori e sequenziali
+ AR-MLRD - Machine Level Representation of Data
Logica binaria, funzioni logiche binarie
* LII - Livello Instruction Set
+ AR-DLDS - Digital Logic and Digital Systems
Livelli di un sistema di elaborazione: livello della logica circuitale, livello della microarchitettura, livello della macchina convenzionale
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Codifica dell'informazione
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Codici binari ridondanti

Sillabo dell'insegnamento

• E - Architetture
* LMP - Livello di Microprogrammazione
AR-FO - Functional Organization
La struttura hardware di una CPU
* LMP - Livello di Microprogrammazione
AR-FO - Functional Organization
Architettura del processore IJVM con particolare riferimento al funzionamento del datapath, alla gestione della memoria, e all'utilizzo dello stack
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Organizzazione gerarchica della memoria e interazione fra i vari livelli della gerarchia
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Utilizzo del linguaggio MAL come strumento per implementare nuove istruzioni IJVM
* LMP - Livello di Microprogrammazione
AR-FO - Functional Organization
Come una istruzione macchina viene eseguita dall'hardware
* LII - Livello Instruction Set
+ PL-LTE - Language Translation and Execution
Concetti di traduzione (in particolare di assemblaggio), linking, loading e binding

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Implementazione e manutenzione di una base dati SQL
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Interrogazioni nel modello relazionale
* ML - Modelli logici
+ IM-RDQL - Relational Databases and Query Languages
Modello relazionale dei dati e suoi aspetti teorici
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Modello entita'-relazione
* PL - Progettazione Logica
+ IM-RDQL - Relational Databases and Query Languages
Traduzione dal modello ER al modello relazionale
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Utilizzo di DDS (Database Design Studio) come tool CASE e utilizzo del DBMS PostgreSQL
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Introduzione al linguaggio SQL.
NBD - Normalizzazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Forme normali
TCR - Transazioni, Concorrenza e Recovery
* IM-TP - Transaction Processing
Livelli di astrazione: esterno, logico e fisico. Nozioni di base sugli indici e sulle transazioni.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie uniformi, variabili aleatorie normali, variabili aleatorie esponenziali.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Modelli di variabili aleatorie: Variabili di Bernoulli e binomiali,Distribuzione di Poisson,
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Elementi di Probabilità: Assiomi della probabilità, diagrammi di Venn, Spazi equiprobabili, probabilità condizionata
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Distribuzioni con esempi.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica descrittiva. Stimatori e proprietà degli stimatori.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Intervalli di confidenza. Generalità sui test di ipotesi
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Teorema di Bayes.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie e valore atteso: Variabili aleatorie discrete e continue, variabili aleatorie indipendenti,
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
valore atteso, Varianza e covarianza.

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
Nozioni di base di teoria dei linguaggi.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi regolari ed espressioni regolari. Grammatiche lineari e corrispondenza con i linguaggi regolari. Automi a stati finiti e loro relazione con i linguaggi regolari
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi e grammatiche context free. Grammatiche context sensitive (cenni). Principali strutture sintattiche e regole grammaticali per generarle
* ALF - Automi e Linguaggi Formali
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Automi a pila (deterministici e non) e loro relazioni con i linguaggi context free
* ALF - Automi e Linguaggi Formali
* PL-SyA - Syntax Analysis
Teoria di base del parsing LR: parsing bottom up a spostamento e riduzione
* ALF - Automi e Linguaggi Formali
* PL-SyA - Syntax Analysis
Parsing LR(0), LR(1) ed LALR(1).

Sillabo dell'insegnamento

• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Concetti base sui compilatori.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CSA - Compiler Semantic Analysis
Traduzione guidata dalla sintassi: grammatiche ad attributi e schemi di traduzione
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CSA - Compiler Semantic Analysis
Analisi semantica, controllo dei tipi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Ambienti di esecuzione dei linguaggi, in particolare di linguaggi di tipo imperativo
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Generazione del codice intermedio
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Linguaggi intermedi

Sillabo dell'insegnamento

• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Verifica e validazione del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Definizione di Ingegneria del Software, modelli in cascata e a spirale
* AR - Analisi dei Requisiti
+ SE-TE - Tools and Environments
Introduzione alla gestione di progetto; Stima dei costi e scheduling di progetto; Analisi dei requisiti
* ASW - Architetture Software
+ SE-SPRE - Software Processes and Requirement Engineering
Modelli di sistema (Data Flow, ASF, Reti di Petri); Architetture sw: dati e controllo
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Introduzione alla progettazione ad oggetti e alla notazione UML; Diagrammi delle classi e degli oggetti
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Dalla progettazione alla implementazione; il tool Visual Paradigm per la progettazione; Svolgimento progetto con il tool Visual Paradigm

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
MAT/02 - Algebra
Numeri interi. Divisibilità e numeri primi. Massimo comun divisore. Algoritmo di Euclide. Minimo comune multiplo. Equazioni diofantee.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Congruenze e classi di resto. Criteri di divisibilità. Rappresentazione di numeri con base diversa da 10. Teorema cinese del resto.
MAT/02 - Algebra
MAT/02 - Algebra
Condivisione di segreti mediante sistemi di congruenze. Il teorema di Eulero. Il problema del logaritmo discreto. Il protocollo di Diffie-Hellman. Il protocollo RSA.
MAT/02 - Algebra
MAT/02 - Algebra
Radici quadrate modulo n e lancio di una moneta al telefono. Test di primalità di Miller-Rabin. Polinomi somma, prodotto, divisione euclidea, teorema di Ruffini, teorema fondamentale dell'algebra.
MAT/03 - Geometria
MAT/03 - Geometria
Polinomio interpolatore. Cenni sui codici a correzione di errore di Reed-Solomon. Matrici e sistemi lineari.
MAT/03 - Geometria
MAT/03 - Geometria
Metodo di Eliminazione di Gauss. Codici a correzione di errore di Hamming.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Calcolo proposizionale
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Calcolo dei predicati
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Deduzione naturale

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Programmazione client-side: linguaggio Javascript
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Programmazione server-side: linguaggio PHP
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Java servlets e JSP
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
interfacciamento con RDBMS
PASR - Programmazione di Applicazioni e Servizi di Rete
IM-ISR - Information Storage And Retrieval
Linguaggi di markup: XHTML e HTML5, fogli di stile CSS
PASR - Programmazione di Applicazioni e Servizi di Rete
+ HCI-PIS - Programming Interactive Systems
Architetture 3-tier
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Esempi ed esercizi di programmi web scritti in linguaggio Javascript
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Esempi ed esercizi di programmi web scritti in linguaggio PHP
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Esempi ed esercizi di programmi web scritti in Java

Sillabo dell'insegnamento

• C - Programmazione
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione alla programmazione, algoritmi variabili, costanti, operatori aritmetici, operazioni di input/output selezione con operatori di confronto selezione con operatori logici, cicli
* P - Procedure
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Uso di funzioni, passaggio dei parametri
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Tipi elementari. Array e stringhe
* SCP - Sviluppo e Correttezza dei Programmi
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Decomposizione di un problema, scelta delle strutture dati e delle strutture di controllo
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Il linguaggio C: tipi elementari, istruzioni ed espressioni
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Elementi del linguaggio di programmazione C: programmi, espressioni, istruzioni, dichiarazioni. Tipi di dato semplice e strutturato
* P - Procedure
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Array in C, puntatori e gestione della memoria
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Algortmi su array: inserimento, cancellazione, ricerca, ordinamento
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Lettura e scrittura sequenziale su file

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Il tipo lista: Introduzione; Implementazione linkata; liste di strutture (costrutto struct in C)
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Puntatori C e liste linkate; Esercizi iterativi su liste (realizzate tramite puntatori) in C
* R - Ricorsione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Ricorsione: Introduzione generale
* R - Ricorsione
PL-CG - Code Generation
Complessita' in spazio e tempo delle procedure e funzioni ricorsive; Record di attivazione per procedure e funzioni ricorsive
* R - Ricorsione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Esercizi di programmazione ricorsiva in C; Algoritmi ricorsivi di ordinameto: Quicksort, Mergesort
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Implementazioni liste
* R - Ricorsione
+ PL-BTS - Basic Type Systems
Implementazione algoritmi ricorsivi su liste
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Implementazione strutture basate su liste (pile e code)
* CB - Costrutti di Base
* PL-RS - Runtime Systems
Gestione memoria dinamica: malloc/free

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
* PL-EDRP - Event-Driven and Reactive Programming
Graphical user interface (GUI), event-driven programming
* POO - Programmazione Orientata agli Oggetti
+ HCI-DI - Designing Interaction
Model View Controller (MVC)
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
oggetti, incapsulamento dei dati, invio di messaggi, classi, istanze, allocazione dinamica della memoria, puntatori e oggetti
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Programmazione in Java. Strutturazione in package. Streams, files e serializzazione.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
relazioni fra classi: ereditarieta', composizione, uso; confronto fra ereditariet? e composizione; confronto fra ridefinizione (overriding) e sovraccarico (overloading) di metodi e campi
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
binding dinamico e riuso del codice; relazione fra binding dinamico, sottotipi, e polimorfismo

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Introduzione intuitiva alla rete, descrivendone in modo qualitativo la struttura e le funzionalita'.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-NA - Networked Applications
Livello applicazione: protocolli per la gestione della posta elettronica, del WEB e del DNS.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-NA - Networked Applications
Livello sessione: i socket, programmazione dei socket.
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Protocollo TCP, time-out, ritrasmissione, controllo del flusso, protocollo UDP
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Livello rete: protocolli IP e ICMP.
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Protocolli di instradamento: algoritmi di instradamento, nozione di Sistema Autonomo, protocolli RIP, OSPF, BGP.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Interfacciamento tra il livello rete e il livello dati: protocolli ARP, RARP
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Livello dati: protocolli per l'accesso al mezzo (Ethernet), tecniche per il rilevamento e la correzione degli errori di trasmissione.
DR - Dispositivi di Rete
+ NC-I - Introduction: Computer Network Architecture
Componenti utilizzati a livello dati: bridge, switch.
PASR - Programmazione di Applicazioni e Servizi di Rete
IM-MMS - MultiMedia Systems
Comunicazione multimediale: architetture e protocolli di streaming, qualità del servizio
* PT - Protocolli
+ NC-NA - Networked Applications
Comunicazione interattiva su reti IP: IP-PHONE, Video-conferenza su IP, protocolli RTP, SIP, H323.
* PT - Protocolli
+ NC-NA - Networked Applications
Introduzione al concetto di protocollo contestualizzato all'interno delle applicazioni di rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-LAN - Local Area Networks
Utilizzando i socket Berkeley si sviluppano semplici applicazioni di rete in ambito locale
GRC - Gestione di Reti di Calcolatori
+ NC-RDD - Reliable Data Delivery
Studio e implementazioni delle principali metodologie per rendere le applicazioni di rete affidabili
* ARTC - Architettura delle Reti di Calcolatori
NC-M - Mobility
Reti WIRELESS: reti WI-FI e Reti Cellulari

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Tipologie di sistemi operativi e organizzazione del nucleo
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Gestione dei processi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Scheduling dei processi
* GSP - Gestione e Sincronizzazione dei Processi
+ PD-PF - Parallelism Fundamentals
paradigmi di programmazione concorrente
* GSP - Gestione e Sincronizzazione dei Processi
+ PD-PF - Parallelism Fundamentals
costrutti linguistici e librerie per la programmazione concorrente
* GM - Gestione della Memoria
+ OS-MM - Memory Management
gestione della memoria
PS - Programmazione di Sistema
+ OS-O - Overview of Operating Systems and Principles
Processi nel sistema Unix
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Threads in Unix
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Sincronizzazione e comunicazione tra processi e threads

Sillabo dell'insegnamento

• E - Architetture
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Gestione dell'Input/Ouput: architettura del sottosistema di I/O; interfaccia di I/O per le applicazioni; sottosistema di I/O del kernel
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Struttura dei dispositivi di memorizzazione; struttura dei dischi; scheduling del disco; gestione dell'unitá a disco; sistemi RAID
• F - Sistemi operativi
GP - Gestione delle Periferiche
OS-DM - Device Management
Progettazione e sviluppo di driver di periferiche di Input/Output: struttura di un driver; i driver nel sistema operativo Linux
GP - Gestione delle Periferiche
OS-DM - Device Management
I moduli del sistema operativo Linux; meccanismi di interazione con i driver nel sistema operativo Linux; gestione delle interruzioni nel sistema operativo Linux
* FS - File System
* OS-FS - File Systems
Progettazione e realizzazione di file system: il concetto di file e di file system; struttura della directory e del disco; condivisione di file; meccanismi di protezione dei file
* FS - File System
* OS-FS - File Systems
Struttura del file system; implementazione di file e directory; metodi di allocazione; gestione dello spazio libero; metodi di allocazione; efficienza e prestazioni; backup e ripristino

Sillabo dell'insegnamento

• F - Sistemi operativi
SAA - Sistemi operativi per Architetture Avanzate
* PBD-MP - Mobile Platforms
Piattaforma Android, Emulatore Android, La mia prima App
SAA - Sistemi operativi per Architetture Avanzate
* PBD-MP - Mobile Platforms
XML-based Layou t- Widget di base -Lavorare con i container - Metodi di input: Framework
SAA - Sistemi operativi per Architetture Avanzate
* PBD-MP - Mobile Platforms
Messaggi Pop-up - Gestione delle Thread - Ciclo di vita di una app - Creazione di Intent filter - Gestione schermi
SAA - Sistemi operativi per Architetture Avanzate
* PBD-MP - Mobile Platforms
Fragments - Menus e Preferences - Accessing Files - Sensors.
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Maps e StreetView
• L - Interazione, grafica e multimedialità
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
+ HCI-PIS - Programming Interactive Systems
ListViews e Adapters - Location services - GridViews e Gestures SurfaceViews e Canvas

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

Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
AI - Agenti Intelligenti
* IS-FI - Fundamental Issues
Introduzione all'intelligenza artificiale
* RP - Risoluzione di Problemi
* IS-BSS - Basic Search Strategies
Ricerca nello spazio degli stati: ricerca path-based cieca ed euristica. L'algoritmo A*.
* RP - Risoluzione di Problemi
* IS-BSS - Basic Search Strategies
Algoritmi di miglioramento iterativo: hill-climbing e simulated annealing; Cenni su problemi CSP; 3)**Algoritmi per giochi a 2 concorrenti: minimax e alfa/beta pruning
* SBC - Sistemi Basati su Conoscenza
* IS-BML - Basic Machine Learning
Rappresentazione della conoscenza: cenni su formalismi logici e a regole. Sistemi di Case-Based Reasoning; uso del tool CBR-Works
* SBC - Sistemi Basati su Conoscenza
IS-RUU - Reasoning Under Uncertainty
Conoscenza Incerta: richiami di calcolo delle probabilità; Bayesian Belief Networks (proprietà ed algoritmi) e uso di tool per il loro sviluppo (Genie, Hugin, ecc...)
* SBC - Sistemi Basati su Conoscenza
IS-RUU - Reasoning Under Uncertainty
Teoria delle decisioni: generalità, il concetto di utilità attesa e di lotteria, Influence Diagrams e loro uso per utilità multi-attributo

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

Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
+ DS-BL - Basic Logics
Richiami sulla logica proposizionale e la logica del I ordine. La risoluzione.
• M - Rappresentazione della conoscenza
* SBC - Sistemi Basati su Conoscenza
* IS-BKRR - Basic Knowledge Representation and Reasoning
Rappresentazione della conoscenza nella logica proposizionale e del primo ordine
* SBC - Sistemi Basati su Conoscenza
* IS-BKRR - Basic Knowledge Representation and Reasoning
Rappresentazione dei cambiamenti, pianificazione

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

Sillabo dell'insegnamento

• H - Computazione su rete
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Introduzione alla sicurezza. Vulnerabilità e requisiti di sicurezza.
* ARTC - Architettura delle Reti di Calcolatori
IAS-TA - Threats and Attacks
Rischi di sicurezza, attacchi, livelli di vulnerabilita'
* ARTC - Architettura delle Reti di Calcolatori
IAS-C - Cryptography
Crittografia a chiave simmetrica. Cifrari, metodi per l'autenticazione di utenti e di entita'
* ARTC - Architettura delle Reti di Calcolatori
IAS-C - Cryptography
Crittografia a chiave pubblica. Cifrari, scambio di chiavi, autenticazione (di utenti ed entita'), certificati digitali
* ARTC - Architettura delle Reti di Calcolatori
IAS-NS - Network Security
Uso della crittografia per la sicurezza delle reti, protocolli autogaranti
* ARTC - Architettura delle Reti di Calcolatori
IAS-NS - Network Security
Attacchi e vulnerabilita' specifiche delle reti, contromisure e meccanismi di difesa. Firewall. Organizzazione delle reti per la sicurezza.

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Codifica dei segnali: campionamento, quantizzazione, analisi in frequenza
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
GV-BR - Basic Rendering
Codifica delle immagini (immagini Raster, La percezione e la codifica dei colori, la codifica delle immagini raster
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
immagini GIF, JPEG, PNG
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Basi di elaborazione delle immagini (correzione dei colori, filtraggio ed elaborazione, algoritmi di fotoritocco)
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Codifica del suono: formati (PCM, MP3)
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
* GV-FC - Fundamental Concepts
Elaborazione del suono e applicazione di effetti (riduzione del rumore, effetto riverbero, ecc.)

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