Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Notazione asintotica e ricorrenze
• B - Algoritmi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Liste, Pile, Code, Insiemi
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi, Grafi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi fondamentali e analisi di complesità
TAA - Tecniche Algoritmiche Avanzate
+ AL-AS - Algorithmic Strategies
Paradigma generativo e selettivo: tecnica enumerativa, greedy, di backtracking e divide et impera
SDA - Strutture di Dati Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Code con priorità, Heap, Dizionari e tabelle hash
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
AL-ADSAA - Advanced Data Structures, Algorithms, and Analysis
Algoritmi fondamentali su alberi e grafi
• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Introduzione all'orientata agli oggetti e al linguaggio C++
* SDTD - Strutture Dati e Tipi di Dati astratti
+ PL-OOP - Object-Oriented Programming
Programmare con classi e realizzazione di strutture Dati Astratti

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
I numeri reali e le funzioni reali di variabile reale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Successioni numeriche e loro limiti
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Limiti e continuità di funzioni reali di una variabile reale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Calcolo differenziale per funzioni di una variabile reale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate di ordine superiore - Polinomi di Taylor
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Primitive
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrale definiti e teorema fondamentale del calcolo integrale
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Integrali impropri
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Serie numeriche e serie di potenze

Sillabo dell'insegnamento

• E - Architetture
* ASS - Linguaggio Assembler
+ AR-ALMO - Assembly Level Machine Organization
Livello del linguaggio Assembly, La programmazione Assembly nell'8086, Utilizzo dell'ambiente EMU8086
* CCS - Circuiti combinatori e sequenziali
+ AR-DLDS - Digital Logic and Digital Systems
Algebra di Boole Porte logiche Esempi di circuiti combinatori e sequenziali
* AC - Aritmetica dei calcolatori
+ AR-MLRD - Machine Level Representation of Data
Aritmetica reale e aritmetica finita Sistemi di numerazione Rappresentazione binaria dei numeri naturali, interi, reali Codifica dell'informazione numerica e non numerica
* LII - Livello Instruction Set
AR-FO - Functional Organization
Caratteristiche delle istruzioni macchina. Tipi di operandi, dati, istruzioni. Formati di istruzioni. Metodi di indirizzamento
* LMP - Livello di Microprogrammazione
+ AR-MSOA - Memory System Organization and Architecture
Struttura interna della CPU, Data Path, Ciclo di istruzione, Implementazione dell'unità di controllo
GIO - Gestione dell'Input/Output
* AR-IO - Interfacing and Communication
Bus, Arbitraggio e Sincronizzazione del Bus
• F - Sistemi operativi
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Definizione di processo e stati di un processo Gestione e schedulazione dei processi
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Concetto di memoria virtuale. Tecniche di rilocazione. Tecniche di gestione della memoria (partizionamento, segmentazione, paginazione)
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-C - Concurrency
Sincronizzazione e concorrenza di processi

Sillabo dell'insegnamento

• G - Basi di dati
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-IMC - Information Management Concepts
Sviluppo di applicazioni per basi di dati.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Algebra relazionale: Unione, intersezione, differenza; Ridenominazione; Selezione, Proiezione, Join; Interrogazioni; Equivalenza di espressioni algebriche; Algebra con valori nulli, Viste.
* LI - Linguaggi di Interrogazione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL e gli standard. Definizione dei dati in SQL: I domini elementari; Definizione di schema, tabelle e domini; Specifica di valori di default; Vincoli intra-relazionali ed inter-relazionali; Modifica degli schemi; Cataloghi relazionali. Interrogazioni in SQL: Dichiaratività di SQL; Interrogazioni semplici; Operatori aggregati; Interrogazioni con raggruppamento, di tipo insiemistico, nidificate. Modifica dei dati in SQL: Inserimento, Cancellazione, Modifica. Caratteristiche evolute di definizione dei dati: Vincoli di integrità generici; Asserzioni; Viste. Controllo dell'accesso: Risorse e privilegi. Transazioni. Procedure.
* ML - Modelli logici
+ IM-DMo - Data Modeling
Il modello relazionale. Strutture: Relazioni e tabelle; Relazioni con attributi; Relazioni e basi di dati; Informazione incompleta e valori nulli. Vincoli di integrità: Vincoli di tupla; Chiavi; Vincoli di integrità referenziale.
* PC - Progettazione concettuale
+ IM-DMo - Data Modeling
Introduzione alla progettazione: Il ciclo di vita dei sistemi informativi; Metodologie di progettazione e basi di dati. La raccolta e l'analisi dei requisiti. Il modello Entità-Relazione (E-R): Costrutti principali del modello; Tecniche di documentazione di schemi E-R. Rappresentazione concettuale di dati: Criteri generali; Pattern di progetto. Strategie di progetto: Top-down; Bottom-up; Inside-out; Mista. Qualità di uno schema concettuale. Una metodologia generale. o
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-DS - Database Systems
Sistemi informativi, informazioni e dati. Basi di dati e sistemi di gestione di basi di dati. Modelli dei dati: Schemi e istanze; Livelli di astrazione nei DBMS; Indipendenza dei dati. Linguaggi e utenti delle basi di dati. Vantaggi e svantaggi dei DBMS.
* DBMS - Sistemi di Gestione di Basi di Dati
* IM-In - Indexing
Organizzazione fisica nei DBMS relazionali: Caratteristiche della memoria secondaria; Organizzazione fisica delle relazioni; Indici relazionali. Progettazione fisica di una base di dati.
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
o Analisi delle prestazioni su schemi E-R. Ristrutturazione di schemi E-R: Analisi delle ridondanze; Eliminazione delle generalizzazioni; Partizionamento/accorpamento di concetti; Scelta degli identificatori principali. Traduzione verso il modello relazionale: Entità e associazioni molti a molti; Associazioni uno a molti; Entità con identificatore esterno; Associazioni uno a uno; Traduzioni di schemi complessi; Tabelle riassuntive; Documentazione di schemi logici.
* DBMS - Sistemi di Gestione di Basi di Dati
+ IM-RDQL - Relational Databases and Query Languages
Ridondanze e anomalie. Dipendenze funzionali. Forma normale di Boyce e Codd: Definizione di forma normale; Decomposizione in forma normale. Proprietà delle decomposizioni: Decomposizione senza perdita; Conservazione delle dipendenze; Qualità delle decomposizioni. Terza forma normale: Limitazioni della forma normale di Boyce e Codd; Definizione di terza forma normale; Decomposizione in terza forma normale; Altre forme normali; Normalizzazione e scelta degli attributi. Progettazione di basi di dati e normalizzazione: Verifiche di normalizzazione su entità ed associazioni; Ulteriori decomposizioni di associazioni e schemi concettuali.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Aritmetica di macchina, analisi dell'errore e del condizionamento
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Metodi numerici per il calcolo degli zeri di funzione
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Interpolazione polinomiale
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Elementi di algebra lineare (vettori, matrici, sistemi lineari); algebra lineare numerica (fattorizzazione LU, minimi quadrati)
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Elementi di programmazione in MATLAB
MAT/08 - Analisi Numerica
MAT/08 - Analisi Numerica
Elementi di programmazione in MATLAB

Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Il modello delle machine URM
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi calcolabili, URM universale, macchine di Turing
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Funzioni di misura di tempo e spazio
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Classi (tempo/spazio) deterministiche e non. P- e NP-completezza
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Automi a stati finiti e linguaggi regolari
* ALF - Automi e Linguaggi Formali
AL-AATC - Advanced Automata Theory and Computability
Grammatiche Libere e Push down automata, problemi di decisione e automi

Sillabo dell'insegnamento

• I - Ingegneria del software
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
principi di ingegneria del software
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
requisiti software
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
analisi e specifiche software
* ASW - Architetture Software
+ SE-SDC - Software Design and Construction
stili architetturali, strati, object oriented
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Linguaggio UML per la modellazione del software
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
stereotipi UML
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Progettazione di alto livello e progettazione di dettaglio. Modellazione dei dati
EPG - Aspetti Etici, Professionali e Giuridici
+ SP-PEIPP - Professional Ethics, Intellectual Property, Privacy & Civil Liberties
Le licenze software
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
testing white box e black box

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
* HCI-F - Foundations
Cosa è la Human-Computer Interaction, modello di Norman, processi di sviluppo user-centered. Metriche per l'usabilità, euristiche e principi di usabilità. Principi per un buon design, accessibilità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-DI - Designing Interaction
Generazione dei prototipi, metodi di ispezione per la valutazione dell'usabilità di sistemi interattivi
* IMW - Ipertesti, Multimedialita' e WWW
+ HCI-PIS - Programming Interactive Systems
Il Model-View controller, pattern d'interazione, stile di interazione e tecniche di interazione, stylesheets e DOMs, uso di metafore, principi per le interfacce grafiche
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-UCD - User-Centered Design
Analisi di utenti, progettazione iterativa, raccolta dei requisiti utente
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-UCD - User-Centered Design
Tecniche e strumenti per l'analisi e la presentazione dei requisiti, task analysis, scenari e casi d'uso
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-UCD - User-Centered Design
Tecniche di valutazione user-based e tecniche di ispezione

Sillabo dell'insegnamento

• C - Programmazione
* P - Procedure
+ PL-LTE - Language Translation and Execution
Procedure e funzioni, tecniche di passaggio dei parametri, funzioni ricorsive
* SCP - Sviluppo e Correttezza dei Programmi
PL-LP - Language Pragmatics
Stili di programmazione, documentazione del codice, asserzioni
PP - Paradigmi di Programmazione
+ SE-SDC - Software Design and Construction
Principi di programmazione imperativa; programmazione modulare
* SCP - Sviluppo e Correttezza dei Programmi
+ SE-SVV - Software Verification and Validation
Testing e Debugging
• D - Linguaggi
PLN - Paradigmi Linguistici
* PL-RS - Runtime Systems
Esercitazioni in linguaggi imperativi
MP - Metodologie di Programmazione
+ PL-BTS - Basic Type Systems
Strutture, array.
• E - Architetture
GM - Gestione della Memoria
+ AR-ALMO - Assembly Level Machine Organization
Puntatori e indirizzamento, memoria dinamica
• F - Sistemi operativi
* FS - File System
* OS-FS - File Systems
Gestione dei File
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Portabilità dei programmi

Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Linguaggi di programmazione. Macchina di Turing. Tesi di Church­Turing. Traduzione: compilazione ed interpretazione. La Macchina di Turing come interprete. Gerarchia di linguaggi di programmazione e di macchine astratte: linguaggi macchina, linguaggi assembler, linguaggi di alto livello.
* LF - Linguaggi Formali
+ PL-LTE - Language Translation and Execution
Linguaggi: Definizioni preliminari (alfabeto, parola, stringa, uguaglianza tra parole, concatenazione di parole, potenza di parole, sottostringa, prefisso, suffisso, monoide libero generato da un insieme). Linguaggi formali. Inquadramento della teoria dei linguaggi formali nell'informatica teorica.
* LF - Linguaggi Formali
+ PL-LTE - Language Translation and Execution
Classificazione di Chomsky. Operazioni sui linguaggi (unione, concatenazione, iterazione, complemento, intersezione, potenza e riflessione) e proprietà di chiusura delle classi di linguaggi rispetto alle operazioni.
* LF - Linguaggi Formali
+ PL-LTE - Language Translation and Execution
Generazione di linguaggi: un'introduzione alle grammatiche. Carte sintattiche e Backus­Naur Form, grammatiche generative o a struttura di frase, derivazione diretta, derivazione, linguaggio generato da una grammatica, forma di frase, frase, equivalenza tra grammatiche, relazione tra grammatiche e linguaggi, non determinismo, correttezza di una grammatica: indecidibilità del problema. Linguaggi liberi dal contesto e dipendenti dal contesto.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Linguaggi regolari, espressioni regolari, automi e linguaggi a stati finiti. Teorema di equivalenza delle classi di linguaggi riconosciuti da automi a stati finiti deterministici e non deterministici, teorema di equivalenza delle classi di linguaggi regolari, a stati finiti e lineari destri (teorema di Kleene).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-SyA - Syntax Analysis
Compilazione e Interpretazione. Il modello di un compilatore: fase di analisi.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
* PL-RS - Runtime Systems
Compilazione e Interpretazione. Il modello di un compilatore: fase di sintesi. Tabella dei simboli: costruzione ed interazione, contenuti, operazioni, organizzazione per linguaggi a blocchi e non, rappresentazione.
* S - Semantica
PL-FS - Formal Semantics
Semantica denotazionale, semantica operazionale e cenni di semantica assiomatica. Analisi di programmi.
MP - Metodologie di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Paradigmi di programmazione ed evoluzione dei linguaggi di programmazione.

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
+ DS-BC - Basics of Counting
La matematica discreta: i segni, linguaggi formali, la rappresentazione e il pensiero formale
MAT/02 - Algebra
+ DS-BL - Basic Logics
Logica delle proposizioni: grammatica e semantica. Connettivi e tavole di verità. Espressioni, tautologie e contraddizioni
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Teoria degli insiemi. Linguaggio logico e linguaggio insiemistico. Combinatoria
MAT/02 - Algebra
+ DS-BL - Basic Logics
Il calcolo logico: la deduzione naturale e sottoderivazioni. Metalingiaggio e linguaggio oggetto. Predicati e Quantificatori
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Numeri naturali e principio di induzione. Numeri interi , relativi, primi e irriducibili: Fattorizzazione
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Definizione di relazione e funzione. funzioni ingettive, surgettive, bigettive. Inversa. Composizione tra funzioni
MAT/03 - Geometria
+ DS-PT - Proof Techniques
La dimostrazione matematica, dimostrazioni per assurdo. Consistenza , correttezza, completezza, decidibilità. Teorie assiomatizzate e modelli
MAT/03 - Geometria
+ DS-BC - Basics of Counting
Relazione di equivalenza, classi di equivalenza. Partizioni. Congruenza modulo n e insieme Z. Insiemi ordinati. Elementi massimali e minimali
MAT/03 - Geometria
+ DS-BC - Basics of Counting
Gruppi. Il gruppo delle permutazioni. Cicli di fattorizzazione di una permutazione. Matrici a coefficienti reali, determinante e rango di una matrice. Operazioni su e tra matrici. Campi. Anelli di Boole

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• L - Interazione, grafica e multimedialità
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-PIS - Programming Interactive Systems
Modelli e metodi di progetto di un'applicazione multimediale
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
+ HCI-PIS - Programming Interactive Systems
Modellazione della navigazione in un'applicazione multimediale
* IMW - Ipertesti, Multimedialita' e WWW
+ HCI-PIS - Programming Interactive Systems
Ambienti autore per la realizzazione di multimedia
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
+ HCI-DI - Designing Interaction
Principi, Metodologie e tecniche di valutazione di interfacce. Progettare l'interfaccia di un multimedia (storyboard, prototipi)
* PMTV - Principi, Metodologie e Tecniche di Valutazione di interfacce
IM-MMS - MultiMedia Systems
Modelli di rappresentazione e manipolazione di dati multimediali
* IMW - Ipertesti, Multimedialita' e WWW
IM-MMS - MultiMedia Systems
Ipertesto, Ipermedia e Multimedia
* IMW - Ipertesti, Multimedialita' e WWW
HCI-NIT - New Interactive Technologies
Linguaggi per la realizzazione dell'interazione; Caratteristiche di un'applicazione multimediale
* MMPI - Modelli e Metodi per la Progettazione dell'Interazione
* PBD-MP - Mobile Platforms
Modelli per le applicazioni multimediali su dispositivi mobili
ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
+ HCI-UCD - User-Centered Design
Forme di presentazione dei messaggi multimediali

Sillabo dell'insegnamento

• B - Algoritmi
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi elementari. Algoritmi di ricerca. Algoritmi di ordinamento
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Progettazione di algoritmi. Programmazione strutturata.
• C - Programmazione
* PSA - Problem Solving e Algoritmi
+ AL-AS - Algorithmic Strategies
Fasi per la soluzione di un problema
* CB - Costrutti di Base
+ AL-FDA - Fundamental Data Structures and Algorithms
Sequenza, selezione e iterazione
* P - Procedure
+ AL-FDA - Fundamental Data Structures and Algorithms
Procedure e funzioni come astrazione di istruzioni e operatori. Parametri.
* R - Ricorsione
+ AL-AS - Algorithmic Strategies
Funzioni Ricorsive
* SDTD - Strutture Dati e Tipi di Dati astratti
+ AL-FDA - Fundamental Data Structures and Algorithms
Array, Record, Puntatori
* SCP - Sviluppo e Correttezza dei Programmi
+ PL-LTE - Language Translation and Execution
Compilatori e interpreti. Documentazione.
• D - Linguaggi
MP - Metodologie di Programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Programmazione con linguaggi imperativi

Sillabo dell'insegnamento

• H - Computazione su rete
PASR - Programmazione di Applicazioni e Servizi di Rete
* PBD-WP - Web Platforms
Tecniche di programmazione lato server
PASR - Programmazione di Applicazioni e Servizi di Rete
IM-DD - Distributed Databases
Gestione delle basi di dati nelle applicazioni WEB
* MIR - Modelli di Interazione in Rete
+ HCI-DI - Designing Interaction
Linguaggi per il front end: XHTML, CSS, JS
* MIR - Modelli di Interazione in Rete
+ HCI-PIS - Programming Interactive Systems
Tecniche di interazione per le applicazioni WEB
PASR - Programmazione di Applicazioni e Servizi di Rete
+ SE-SDC - Software Design and Construction
Gestione di un progetto software client server
PASR - Programmazione di Applicazioni e Servizi di Rete
+ NC-NA - Networked Applications
Linguaggi per il back end: Java Server Pages
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
+ SE-TE - Tools and Environments
Strumenti per lo sviluppo di applicazioni web
* MIR - Modelli di Interazione in Rete
+ HCI-PIS - Programming Interactive Systems
Tecniche di interazione per le applicazioni WEB
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Sicurezza e privacy dei dati nel web

Sillabo dell'insegnamento

• H - Computazione su rete
* ARTC - Architettura delle Reti di Calcolatori
+ NC-I - Introduction: Computer Network Architecture
Introduzione alle reti di calcolatori. Commutazione e multiplazione. Prestazioni. Stratificazione. Modello ISO/OSI. Interconnessione di reti. Architettura di Internet
GRC - Gestione di Reti di Calcolatori
* PD-CC - Communication and Coordination
Comunicazione e coordinamento dei processi in rete.
* ARTC - Architettura delle Reti di Calcolatori
+ NC-NA - Networked Applications
Livello applicazione: HTTP, DNS. Sistemi client-server e peer to peer. Socket API. Architettura di Internet.
PASR - Programmazione di Applicazioni e Servizi di Rete
+ PD-PF - Parallelism Fundamentals
Fondamenti del calcolo parallelo.
* FCD - Fondamenti del Calcolo Distribuito
+ NC-RF - Routing And Forwarding
Livello di rete: Meccanismi di indirizzamento e instradamento.
* MIR - Modelli di Interazione in Rete
+ NC-RDD - Reliable Data Delivery
Livello di trasporto: UDP e TPC
* PT - Protocolli
+ NC-LAN - Local Area Networks
Protocolli di accesso multiplo. Standard IEEE 802.3: Ethernet. Interconnessione delle LAN
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Sicurezza e privatezza, principi di programmazione sicura
* MIR - Modelli di Interazione in Rete
NC-M - Mobility
Programmazione di applicazioni multidispositivo

Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Complessità di algoritmi di sicurezza
• H - Computazione su rete
* FCD - Fondamenti del Calcolo Distribuito
+ IAS-FCS - Foundational Concepts in Security
Concetti di base di sicurezza nei sistemi distribuiti
* PT - Protocolli
NC-M - Mobility
Protocolli per la sicurezza in reti mobili
* SR - Sicurezza delle Reti
* OS-SPr - Security and Protection
Minacce e attacchi
* SR - Sicurezza delle Reti
* IAS-DP - Defensive Programming
Analisi delle proprietà per la sicurezza in rete
* SR - Sicurezza delle Reti
* IAS-PSD - Principles of Secure Design
Verifica formale delle proprietà per la sicurezza in rete

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
SOftware R
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Analisi esplorativa dei dati
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Variabili causali e distribuzioni
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Statistica parametrica e nonparametrica
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Ipotesi ed intervalli di fiducia
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Regressione

Sillabo dell'insegnamento

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