Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/03 - Geometria
+ DS-SRF - Sets, Relations, and Functions
Insiemi e relazioni.
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Calcolo combinatorio.
MAT/03 - Geometria
MAT/03 - Geometria
Strutture Algebriche. Gruppi, anelli e campi.
MAT/03 - Geometria
MAT/03 - Geometria
Matrici e Determinanti. Spazi vettoriali.
MAT/03 - Geometria
MAT/03 - Geometria
Trasformazioni lineari ed isomorfismi.
MAT/03 - Geometria
MAT/03 - Geometria
Sistemi lineari.
MAT/03 - Geometria
MAT/03 - Geometria
Algoritmi di risoluzione di sistemi lineari. Metodo di Gauss.
MAT/03 - Geometria
MAT/03 - Geometria
Autovalori e autospazi. Similitudine.
MAT/03 - Geometria
MAT/03 - Geometria
Strutture d'ordine e reticoli. Insiemi parzialmente ordinati.

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Introduzione alla teoria della NP-completezza.
L - Logica
+ DS-BL - Basic Logics
Proposizioni e formule booleane. Forme normali. Formule Horn.
• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Sommatorie e ricorrenze. Principio di induzione. Divide-et-impera. Analisi di algoritmi ricorsivi.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Organizzazione di memoria sequenziale e collegata (array e liste). Pile e code. Code con priorita'. Rappresentazione di alberi e grafi.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Problema dell'ordinamento. Quicksort, mergesort e heapsort.
AN - Algoritmi Numerici
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Operazioni fondamentali e loro bit cost. Aritmetica modulare. Sistema crittografico RSA. Hashing universale.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Esplorazione di grafi: ricerca in ampiezza e in profondita'. Applicazioni della ricerca in profondita': ordinamento topologico, componenti fortemente connesse.
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione dinamica, algoritmi greedy con applicazioni notevoli (minimo albero ricoprente, codici Huffman, problemi di cammino minimo).
TAA - Tecniche Algoritmiche Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Programmazione lineare. Applicazioni a problemi di natura combinatoriale. Il metodo del simplesso.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Numeri reali.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Nozioni topologiche di base.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni. Limiti di successioni.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni reali di una variabile reale.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Limiti e continuità.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Massimi e minimi. Studio di funzioni.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali definiti e integrali indefiniti
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali generalizzati

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi cellulari. Proprietà degli automi cellulari, classi di Wolfram, applicazioni.
• C - Programmazione
V - Varie
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
L'approccio classico alla programmazione e i suoi limiti.
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
* IS-FI - Fundamental Issues
Sistemi naturali e sistemi artificiali. Auto-organizzazione in sistemi naturali. Sistemi fisici, biologici, sociali.
* RP - Risoluzione di Problemi
* IS-BSS - Basic Search Strategies
Algoritmi genetici. Cenni ad approcci diversi ispirati all'evoluzione biologica. Cenni sulla programmazione genetica e i sistemi a classificatori.
AI - Agenti Intelligenti
IS-Ag - Agents
Modelli ad agenti adattativi. Studio di alcuni esempi.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
* IS-BML - Basic Machine Learning
Reti neurali. Modello di Hopfield, retropropagazione del gradiente, SOM di Kohonen. Cenni ad altri modelli

Sillabo dell'insegnamento

• E - Architetture
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Dispositivi di /O. Gestione a Polling e ad interruzioni. I/O mappato in memoria, I/O isolato. Vettore delle interruzioni. Interruzioni software, trap, eccezioni.
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Gestione della memoria nell'8086. Segmentazione della memoria. La gerarchia di memorie. Introduzione alla memoria cache. Principi di località. Organizzazione interna. Tipologie di memorie.
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Programmazione Assembly per l'architettura didattica. Programmazione Assembly 8086. Funzionamento di un assemblatore.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Architettura Intel 8086. Registri General Purpose, registri di segmento. Registro dei flag. Gestione dello stack, registro SP e BP.
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Unità di controllo cablata e microprogrammata. Parallelizzazione delle microoperazioni.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Definizione di ISA. Progettazione di una Architettura didattica. Registri fondamentali: ACC, IR, MDR e MAR. ALU e registro FLAG. Il registro PC. Set di istruzioni. Load e Store.Codifica delle istruzioni. Istruzioni di salto.
V - Varie
+ AR-DLDS - Digital Logic and Digital Systems
Introduzione alle architetture dei calcolatori. Architettura di Von Neumann e di Harvard. RISC vs CISC. Storia ed evoluzione dei calcolatori.
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Reti logiche combinatorie. Algebra di Boole. Teoremi dell'algebra di boole. Sintesi delle reti combinatorie, forme canoniche SP e PS. Minimizzazione con mappe di Karnaugh. Forma normale e minima. Componenti notevoli: decoder, multiplexer, Half e Full Adder, ALU. Sintesi di reti sequenziali. Automi a stati finiti, modelli di Mealy e Moore, diagramma degli stati. Componenti notevoli: Contatore, Registro, Banco di memoria.
* AC - Aritmetica dei calcolatori
+ AR-DLDS - Digital Logic and Digital Systems
Rappresentazione delle informazioni. Sistemi di numerazione posizionale. Codifica binaria ed esadecimale. Aritmetica binaria. Rappresentazione in complemento a 2. Virgola fissa e mobile. Standard IEEE 754-1985.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-IMC - Information Management Concepts
Introduzione alle basi di dati e ai sistemi informativi aziendali, lafunzione della base di dati, come modellare i dati aziendali.
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Il modello entità relazione. Gli schemi, le proprietà e le associazioni.Le gerarchie concettuali.
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Progettazione concettuale avanzata. Identificatori esterni. Strategie diprogetto.
* PL - Progettazione Logica
+ IM-RDQL - Relational Databases and Query Languages
Conversione di schemi concettuali in schemi relazionali. Fasi delprogetto logico. Dati derivati. Forme normali: definizioni e concetti,normalizzazione di schemi logici.
* ML - Modelli logici
+ IM-RDQL - Relational Databases and Query Languages
Il modello logico relazionale, gli operatori relazionali, i vincoli diintegrità, algebra relazionale.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL, la definizione dei dati, la modifica e le interrogazioni di base.
LP - Linguaggi di Programmazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
SQL avanzato. Trigger, stored procedure. Cenni di programmazione database dinamica.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
* IM-In - Indexing
Architetture e tecnologia dei Data Base Management System, le strutturedi accesso, le funzioni hash. Gli indici, B+Tree e ISAM.Le transazioni e la concorrenza degli accessi alla base di dati.
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Realizzazione pratica di un progetto di base di dati.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione all'uso di un personal computer per il calcolo scientifico. Problemi matematici e algoritmi di calcolo.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Numeri di macchina, operazioni di macchina, errori. Condizionamento di un problema e stabilità di un algoritmo.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Ambiente MATLAB: programmazione e visualizzazione grafica.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Sistemi lineari: il metodo di eliminazione di Gauss, pivoting, decomposizione di Gauss, fattorizzazione LU e fattorizzazione di Cholesky.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodi iterativi per la risoluzione di sistemi lineari, metodi di Jacobi e Gauss-Seidel.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Approssimazione di dati e di funzioni: il problema matematico della rappresentazione, funzioni di base per la rappresentazione, interpolazione polinomiale e funzioni spline di interpolazione, il metodo dei minimi quadrati nell'approssimazione.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Calcolo di integrali: formule di quadratura interpolatorie, formule di Newton-Cotes, studio dell'errore, formule composte.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algoritmi di algebra lineare: sperimentazione MATLAB.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algoritmi per equazioni non lineari: sperimentazione MATLAB.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Librerie di algebra lineare (BLAS, LaPack) e cenni a librerie parallele (ScaLAPACK).
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Decomposizione LU parallela. Bilanciamento del carico mediante la distribuzione ciclica della matrice.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodo per il calcolo parallelo di autovalori di una matrice tridiagonale.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Introduzione alle architetture parallele: misura del costo computazionale di un algoritmo, analisi delle performance parallele (speedup, efficienza), principi di parallelismo, paradigma Message Passing.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Richiami sul sistema operativo Unix e utilizzo del calcolatore parallelo Linux Cluster IBM 1350. Libreria MPI per comunicazioni su sistemi a memoria distribuita.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Richiami sui metodi per la risoluzione di sistemi lineari e di equazioni non lineari. Algebra matriciale: implementazione parallela del prodotto matrice-vettore, prodotto riga per colonna e trasposizione con matrici distribuite. Verifica dello scaling degli algoritmi.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• B - Algoritmi
SDA - Strutture di Dati Avanzate
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Definizione, creazione e aggiornamento di strutture dati in memoria principale e secondaria (inverted index, suffix tree, PAT trees, ecc.) per la ricerca efficiente nel testo e in sequenze di caratteri (ad es. sequenze biologiche).
* ASC - Algoritmi su Strutture Combinatorie
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Tree pattern matching: definizione e algoritmi. Ricerca di Least Common Ancestor e l'uso nella ricerca di keyword su documenti XML. Web crawling e visite di grafi.
* ASC - Algoritmi su Strutture Combinatorie
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Ranking di pagine Web nei motori di ricerca: algoritmi Page e HITS. Grafi RDF. Minimum Spanning Tree e nella ricerca di keyword su dati strutturati a grafo.
• G - Basi di dati
V - Varie
IM-ISR - Information Storage And Retrieval
Standard XML e XMLSchema. Interrogazioni strutturali e relativi standard (XPath, XQuery), anche in ambito DBMS (SQL/XML).

Sillabo dell'insegnamento

• C - Programmazione
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione procedurale e ad oggetti nei linguaggi dinamici.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-BTS - Basic Type Systems
Creazione e gestione di strutture dati complesse.
* SCP - Sviluppo e Correttezza dei Programmi
+ PL-LTE - Language Translation and Execution
Tecniche per la verifica funzionale e per il debugging.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Sintassi e semantica del linguaggio Perl.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Sintassi e semantica del linguaggio Python.
* PSA - Problem Solving e Algoritmi
PL-APC - Advanced Programming Constructs
Applicazioni tipiche: elaborazione efficiente di testi, gestione processi, GUI, sistemi client-server.
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Meccanismi di compilazione (standard, JIT). Meccanismi di interpretazione.
MP - Metodologie di Programmazione
* PL-RS - Runtime Systems
Tipizzazione dei dati. Gestione dinamica della memoria, del codice, degli errori. Ispezione e modifica del comportamento di un programma a tempo di esecuzione.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Ambiente di esecuzione di un linguaggio dinamico. Struttura delle principali macchine virtuali. Formati portabili del codice.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Modelli matematici. Programmazione lineare.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Elementi di base di complessità.
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Utilizzo del software XPRESS
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Ricerca locale ed algoritmi meta-euristici
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Logistica e problemi di trasporto
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Algoritmi euristici per il problema del Vehicle Routing

Sillabo dell'insegnamento

• C - Programmazione
* SS - Sintassi e Semantica
+ PL-OOP - Object-Oriented Programming
Sintassi e semantica di un linguaggio di programmazione ad oggetti (Java), con particolare riferimento alla implementazione delle principali caratteristiche della programmazione ad oggetti.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Introduzione alla programmazione orientata agli oggetti: processi di astrazione, classificazione e incapsulamento per la definizione di entità software.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Meccanismi di riuso: ereditarietà e polimorfismo per la definizione di gerarchie di entità e per il riutilizzo del codice.
• D - Linguaggi
MP - Metodologie di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Evoluzione dei linguaggi di programmazione: limiti dei linguaggi procedurali, verso la programmazione ad oggetti.
PLN - Paradigmi Linguistici
+ PL-OOP - Object-Oriented Programming
Il paradigma orientato agli oggetti e le sue caratteristiche: classi e oggetti, relazioni tra classi, inizializzazione.
• I - Ingegneria del software
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Sviluppo di applicazioni basate su componenti software ben definiti, testabili, componibili e riutilizzabili.
* PSC - Progettazione del Software e Codifica
+ SE-TE - Tools and Environments
Design pattern come soluzioni a problematiche comuni: esempi di implementazione in Java e relativo utilizzo.
• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
* GV-FC - Fundamental Concepts
Interfacce grafiche in Java. Utilizzo dei componenti di libreria per la creazione di interfacce grafiche portabili.
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-DI - Designing Interaction
Programmazione ad eventi in Java per lo sviluppo di applicazioni interattive.

Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Pile e code. Definizione astratta e implementazione.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Nozione di algoritmo. algoritmi numerici. semplici algoritmi su stringhe e array.
• C - Programmazione
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Paradigma imperativo. Programmazione procedurale in C++.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Sintassi del linguaggio C++. Struttura del calcolatore e cenni di semantica operazionale.
* CB - Costrutti di Base
+ PL-BTS - Basic Type Systems
Tipi, costanti e variabili. Operazioni ed espressioni. Relazioni e predicati.
* CB - Costrutti di Base
PL-LP - Language Pragmatics
Comandi. Strutture di controllo iterative e condizionali: for, while/do, do/while, if/else, switch.
* CB - Costrutti di Base
PL-LP - Language Pragmatics
Array e puntatori, gestione dinamica della memoria in C++ e in C.
* P - Procedure
PL-APC - Advanced Programming Constructs
Procedure e funzioni. Passaggio dei parametri, nozione di ambiente.
* P - Procedure
PL-APC - Advanced Programming Constructs
Funzioni di libreria. Funzioni di I/O in C++ e in C. Header file. Prototipi.

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Definizioni per ricorrenza. Funzioni e algoritmi ricorsivi in C++.
• C - Programmazione
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Liste semplici e doppie. Vettori di bit.
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Implementazione di algoritmi di ordinamento e di programmazione dinamica.
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Rappresentazioni efficienti di alberi e grafi ed implementazione di algoritmi su alberi e grafi.
PP - Paradigmi di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Introduzione alla programmazione delle shell a riga di comando.
• I - Ingegneria del software
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Robustezza del software, invarianti ed asserzioni. Collaudo statico e dinamico, tracing ed uso del debugger.
MSQ - Misure del Software e Qualita'
SE-SR - Software Reliability
Regole per lo sviluppo di software di qualita', ambienti di sviluppo, chiarezza, ottimizzazione e refactoring. Configurabilita', comunicazione e testualita'.
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Dalla progettazione logica in moduli allo sviluppo su piu' file sorgente. Compilazione separata, collegamento e compilazione automatica.
V - Varie
* SE-SPM - Software Project Management
Aspetti legati alla documentazione del software

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Introduzione a reti e protocolli. Circuit switching e packet switching. Tecnologie e componenti di Ethernet.
* PT - Protocolli
+ NC-NA - Networked Applications
Stack TCP/IP. Livello host-to-network. Protocollo ARP.
* PT - Protocolli
+ NC-RF - Routing And Forwarding
Livello IP, Autonomous systems, Algoritmi di Routing in Internet, Architettura router, Protocollo ICMP.
* PT - Protocolli
+ NC-RDD - Reliable Data Delivery
Livello di trasporto: teoria, protocolli UDP e TCP.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Domain Name System: categorie di name server, resource record, zone, modalità di risoluzione.
* PT - Protocolli
+ NC-NA - Networked Applications
Livello applicativo. Caso di studio del Web. Il protocollo HTTP: richieste, risposte, header significativi e cookies.
GRC - Gestione di Reti di Calcolatori
NC-RA - Resource Allocation
Aspetti pratici della configurazione di reti in ambiente Unix.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Il web server Apache.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Posta elettronica, MIME, architetture Web multilivello

Sillabo dell'insegnamento

• E - Architetture
VMP - Valutazione e Miglioramento delle Prestazioni
AR-PE - Performance Enhancements
Comandi per la valutazione delle prestazioni delle componenti di un'architettura hw/sw. Identificazione dei colli di bottiglia.
• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Storia dei sistemi operativi. Architettura generale di un sistema operativo moderno. Interruzioni, DMA.
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Modello di gestione dei processi. Scheduler dei processi. Algoritmidi scheduling.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Modelli di memoria e di indirizzamento. Memoria virtuale. Paginazione. Segmentazione.
* FS - File System
* OS-FS - File Systems
Struttura di un file system. Virtual file system.
GP - Gestione delle Periferiche
OS-DM - Device Management
Dispositivi a caratteri e a blocchi. Gestione stratificata dei dispositivi. Assegnazione e gestione dei blocchi su memoria secondaria. Schedulazione delle richieste su disco.
* AMM - Amministrazione di sistema
+ OS-O - Overview of Operating Systems and Principles
Comandi shell di base. Comandi per la gestione di processi/file/memoria.
PS - Programmazione di Sistema
+ OS-C - Concurrency
Utilizzo delle librerie di sistema per: gestione processi e segnali,gestione memoria, gestione file, I/O, multithreading.
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Introduzione ai principali modelli di sistemi operativi. Microkernel.Macrokernel. Estensioni modulari di un sistema operativo.

Sillabo dell'insegnamento

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