Sillabo dell'insegnamento

• B - Algoritmi
SDA - Strutture di Dati Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Tecniche di hashing per la gestione di tabelle, Tecniche di bilanciamento di alberi.
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati fondamentali: pile e code. Algoritmi per la loro manipolazione: inserimento, cancellazione.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Analisi asintotica.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Tecniche di progetto (divide-et-impera, golosa, ...).
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi fondamentali (ricerca, ordinamento, ...).
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi: rappresentazione, algoritmi di visita. Alberi: visite, alberi binari di ricerca.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Algoritmi su grafi (cammini minimi, minimo albero ricoprente, ...).
* ASC - Algoritmi su Strutture Combinatorie
+ AL-AS - Algorithmic Strategies
Algoritmi approssimati. Fondamenti ed esempi (minimum vertex cover).
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati elementari: vettori, matrici, liste. Algoritmi per la loro manipolazione: ricerca, inserimento, cancellazione
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Tecniche di base per l'analisi della complessità computazionale.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-AS - Algorithmic Strategies
Tecniche di progettazione algoritmi.
TAA - Tecniche Algoritmiche Avanzate
+ AL-AS - Algorithmic Strategies
Programmazione di strutture dati e confronto critico dei risultati teorici e sperimentali.

Sillabo dell'insegnamento

• E - Architetture
* LMP - Livello di Microprogrammazione
+ AR-DLDS - Digital Logic and Digital Systems
Caratteristiche dei linguaggi di microprogrammazione, con riferimento ad un caso di studio specifico.
* CCS - Circuiti combinatori e sequenziali
+ AR-MSOA - Memory System Organization and Architecture
Funzionamento dell'elaboratore e delle sue parti hardware.
* ASS - Linguaggio Assembler
+ AR-MLRD - Machine Level Representation of Data
Caratteristiche dei linguaggi assembler, con riferimento ad un caso di studio specifico.
* AC - Aritmetica dei calcolatori
+ AR-ALMO - Assembly Level Machine Organization
Reti combinatorie, sistemi a livelli.
VMP - Valutazione e Miglioramento delle Prestazioni
* AR-IO - Interfacing and Communication
Principi di parallelismo e cooperazione, prestazioni.
* LII - Livello Instruction Set
+ AR-ALMO - Assembly Level Machine Organization
Processori, gerarchie di memorie, comunicazioni, dispositivi.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/02 - Algebra
+ DS-BC - Basics of Counting
Elementi di teoria dei gruppi. Esempi di gruppi.
MAT/02 - Algebra
+ DS-SRF - Sets, Relations, and Functions
Morfismi. Teoremi di isomorfismo per gli anelli. Caratteristica di un anello.
MAT/05 - Analisi Matematica
+ DS-PT - Proof Techniques
Limiti di successioni e di funzioni in una variabile reale.
MAT/05 - Analisi Matematica
+ DS-PT - Proof Techniques
Alcuni limiti notevoli.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Funzioni continue.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Derivate ed integrali (definiti ed indefiniti).
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Studio di funzione.
MAT/05 - Analisi Matematica
MAT/05 - Analisi Matematica
Polinomi di Taylor, Serie numeriche.
MAT/02 - Algebra
MAT/02 - Algebra
Anelli di polinomi. Ideali primi e massimali. Fattorizzazione unica.
MAT/02 - Algebra
MAT/02 - Algebra
Proprietà elementari dei gruppi. Sottogruppi. Gruppi ciclici.
MAT/02 - Algebra
MAT/02 - Algebra
Laterali e teorema di Lagrange. Sottogruppi normali e gruppi quoziente. Morfismi. I teoremi di isomorfismo.
MAT/02 - Algebra
MAT/02 - Algebra
Elementi di teoria degli anelli. Anelli e campi. Ideali. Anelli quoziente.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
+ DS-SRF - Sets, Relations, and Functions
Insiemi, Funzioni, Logica.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Modelli di Calcolo. Equivalenza Versioni Macchine di Turing e Tesi di Church.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Risultati fondamentali di teoria della calcolabilità.
* CAL - Calcolabilità
+ AL-BACC - Basic Automata, Computability and Complexity
Risultati fondamentali di teoria della calcolabilità.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Gerarchia di Chomsky.
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Relazioni tra Insiemi Ricorsivi-Ricors. Enumerabili e Linguaggi generati da grammatiche.

Sillabo dell'insegnamento

• G - Basi di dati
* PC - Progettazione concettuale
+ IM-IMC - Information Management Concepts
Progettazione concettuale di basi di dati.
* PL - Progettazione Logica
+ IM-DMo - Data Modeling
Progettazione logica di basi di dati.
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-DS - Database Systems
Tecniche di progettazione e gestione di sistemi di basi di dati con riferimento a SQL
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
+ IM-RDQL - Relational Databases and Query Languages
Architettura funzionale dei DBMS.
TCR - Transazioni, Concorrenza e Recovery
+ IM-RDQL - Relational Databases and Query Languages
Il linguaggio SQL.
* DBMS - Sistemi di Gestione di Basi di Dati
IM-PDD - Physical Database Design
Gestione ed evoluzione di basi di dati.

Insegnamenti "a scelta" che possono essere selezionati

1. Distributed Systems
2. Formal Languages and Compilers
3. Model Checking I
4. Networking Fundamentals (CISCO I-II)
5. Neural Networks
6. Modelling and Simulation II
7. Networking Discovery (CISCO III-IV)
8. Modelling and Simulation I
9. Mobile Programming
10. Theory of Complexity

Sillabo dell'insegnamento

• I - Ingegneria del software
* LMS - Linguaggi di Modellazione del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Principali diagrammi UML.
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Validazione.
MES - Manutenzione ed Evoluzione del Software
* SE-SE - Software Evolution
Processi di supporto (gestione e controllo, documentazione, ...).
* TVV - Testing, Verifica e Validazione
+ SE-SVV - Software Verification and Validation
Verifica.
* ASW - Architetture Software
+ SE-SDC - Software Design and Construction
Realizzazione di sistema software.
* PSS - Processi di Sviluppo del Software
+ SE-SPRE - Software Processes and Requirement Engineering
Specifica dei requisiti.
* PSC - Progettazione del Software e Codifica
+ SE-SDC - Software Design and Construction
Progettazione di sistema software.
* ASW - Architetture Software
* SE-SE - Software Evolution
Architetture software .
* AR - Analisi dei Requisiti
+ SE-SPRE - Software Processes and Requirement Engineering
Analisi dei requisiti.
* PSS - Processi di Sviluppo del Software
+ SE-TE - Tools and Environments
Metodologie di sviluppo del software.
* LMS - Linguaggi di Modellazione del Software
* SE-SPM - Software Project Management
Modelli di sistema.
* LMS - Linguaggi di Modellazione del Software
+ SE-TE - Tools and Environments
Progettazione di un sistema software in UML.

Sillabo dell'insegnamento

• H - Computazione su rete
* PT - Protocolli
+ NC-I - Introduction: Computer Network Architecture
Protocolli di basso livello.
* PT - Protocolli
+ NC-LAN - Local Area Networks
Protocolli di comunicazione, TCP/IP, instradamento e trasporto.
GRC - Gestione di Reti di Calcolatori
+ NC-NA - Networked Applications
Monitor del traffico di rete.
* SR - Sicurezza delle Reti
+ IAS-FCS - Foundational Concepts in Security
Sicurezza a livello 1 e 2, firewall stateless e statefull, linux netfilter ed esempi di configurazioni, proxy e loro vulnerabilità. Suddivisioni di carico e full high-availability. Intrusion detection systems di rete.
* PT - Protocolli
* IAS-PSD - Principles of Secure Design
Certificati, certification authority, public key infrastructure e loro vulnerabilità.
* PT - Protocolli
IAS-NS - Network Security
Applicazioni: Protocolli ssl, tls, ssh, virtual private network, ipsec, pptp.
* PT - Protocolli
* IAS-PSD - Principles of Secure Design
Protocolli di autenticazione punto-punto PAP, CHAP, MS-CHAP, EAP. Autenticazione degli utenti in rete locale 802.1X, radius e vulnerabilità . .
* SR - Sicurezza delle Reti
* IAS-DP - Defensive Programming
richiami di crittografia (hash, simmetrica, asimmetrica, MAC, firma digitale), attacchi birthday, rainbow, qualità delle chiavi.
* SR - Sicurezza delle Reti
IAS-C - Cryptography
Generazione di numeri pesudo-casuali .Protocolli di autenticazione e di scambio di chiavi. Attacchi replay e reflection. Nonces .

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Deduzione naturale.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Calcoli logici.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Logica predicativa, logica proposizionale.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Elementi di logica.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Modelli e teorie.
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Rappresentabilità logica.

Sillabo dell'insegnamento

• C - Programmazione
* PSA - Problem Solving e Algoritmi
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Algoritmi e problem-solving.
* SS - Sintassi e Semantica
* PL-SyA - Syntax Analysis
Sintassi dei linguaggi di programmazione.
* SS - Sintassi e Semantica
PL-FS - Formal Semantics
Semantica dei linguaggi di programmazione.
* CB - Costrutti di Base
PL-PR - Program Representation
Costrutti di base della programmazione.
* SDTD - Strutture Dati e Tipi di Dati astratti
PL-TS - Type Systems
Tipi di dati.
* P - Procedure
PL-APC - Advanced Programming Constructs
Funzioni e procedure.
* R - Ricorsione
PL-APC - Advanced Programming Constructs
Ricorsione.
* SCP - Sviluppo e Correttezza dei Programmi
PL-CSA - Compiler Semantic Analysis
Correttezza dei programmi.
* POO - Programmazione Orientata agli Oggetti
PL-LP - Language Pragmatics
Elementi di programmazione a oggetti: Classi, oggetti, ereditarietà, polimorfismo.
* POO - Programmazione Orientata agli Oggetti
PL-LP - Language Pragmatics
Il linguaggio Java.
V - Varie
PL-CG - Code Generation
Relativi ambienti di sviluppo.
* POO - Programmazione Orientata agli Oggetti
+ PL-OOP - Object-Oriented Programming
Sviluppo di un progetto software in Java.

Sillabo dell'insegnamento

• C - Programmazione
* POO - Programmazione Orientata agli Oggetti
* PBD-WP - Web Platforms
Pagine Attive: Lato Server CGI Microsoft ASP Java Server Page Servlets PHP ISAPI e NSAPI. Cenni su Cold Fusion e sistemi similari .
* SCP - Sviluppo e Correttezza dei Programmi
+ NC-I - Introduction: Computer Network Architecture
Pagine attive: Lato Client Javascript, VBScript, oggetti predefiniti proprieta' e metodi gestione eventi. Page submitting: Metodo Get, Metodo Post Applets, Controlli ActiveX. Limiti della programmazione lato client.
PP - Paradigmi di Programmazione
* PBD-WP - Web Platforms
Componenti Web: http servers. Funzione Universo: Microsoft Universo. Unix/Linux Database Servers. Funzioni Interazione tra componenti (Browsers, HTTP Servers, Database servers) .
* CB - Costrutti di Base
+ HCI-DI - Designing Interaction
Componenti Web: http browsers. Funzione, html, CSS. Metodologie progettazione interfaccia: MIME Types.
* CB - Costrutti di Base
+ HCI-PIS - Programming Interactive Systems
I Protocolli Web: http/https, ftp/ftp anonymous Sicurezza: SSL.
* SCP - Sviluppo e Correttezza dei Programmi
HCI-NIT - New Interactive Technologies
Interazioni con i database servers. Limiti della programmazione lato server. Metodologie di progettazione siti con pagine attive.

Sillabo dell'insegnamento

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

Sillabo dell'insegnamento

• MAT - Crediti di MATEMATICA
MAT/01 - Logica Matematica
MAT/01 - Logica Matematica
Logica Matematica
MAT/02 - Algebra
MAT/02 - Algebra
Algebra
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Ricerca Operativa
MAT/09 - Ricerca Operativa
MAT/09 - Ricerca Operativa
Neural Networks
MAT/03 - Geometria
MAT/03 - Geometria
Geometria
MAT/06 - Probabilita' e Statistica Matematica
MAT/06 - Probabilita' e Statistica Matematica
Probabilità e Statistica

Sillabo dell'insegnamento

• F - Sistemi operativi
* SCO - Struttura e Componenti di un sistema operativo
+ OS-O - Overview of Operating Systems and Principles
Struttura di un sistema operativo.
MA - Modelli e Architetture di sistemi operativi
+ OS-O - Overview of Operating Systems and Principles
Sviluppo dei moderni sistemi (e scelte progettuali che lo guidano).
MA - Modelli e Architetture di sistemi operativi
* OS-SPr - Security and Protection
Tassonomia dei Sistemi Operativi (Utente, Architettura, Dominio).
* GSP - Gestione e Sincronizzazione dei Processi
+ OS-SD - Scheduling and Dispatch
Gestione dei processi: scheduling, sincronizzazione e deadlock problem.
* GM - Gestione della Memoria
+ OS-MM - Memory Management
Gestione memoria e dispositivi.
* FS - File System
* OS-FS - File Systems
Gestione file in ambiente centralizzato e distribuito.
* SCO - Struttura e Componenti di un sistema operativo
OS-RTES - Real Time and Embedded Systems
TinyOS
PS - Programmazione di Sistema
OS-RTES - Real Time and Embedded Systems
TinyOS
PS - Programmazione di Sistema
OS-RTES - Real Time and Embedded Systems
TinyOS

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta

Sillabo dell'insegnamento

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

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

1. Indirizzo a scelta