Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
MAT/02 - Algebra
Massimo comun divisore e algoritmo di Euclide. Anelli di classi resto.
MAT/02 - Algebra
MAT/02 - Algebra
Richiami sui polinomi: divisione, zeri, fattorizzazione in irriducibili (sui reali e sui complessi).
MAT/02 - Algebra
MAT/02 - Algebra
Equazioni lineari e matrici: matrici, operazioni sulle matrici.
MAT/02 - Algebra
MAT/02 - Algebra
Sistemi di equazioni lineari, metodo di eliminazione di Gauss, sistemi omogenei, matrice inversa.
MAT/03 - Geometria
MAT/03 - Geometria
Spazi vettoriali, sottospazi, basi.
MAT/03 - Geometria
MAT/03 - Geometria
Funzioni lineari, nucleo e immagine.
MAT/03 - Geometria
MAT/03 - Geometria
Autovalori, autovettori e diagonalizzazione di matrici.
MAT/03 - Geometria
MAT/03 - Geometria
Prodotti scalari, ortogonalità e procedimento di Gram-Schmidt. Cenni alle forme quadratiche.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Induzione; definizioni e conti per induzione. Teoria dei grafi: introduzione ai grafi e nozioni di base, connettività, cammini.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Teoria dei grafi: tagli, alberi, grafi planari, cicli euleriani e circuiti hamiltoniani.
MAT/09 - Ricerca Operativa
+ DS-BC - Basics of Counting
Enumerazione: permutazioni e combinazioni semplici, permutazioni e combinazioni con ripetizione.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Distribuzioni, identità binomiali e triangolo di Pascal, relazioni di ricorrenza.

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di ordinamento e ricerca
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Complessita' massima e media. Limiti inferiori. Nozione di complessita' di un algoritmo
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Code di priorità e Heapsort
* A - Algoritmi fondamentali
+ AL-BACC - Basic Automata, Computability and Complexity
Limite inferiore per l'ordinamento e Ordinamento in tempo lineare
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Tabelle Hash
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
Programmazione dinamica
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Algoritmi greedy
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Complessita' ammortizzata

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Numeri (naturali, interi, razionali, reali, complessi). Relazioni di equivalenza. Cardinalita`: insiemi finiti e infiniti).
MAT/05 - Analisi Matematica
+ DS-SRF - Sets, Relations, and Functions
Piano e Spazio euclidei (vettori nel piano e nello spazio ordinario; equazioni cartesiane di rette e piani).
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni in R.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Limiti di funzioni di una variabile reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate di funzioni di una variabile reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Teoremi fondamentali del calcolo integro-differenziale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Formula di Taylor.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Grafici di funzioni di una variabile. Massimi e minimi locali.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale definito. Integrale indefinito e metodi di integrazione. Integrali generalizzati.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie numeriche.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Equazioni differenziali del primo ordine.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Cenni su alcune generalizzazioni dell'Analisi per funzioni di più variabili

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Linguaggio assembler. Simulatore CPUSim.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Algebra di Boole. Porte logiche. Circuiti Combinatori. Circuiti sequenziali.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Caratteristiche istruzioni macchina. Tipi degli operandi, dati, operazioni. Indirizzamento. Formato istruzioni,
VMP - Valutazione e Miglioramento delle Prestazioni
AR-PE - Performance Enhancements
Pipeline: principi generali, prestazioni ideali, dipendenze, tecniche per la riduzione delle dipendenze, MIPS.
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Memorie e Gerarchie di Memorie. Cache: tecniche di associazione, politiche di rimpiazzo
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Input/Output: dispositivi esterni, modulo I/O, gestione da programma, gestione tramite interruzioni, DMA
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Architetture CISC e RISC
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Livello Macchina, Rappresentazione Binaria, Aritmetica

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti, espressioni e linguaggi regolari.
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Grammatiche e linguaggi liberi dal contesto.
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Automi a pila, macchine di Turing.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Concetto di indecidibilita', problemi intrattabili.
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Classi P e NP, relazione con i compilatori
• D - Linguaggi
TAV - Tecniche di Analisi e Verifica
+ PL-LTE - Language Translation and Execution
Analisi sintattica: parser top-down (LL) e bottom-up (LR)
TAV - Tecniche di Analisi e Verifica
* PL-SyA - Syntax Analysis
Analisi sintattica: parser top-down (LL) e bottom-up (LR)
TAV - Tecniche di Analisi e Verifica
* PL-SyA - Syntax Analysis
Analisi lessicale

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL.
* PL - Progettazione Logica
+ IM-IMC - Information Management Concepts
Progettazione logica di basi di dati nel modello relazionale
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Progettazione concettuale di basi di dati mediante modello EER
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Introduzione alle basi di dati e ai sistemi di gestione di basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Il sistema MySQL
* ML - Modelli logici
+ IM-RDQL - Relational Databases and Query Languages
Modello relazionale, algebra relazionale, calcolo relazionale dei domini.
NBD - Normalizzazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Dipendenze funzionali. Scomposizione di relazioni, con preservazione di dati e/o dipendenze.
NBD - Normalizzazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Forme normali per gli schemi di relazione (1NF, 2NF, 3NF e BCNF) e scomposizioni in forma normale.
LP - Linguaggi di Programmazione di Basi di Dati
IM-ISR - Information Storage And Retrieval
SQL per le applicazioni: SQL embedded. Call level interface (JDBC, ODBC).

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Equazioni non lineari: Metodi iterativi. Successioni convergenti. Metodo di bisezione. Metodi di punto fisso. Metodo di Newton. Test di arresto.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Sistemi lineari: costo computazionale; errori e condizionamento; stime dell'errore; precondizionamento. Metodi diretti: Gauss, Cholesky, Householder (cenni). Fattorizzazioni LU e Cholesky. Calcolo del determinante e dell'inversa di una matrice. Metodi iterativi di rilassamento (Jacobi, Gauss-Seidel, SOR). Test di arresto.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Laboratorio di Calcolo Numerico in Matlab.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Approssimazione discreta polinomiale. Interpolazione (Lagrange, Newton, Chebyshev). Minimi quadrati (retta di regressione).
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Quadratura numerica. Formule interpolatorie: Lagrange, Newton-Cotes, Gauss (cenni).
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Equazioni differenziali ordinarie: Metodi discreti ad un passo: Taylor, Eulero (implicito ed esplicito), Runge Kutta.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Cenni al calcolo numerico degli Autovalori.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Ciclo di vita del software e processi di ciclo di vita.
* PSS - Processi di Sviluppo del Software
* SE-SPM - Software Project Management
Gestione di progetto: pianificazione, analisi e mitigazione dei rischi, gestione del tempo e delle risorse.
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Amministrazione di progetto: pianificazione, installazione e manutenzione dell'infrastruttura tecnica di supporto al lavoro di progetto, sia per la parte di gestione che per quella di sviluppo.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Elementi di UML: diagrammi dei casi d'uso; diagrammi delle classi e dei package; diagrammi di attività e di sequenza.
* PSS - Processi di Sviluppo del Software
+ SE-SDC - Software Design and Construction
Metodi di sviluppo consapevole: come la programmazione deve essere conseguenza di analisi e progettazione; come contenere i costi di verifica.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Obiettivi e tecniche di verifica e di validazione.

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
+ SE-TE - Tools and Environments
Progettazione e realizzazione in un progetto didattico: tool e documentazione. Software liberi multipiattaforma BoUML, ArgoUML.
* PSC - Progettazione del Software e Codifica
+ SE-TE - Tools and Environments
Pacchetto di prova UMLStudio. Rational (ora IBM).
* AR - Analisi dei Requisiti
+ SE-TE - Tools and Environments
Analisi e specifica dei requisiti in un progetto didattico: UML v.2.1.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Testing, Verifica e Validazione in un progetto didattico.
* AR - Analisi dei Requisiti
+ SE-TE - Tools and Environments
Analisi e specifica dei requisiti in un progetto didattico: UML v.2.1.
* PSS - Processi di Sviluppo del Software
SE-SR - Software Reliability
Spunti per il controllo delle revisioni e della condivisione dei documenti: subversion.tigris.org, CVS-RCS.
* PSS - Processi di Sviluppo del Software
+ SE-TE - Tools and Environments
Semplice ambiente per la gestione dei diagrammi di Gantt (GanttProject). Convenzioni JavaDoc: riassunto regole essenziali per la scrittura dei commenti all'interno del codice.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BL - Basic Logics
Linguaggio, segni e espressioni, simboli e proposizioni, asserzioni e dichiarazioni, metalinguaggio, livelli di riferimento, iterazione infinita.
MAT/01 - Logica Matematica
+ DS-PT - Proof Techniques
Concetto di macchina o robot, significato dei connettivi e loro regole di deduzione, logica classica (cenni all'esistenza di altre logiche tra cui quella intuizionista), tavole di verità, funzioni proposizionali e sottoinsiemi, quantificatori e loro regole di deduzione.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Metodi di decisione per il calcolo dei sequenti proposizionale classico.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Definizioni e dimostrazioni per induzione, termini e formule, interpretazione delle formule, nozione di modello e contromodello, validità, soddisfacibilità e insoddisfacibilità di una formula.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Cenni ai teoremi di completezza e incompletezza (Goedel) e di indecidibilità (Church) e loro significato.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Analisi dettagliata di un esempio pratico: teoria assiomatica dell'aritmetica di Peano.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Calcolo delle probabilità. Assiomi e conseguenze elementari degli assiomi. Probabilità condizionata. Formula della probabilità totale e di Bayes. Eventi indipendenti.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili e vettori casuali discreti. Funzione di ripartizione e densità discreta. Variabili indipendenti. Parametri riassuntivi: valore atteso, varianza, momenti, correlazione, covarianza.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Disuguaglianze: Jensen, Markov, Chebishev. Esempi di variabili casuali discrete: Bernoulli, binomiale, geometrica, Poisson. Teorema limite di Poisson. Variabili casuali assolutamente continue.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Legge dei grandi numeri (Chebyshev). Il metodo di Montecarlo. Teorema limite centrale (Lindeberg- Lévy). Approssimazione normale.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica Descrittiva. Dati qualitativi e quantitativi, frequenze relative, metodi grafici di analisi dei dati. Indici di centralità, di dispersione, e di forma. Correlazione tra caratteri numerici: retta di regressione, covarianza e coefficiente di correlazione.
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica Inferenziale. Stimatori. Intervalli di confidenza. Test statistici: ipotesi e alternativa, regione critica, valore critico, errori di prima e seconda specie, potenza, il valore p, test bilateri e unilateri. Test sulla media e sulla differenza di medie. Test accoppiati. Stime e test per proporzioni: tabelle di contingenza e test chi quadro.

Sillabo dell'insegnamento

• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Esempi di programmi che operano su array: ricerca, ordinamento,selezione, ecc.
* SCP - Sviluppo e Correttezza dei Programmi
PL-StA - Static Analysis
Verifica della correttezza dei programmi degli esempi e accenno alla loro complessita'.
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Le istruzioni elementari del linguaggio di programmazione C++ e la struttura di un semplice programma in C++.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Array, record, puntatori
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
tipi di dati predefiniti
* CB - Costrutti di Base
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Costrutti base, Input/Output
* SS - Sintassi e Semantica
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Elementi di sintassi e semantica
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Strutture dati ricorsive
* R - Ricorsione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Funzioni ricorsive
* SDTD - Strutture Dati e Tipi di Dati astratti
PL-APC - Advanced Programming Constructs
I contenitori string, map e vector del C++

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Tipi di dato astratti. Classi e oggetti. Campi dati e metodi. Parti private e pubbliche.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Costruttori. Overloading. Distruttori.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Metodi e classi friend. Classi collezione.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Tecniche di condivisione controllata della memoria.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Template di funzioni e di classe.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Ereditarietà e gerarchie di classi. Metodi virtuali. Ereditarietà multipla e derivazione virtuale.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Classi e gestione delle eccezioni.
* SCP - Sviluppo e Correttezza dei Programmi
+ PL-OOP - Object-Oriented Programming
Uso di alcune librerie standard e ausiliarie: libreria STL e classi contenitore, libreria di I/O, librerie grafiche (ad esempio, Qt).
* SCP - Sviluppo e Correttezza dei Programmi
PL-LP - Language Pragmatics
Progetto di applicazioni col paradigma ad oggetti.
• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Pradigmi di programmazione: oggetti

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Java: classi, oggetti, ereditarieta', polimorfismo.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Java: organizzazione delle classi: classi astratte, interfacce, classi interne (statiche, di istanza, anonime, innestate in interfacce)
PCC - Programmazione Concorrente
* PL-CP - Concurrency and Parallelism
Thread, scheduling, accesso sincronizzato a dati condivisi
PCC - Programmazione Concorrente
* PL-CP - Concurrency and Parallelism
Comunicazione tra thread.
PCC - Programmazione Concorrente
PL-APC - Advanced Programming Constructs
Stream e serializzazione, socket, RMI
* SCP - Sviluppo e Correttezza dei Programmi
PL-LP - Language Pragmatics
Sviluppo di un progetto didattico.

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Categorie e classificazioni delle reti, modelli di riferimento
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Lo strato fisico: Proprietà dei mezzi trasmissivi, dal cavo al wireless ai satelliti.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Lo strato data link: Framing, tecniche di error-detection e di error-correction, flow control.
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Il sottostrato medium access: Protocolli ad accesso multiplo, ethernet, tecnologie wireless.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-RF - Routing And Forwarding
Lo strato network: Tipi di connessioni, routing.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-NA - Networked Applications
Lo strato network: qualità del servizio, internet.
* PT - Protocolli
+ NC-LAN - Local Area Networks
Lo strato trasporto: Protocollo di trasporto, internet.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-LAN - Local Area Networks
Lo strato application: Domain Name System.
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Network Security (crittografia, chiavi simmetriche e pubbliche, firme digitali, communication e application security, autenticazione)
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Analisi di Reti e gestione pratica della loro sicurezza: best practices, attacchi e contromisure, utilizzo di tools software

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Modellazione e utilizzo di risolutori software in laboratorio.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Programmazione lineare
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Problemi di assegnazione
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Cammini minimi in un digrafo
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Tecniche di Branch & Bound
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Simulazione
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Metodi euristici e metaeuristici (ricerca locale e varianti)

Sillabo dell'insegnamento

• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Comunicazione e sincronizzazione dei processi.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Problematiche di gestione dei processi. Sincronizzazione tra processi in ambiente locale. Politiche di ordinamento dei processi.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gerarchie di memoria e loro gestione. Sistemi multiprogrammati. Rilocazione e protezione. Strutture di gestione.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Memoria virtuale: paginazione, segmentazione.
* FS - File System
* OS-FS - File Systems
Architetture, struttura logica, modalità di accesso.
* FS - File System
* OS-FS - File Systems
Directory, aspetti implementativi.
GP - Gestione delle Periferiche
OS-DM - Device Management
Gestione dell'I/O.
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
I sistemi Windows.
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
I sistemi UNIX/Linux.

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-DMo - Data Modeling
Il linguaggio XML. EXtensible Markup Language (XML), i linguaggi per la definizione di uno schema (DTD e XMLSchema).
V - Varie
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio XML. Cenni al reperimento dati (XPath) e introduzione ai fogli di trasformazione di stile per XML (XSLT).
• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
I linguaggi per il web dinamico (Programmazione su Internet). Il linguaggio Javascript. Il modello DOM per la gestione delle pagine via JavaScript.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ HCI-PIS - Programming Interactive Systems
Il linguaggio Perl. Il modulo Common Gateway Interfaces (CGI). Le librerie LibXML e LibXSLT.
• L - Interazione, grafica e multimedialità
* IMW - Ipertesti, Multimedialita' e WWW
* HCI-F - Foundations
I linguaggi del web statico. I linguaggi XHTML e HTML5 e i fogli stile (il linguaggio CSS): formattazione del testo e la grafica su Web; links e navigazione.
* IMW - Ipertesti, Multimedialita' e WWW
* HCI-F - Foundations
Principi di web design. Architettura dell'informazione. Schemi Organizzativi e strutture per la navigazione.
* IMW - Ipertesti, Multimedialita' e WWW
+ HCI-DI - Designing Interaction
Progettazione dell'interfaccia. Accessibilità e legislazione. Tecniche per garantire l'accessibilità.
* IMW - Ipertesti, Multimedialita' e WWW
* PBD-WP - Web Platforms
Search Engine Optimization.
* IMW - Ipertesti, Multimedialita' e WWW
+ HCI-UCD - User-Centered Design
Sviluppo di un progetto.