Sillabo dell'insegnamento

• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari: liste, pile, code, heap e tabelle hash (con strategie per evitare le collisioni)
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Ricerca sequenziale e binaria; algoritmi di ordinamento quadratici (selezione e inserzione); algoritmi di ordinamento linearitimici (heapsort, mergesort, quicksort)
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Analisi algoritmica di base: analisi asintotica; differenze tra comportamenti al caso medio, ottimo e pessimo; notazioni O, o, omega e theta
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Classi di complessità; misure empiriche di complessità; complessità in spazio e tempo e loro bilanciamento
V - Varie
+ AL-BA - Basic Analysis
Esercitazioni su liste, pile, code, heap e tabelle hash
V - Varie
+ AL-BA - Basic Analysis
Esercitazioni su algoritmi di ricerca e di ordinamento
V - Varie
+ AL-BA - Basic Analysis
Esercitazioni su alberi e grafi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strategie algoritmiche di soluzione: approccio brute-force; greedy; divide & impera; backtrack; branch & bound; euristiche; pattern matching
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Strutture non lineari: alberi binari di ricerca; grafi; attraversamento di alberi; spanning tree (Kruskal) e cammini minimi (Dijkstra) su grafi

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
L'architettura della macchina di von Neumann: unità di controllo (fetch, decode, execute); programmazione a livello assembler
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Instruction set: formato delle istruzioni, tipi di dati nativi, registri, modi di indirizzamento; call e return
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Microarchitettura e microcodice
GM - Gestione della Memoria
+ AR-MSOA - Memory System Organization and Architecture
Memorie e tecnologie; gerarchie di memoria; organizzazione della memoria centrale; struttura della cache; memoria virtuale
GIO - Gestione dell'Input/Output
+ AR-MSOA - Memory System Organization and Architecture
Gestione dell'I/O: handshaking, buffering, I/O con interrupt e strutture di interrupt; memoria esterna e sua organizzazione fisica; bus: protocolli, arbitraggio, accesso diretto in memoria (DMA); RAID
* LMP - Livello di Microprogrammazione
+ AR-ALMO - Assembly Level Machine Organization
Data path e control path: processori RISC

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi a stati finiti deterministici e non deterministici;
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Trasformazione da NFA a DFA; equivalenza e minimizzazione di automi
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ AL-BACC - Basic Automata, Computability and Complexity
Parser: parsing top-down e parsing bottom-up
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Automi push-down (PDA) e relazione con i linguaggi context-free; proprietà dei linguaggi context-free; gerarchia di Chomsky
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi e grammatiche context-free; pumping lemma per linguaggi context-free
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Espressioni e linguaggi regolari; algebra delle espressioni regolari; equivalenza tra automi ed espressioni regolari; proprietà dei linguaggi regolari

Sillabo dell'insegnamento

• G - Basi di dati
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Dal file system ai DBMS; obiettivi e servizi di un DBMS; modelli dei dati e loro evoluzione; indipendenza fisica e logica di un DBMS; linguaggi DDL e DML
* ML - Modelli logici
+ IM-IMC - Information Management Concepts
Modello relazionale: relazioni, chiavi e vincoli; algebra relazionale: operazioni base e derivate, strutturazione ad albero di una query
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Linguaggio SQL: creazione, cancellazione e modifica di relazioni; la clausola SELECT; operazioni di update e definizione di vincoli; estensioni procedurali di SQL
* PC - Progettazione concettuale
+ IM-IMC - Information Management Concepts
Il modello entità/relazione: costrutti base, vincoli di integrità, gerarchie di generalizzazione
* PL - Progettazione Logica
+ IM-IMC - Information Management Concepts
Fase di ristrutturazione; fase di traduzione
NBD - Normalizzazione di Basi di Dati
+ IM-IMC - Information Management Concepts
Verifica della qualità di schemi relazionali; ridondanze e anomalie; dipendenze funzionali; assiomi di Armstrong; Forme Normali; decomposizione di schemi
V - Varie
+ IM-DMo - Data Modeling
Esercitazioni su progettazione di un DBMS relazionale
V - Varie
+ IM-DS - Database Systems
Esercitazioni su costruzione di un DBMS relazionale
V - Varie
+ IM-DS - Database Systems
Esercitazioni su costruzione di interrogazioni con SQL

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Equazioni differenziali: a variabili separabili, lineari del I ordine, lineari del II ordine a coefficienti costanti, del primo ordine in forma normale; problema di Cauchy
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali di funzioni non limitate o su intervalli illimitati; cenni su integrali multipli; applicazioni per il calcolo di aree e volumi
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni di più variabili; limiti, continuità e derivate parziali; studio di massimi e minimi
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Nozione di integrale e sua interpretazione; proprietà fondamentali.; funzione integrale e teorema fondamentale; funzioni primitive e calcolo di integrali
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale per funzioni di una variabile; derivata, significato geometrico e fisico; operazioni con la derivata; studio di massimi e minimi
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Teoremi notevoli; derivate di ordine superiore; formula di Taylor
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Grafici di funzioni, limiti e funzioni continue; famiglie di funzioni che dipendono da parametri
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Espressioni algebriche e formule; equazioni e disequazioni; funzioni potenza, valore assoluto, radice; equazioni e disequazioni algebriche
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni, generalità; funzioni elementari (lineari, polinomiali, trigonometriche, funzioni esponenziali e logaritmiche)

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/09 - Ricerca Operativa
MAT/08 - Analisi Numerica
Modelli elementari di Programmazione Lineare; risoluzione grafica di modelli di programmazione lineare in due variabili; il metodo del simplesso e i metodi polinomiali.
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Algoritmi per l'approssimazione di soluzioni di equazioni e sistemi di equazioni non lineari; bisezione, metodo di Newton, metodi iterativi di punto fisso
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Approssimazione di funzioni; l'interpolazione polinomiale, le funzioni spline e la migliore approssimazione
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Integrazione mediante schemi numerici (formule di quadratura)
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodi diretti e metodi iterativi per la soluzione di sistemi lineari; fattorizzazione di una matrice; analisi degli errori e condizionamento di un sistema
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Spazi lineari e norme; rappresentazione decimale dei numeri reali; il sistema floating point, arrotondamento e troncamento; nozioni di precisione (errore) assoluta e relativa; formule di propagazione degli errori nelle operazioni aritmetiche; condizionamento, stabilità e convergenza

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

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

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-BACC - Basic Automata, Computability and Complexity
La macchina di Turing e il problema dell'arresto
V - Varie
AL-ACC - Advanced Computational Complexity
Breve storia dell'informatica: il ragionamento logico; ragionamento algoritmico; macchine calcolatrici; il novecento (Goedel, Turing, Church e von Neumann)
* CAL - Calcolabilità
AL-ACC - Advanced Computational Complexity
Programmazione sulla macchina di Turing; la tesi di Church-Turing
• E - Architetture
* AC - Aritmetica dei calcolatori
+ AR-DLDS - Digital Logic and Digital Systems
Rappresentazione di macchina dei dati: sistemi di numerazione; bit, byte e parole; rappresentazione dei dati numerici e formati
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Logica digitale: porte logiche, flip-flop, contatori, mappe di Karnaugh e minimizzazione
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Aritmetica intera ed in virgola mobile; ALU, addizione in macchina, riporto; rappresentazione di caratteri

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Il processo software: problemi della produzione del software; standard per la definizione del processo software; modelli di ciclo di vita
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Analisi e progettazione; modelli di sistemi; prototipazione
* LMS - Linguaggi di Modellazione del Software
+ SE-SDC - Software Design and Construction
Modelli concettuali in Information Engineering; UML come linguaggio di analisi e progettazione
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Processi di supporto: organizzazione e pianificazione dei progetti software; controllo delle versioni e delle configurazioni; progettazione: strumenti automatizzati (Microsoft Project)
* TVV - Testing, Verifica e Validazione
+ SE-TE - Tools and Environments
Verifiche e prove: obiettivi e pianificazione delle verifiche; ispezione del codice; progettazione e valutazione delle prove
MES - Manutenzione ed Evoluzione del Software
* SE-SE - Software Evolution
La manutenzione del software
MSQ - Misure del Software e Qualita'
* SE-SE - Software Evolution
Controllo della qualità: misurazione del software; modelli per la stima; qualità dei prodotti e dei processi software
V - Varie
SE-SR - Software Reliability
Esercitazione all'uso di Microsoft Project
V - Varie
SE-SR - Software Reliability
Esercitazione all'uso di UML

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
* AR-IO - Interfacing and Communication
Sviluppo basato sull'utente; principi di usabilità: percezione, movimento e cognizione; contesto di applicazione della CHI (computer human interaction): interfacce utente e web; diversi livelli per diversi utenti
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
AR-FO - Functional Organization
Norme di buona progettazione dell'interfaccia utente; GUI (graphical user interface); stili e tecniche di interazione; formati, colori, font e suggerimenti testuali; toolkit per lo sviluppo di interfacce
RV - Rendering e Visualizzazione
AR-PE - Performance Enhancements
Fondamenti di rendering e visualizzazione 3D: pipeline di rendering, trasformazioni geometriche, algoritmi discreti; strumenti per grafica 3D: OpenGL e Java3D
PIRV - Paradigmi di Interazione e Realta' Virtuale
AR-MAA - Multiprocessing and Alternative Architectures
Interazione in 3D e virtual reality; interazione multimodale: sonificazione e interazione tattile
V - Varie
AR-FO - Functional Organization
Esercitazione di progettazione e realizzazione di interfacce utente
V - Varie
AR-FO - Functional Organization
Esercitazioni di utilizzo di Java3D

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Evoluzione dei linguaggi di programmazione; dai linguaggi assembler ai linguaggi ad alto livello; macchine astratte, interpreti, compilatori; macchina ospite e macchina intermedia; il supporto a run-time; strutture dati nel supporto a run-time
* S - Semantica
PL-FS - Formal Semantics
Semantica operazionale dei linguaggi di programmazione e sua realizzazione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
PL-FS - Formal Semantics
Ambiente statico e dinamico, regole di scoping e loro realizzazione; pila dei record d'attivazione, heap e sua gestione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Parametri e modalità di passaggio: per valore, per riferimento, per risultato, per nome; parametri funzionali; chiusure; eccezioni
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Gestione della memoria, realizzazione dell'astrazione funzionale e ricorsione; sistemi di tipi
PLN - Paradigmi Linguistici
PL-PR - Program Representation
La programmazione funzionale: semantica operazionale, valutazione lazy e call-by-value, i tipi, i tipi polimorfi, subtyping, algoritmi di inferenza di tipi, i tipi principali; gestione della memoria e garbage collection
V - Varie
+ PL-BTS - Basic Type Systems
Esercitazioni di programmazione funzionale: valutazione
V - Varie
PL-TS - Type Systems
Esercitazioni di programmazione funzionale: tipi
V - Varie
PL-APC - Advanced Programming Constructs
Esercitazioni di programmazione funzionale: gestione della memoria

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
MAT/02 - Algebra
Algebra delle matrici: notazione matriciale per i sistemi lineari; insieme delle soluzioni di un sistema lineare; algoritmi per trovare le soluzioni di un sistema lineare; determinante, matrice inversa
MAT/03 - Geometria
MAT/03 - Geometria
Trasformazioni lineari tra spazi vettoriali; nucleo e immagine; matrice associata ad una trasformazione lineare; diagonalizzazione di matrici quadrate; prodotto scalare
MAT/03 - Geometria
MAT/03 - Geometria
Spazi vettoriali: combinazione lineare; vettori linearmente dipendenti e indipendenti; sottospazi e generatori; basi, dimensione
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Logica proposizionale: connettivi, tavole di verità, forme normali
MAT/02 - Algebra
MAT/02 - Algebra
Teoria elementare dei numeri: fattorizzazione, proprietà dei numeri primi, aritmetica modulare, principio della piccionaia, permutazioni, combinazioni, coefficiente binomiale
MAT/02 - Algebra
MAT/02 - Algebra
Algebra di Boole: valori booleani, operazioni, leggi di de Morgan
MAT/02 - Algebra
MAT/02 - Algebra
Strutture algebriche: funzioni (suriettive, iniettive, inverse, composte)
MAT/02 - Algebra
MAT/02 - Algebra
Teoria degli insiemi; relazioni (riflessiva, simmetrica, transitiva, equivalenza), insiemi (diagrammi, complementi, prodotto cartesiano, powerset)
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Teoria della dimostrazione: deduttiva, per assurdo, principio di induzione

Sillabo dell'insegnamento

• C - Programmazione
V - Varie
PL-PR - Program Representation
Esercitazione su variabili, tipi di dato primitivi, I/O elementare
V - Varie
PL-PR - Program Representation
Esercitazione su implementazione degli algoritmi
* R - Ricorsione
PL-PR - Program Representation
Concetto di algoritmo ricorsivo; implementazione di funzioni ricorsive; backtrack ricorsivo
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Puntatori come riferimenti diretti in memoria, array, record, stringhe, files, liste linkate
* PSA - Problem Solving e Algoritmi
+ AL-FDA - Fundamental Data Structures and Algorithms
Concetto di algoritmo; strategie di soluzione; strategie di implementazione degli algoritmi
* P - Procedure
PL-LP - Language Pragmatics
Procedure e funzioni come meccanismi di astrazione; strategia divide & impera, implementazione di funzioni, passaggio di parametri (per riferimento e per valore), procedure di ricerca, ordinamento, fusione
* CB - Costrutti di Base
PL-LP - Language Pragmatics
Variabili, tipi di dato primitivi, I/O elementare; concetto di programmazione strutturata, caratteristiche invarianti di un linguaggio di programmazione
V - Varie
PL-LP - Language Pragmatics
Esercitazione su istruzioni di I/O, istruzioni di assegnazione, istruzioni di controllo e istruzioni iterative
V - Varie
PL-LP - Language Pragmatics
Esercitazione su implementazione di funzioni ricorsive
V - Varie
PL-LP - Language Pragmatics
Esercitazione su array, record, stringhe, files, liste linkate
* SS - Sintassi e Semantica
PL-FS - Formal Semantics
Istruzioni di I/O, istruzioni di assegnazione, istruzioni di controllo, istruzioni iterative
• D - Linguaggi
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
PL-CSA - Compiler Semantic Analysis
Introduzione alla traduzione: comparazione di interpreti e compilatori, fasi della traduzione del linguaggi, aspetti dipendenti e indipendenti dal linguaggio della traduzione

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Introduzione alla programmazione orientata agli oggetti; meccanismi di astrazione, protezione e incapsulamento; Java: classi e oggetti, meccanismi di protezione e incapsulamento
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Oggetti e tipi di dato: oggetti predefiniti; tipi di dati primitivi; la dichiarazione e l'uso delle variabili; le espressioni e la precedenza degli operatori; librerie di classi
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Le classi: dichiarazione della classe; dichiarazione di metodi; variabili istanza; incapsulamento; overloading dei metodi; riferimenti agli oggetti e alias
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Passare oggetti come parametri; il modificatore static; classi annidate; interfacce e polimorfismo; eventi e listener; animazioni
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Ereditarietà: derivare nuove classi; creare gerarchie di classi; il modificatore protected; polimorfismo tramite ereditarietà
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Gestione delle eccezioni: l'istruzione try-catch; la propagazione delle eccezioni; creare e lanciare eccezioni; lo stream di I/O: tipi di stream di I/O; serializzazione degli oggetti
V - Varie
PD-FMS - Formal Models and Semantics
Esercitazione su creazione di oggetti e classi utilizzando linguaggio Java
V - Varie
PD-FMS - Formal Models and Semantics
Esercitazione su ereditarietà e polimorfismo utilizzando linguaggio Java
V - Varie
PD-FMS - Formal Models and Semantics
Esercitazione su I/O e interfacce grafiche utilizzando linguaggio Java

Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
+ NC-I - Introduction: Computer Network Architecture
Reti a connessione diretta: CSMA/CD, Token ring, Wireless (802.11). Reti a commutazione di pacchetto: Datagram, Circuito virtuale, LAN estese, ATM.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Livello fisico: concetti di trasmissione e di commutazione, pacchetti e messaggi, reti datagram e a circuito virtuale, mezzi fisici, reti wireless
* ARTC - Architettura delle Reti di Calcolatori
+ NC-NA - Networked Applications
Reti di calcolatori: nozioni di base, introduzione ad architetture gerarchiche e protocolli, architetture di rete, metriche prestazionali, protocolli di comunicazione
* PT - Protocolli
+ NC-NA - Networked Applications
Livello Data Link e MAC: servizi, trattamento degli errori, protocolli a finestra, protocolli ad accesso multiplo, standard IEEE 802; Livello Rete: servizi, protocolli di routing, IP e internetworking, controllo della congestione della rete; livello Trasporto: servizi, UDP, TCP; livello Applicazione: DNS, SNMP, e-mail, FTP, Telnet
* MIR - Modelli di Interazione in Rete
+ NC-RF - Routing And Forwarding
Sistemi client-server; protocolli web; tecnologie web: computazione server-side e client-side; PHP
* SR - Sicurezza delle Reti
IAS-NS - Network Security
Classificazione delle violazioni; rilevamento delle intrusioni e firewall; autenticazione degli accessi; cenni di crittografia
V - Varie
IAS-NS - Network Security
Esercitazioni sulla progettazione di sistemi client-server
V - Varie
IAS-WS - Web Security
Esercitazioni sulla configurazione di apparati di rete
V - Varie
IAS-PS - Platform Security
Esercitazioni sulla predisposizione di misure di sicurezza

Sillabo dell'insegnamento

• F - Sistemi operativi
V - Varie
+ OS-O - Overview of Operating Systems and Principles
Esercitazione su utilizzo di script per l'amminitrazione di sistema
V - Varie
+ OS-O - Overview of Operating Systems and Principles
Esercitazione su installazione e configurazione di Linux
* FS - File System
* OS-FS - File Systems
File system: visione utente; il concetto di file e directory; attributi dei file e operazioni; tipo e struttura dei file e relativo supporto da parte del sistema operativo; metodi di accesso ai file: sequenziale, diretto, indicizzato; mounting; protezione e controllo degli accessi; gruppi di utenti
* GM - Gestione della Memoria
+ OS-MM - Memory Management
La gestione della memoria; spazi di indirizzamento; rilocazione statica e dinamica; tecniche di paginazione e segmentazione; la memoria virtuale
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Comunicazione tra processi; condivisione di memoria; scambio di messaggi; i threads; gestione dell'unità centrale; politiche di scheduling; indicatori di prestazioni; threads e comunicazione fra processi in Linux
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
La sincronizzazione dei processi (cenni); semafori binari e generalizzati; sezioni critiche e monitor; primitive per invio e ricezione di messaggi; schemi produttore-consumatore; gestione dei deadlock; sincronizzazione fra processi in Linux
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
I sistemi a processi; struttura e proprietà dei processi; stato di un processo; processi sequenziali, concorrenti e in tempo reale; gestione dei processi tramite le system call in Linux
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Richiami sulle architetture di elaborazione, interfaccia hardware-software, sistemi monoprogrammati; tipologia, struttura, funzioni e caratteristiche di un sistema operativo, panoramica sui vari approcci ai sistemi operativi; interfaccia fra sistema operativo e applicazioni; introduzione a Linux e alla gestione dei SO (Bash)
V - Varie
* OS-VM - Virtual Machines
Esercitazione sulla configurazione dei filesystem
V - Varie
* OS-VM - Virtual Machines
Esercitazione sulla configurazione delle directory distribuite e degli utenti
V - Varie
OS-RTES - Real Time and Embedded Systems
Esercitazione su threads e comunicazione tra processi
V - Varie
OS-FT - Fault Tolerance
Esercitazione su utilizzo di script per le gestione di utenti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Compressione e decompressione con metodi statistici, con e senza perdita di informazione; entropia, codifica di Huffman e algoritmo LZW; compressione di immagini, audio e video
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Raccolta e classificazione di dati; tipi di dati; campionamento; rappresentazione di dati: tabelle e diagrammi; frequenza relativa ed assoluta; analisi di dati: indici di posizione e dispersione, regressione e correlazione
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Fenomeni casuali ed eventi; spazio degli eventi elementari e probabilità di un evento; assegnazione di probabilità agli eventi; additività della probabilità su eventi disgiunti
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Calcolo combinatorio; eventi indipendenti: probabilità condizionata e formula di Bayes; distribuzioni di probabilità
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili aleatorie discrete: media e varianza, gioco equo; distribuzioni discrete: binomiale, geometrica e Poisson
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Codifica dei dati; codici rilevatori/correttori di errori