Insegnamento
|
CFU
|
SSD
|
Ore Lezione
|
Ore Eserc.
|
Ore Lab
|
Ore Studio
|
Attività
|
Lingua
|
20801728 -
INFORMATICA TEORICA
(obiettivi)
Presentare la teoria dei linguaggi e, parallelamente, la teoria degli automi. Introdurre i paradigmi della computabilità e della complessità. Al termine del corso gli studenti dovrebbero conoscere nuove metodologie formali, dovrebbero riuscire a rivisitare in modo critico, dal punto di vista del potere espressivo, metodologie già introdotte in modo pragmatico e dovrebbero essere in grado di classificare i problemi dal punto di vista delle risorse richieste per la loro risoluzione.
|
|
20801728-1 -
INFORMATICA TEORICA MODULO I
(obiettivi)
Presentare la teoria dei linguaggi e, parallelamente, la teoria degli automi. Introdurre i paradigmi della computabilità e della complessità. Al termine del corso gli studenti dovrebbero conoscere nuove metodologie formali, dovrebbero riuscire a rivisitare in modo critico, dal punto di vista del potere espressivo, metodologie già introdotte in modo pragmatico e dovrebbero essere in grado di classificare i problemi dal punto di vista delle risorse richieste per la loro risoluzione.
-
PATRIGNANI MAURIZIO
( programma)
Proprietà elementari dei linguaggi: operazioni su linguaggi, operatore di Kleene, espressioni regolari, cardinalità dei linguaggi Grammatiche formali: grammatiche di Chomsky, produzioni, generazione e riconoscimento di linguaggi. Linguaggi regolari: automi a stati finiti, relazioni tra automi e linguaggi regolari, pumping lemma, chiusura dei linguaggi regolari, espressioni regolari e linguaggi regolari, decidibilità e linguaggi regolari, teorema di Myhill-Nerode.
( testi)
G. Ausiello, F. d'Amore, G. Gambosi, "Linguaggi Modelli Complessità", FrancoAngeli.
|
6
|
ING-INF/05
|
54
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
20801728-2 -
INFORMATICA TEORICA MODULO II
(obiettivi)
Presentare la teoria dei linguaggi e, parallelamente, la teoria degli automi. Introdurre i paradigmi della computabilità e della complessità. Al termine del corso gli studenti dovrebbero conoscere nuove metodologie formali, dovrebbero riuscire a rivisitare in modo critico, dal punto di vista del potere espressivo, metodologie già introdotte in modo pragmatico e dovrebbero essere in grado di classificare i problemi dal punto di vista delle risorse richieste per la loro risoluzione.
-
PATRIGNANI MAURIZIO
( programma)
Presentare la teoria dei linguaggi e, parallelamente, la teoria degli automi. Introdurre i paradigmi della computabilità e della complessità. Al termine del corso gli studenti dovrebbero conoscere nuove metodologie formali, dovrebbero riuscire a rivisitare in modo critico, dal punto di vista del potere espressivo, metodologie già introdotte in modo pragmatico e dovrebbero essere in grado di classificare i problemi dal punto di vista delle risorse richieste per la loro risoluzione.
( testi)
Michael Sipser, "Introduction to the Theory of Computation", Second Edition, Thompson.
|
6
|
ING-INF/05
|
54
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
20801732 -
RICERCA OPERATIVA II
(obiettivi)
Fornire conoscenze di base, sia metodologiche che quantitative, per la rappresentazione e la soluzione di problemi di ottimizzazione. Preparare gli studenti all'uso dei modelli di programmazione matematica con particolare attenzione rivolta ai modelli di ottimizzazione a variabili intere e ad alcune loro applicazioni.
-
NICOSIA GAIA
( programma)
INTRODUZIONE ALLA PROGRAMMAZIONE LINEARE A NUMERI INTERI (PLI): RELAZIONE FRA PL E PLI, FORMULAZIONI EQUIVALENTI, RILASSAMENTI, MATRICI TOTALMENTE UNIMODULARI, TECNICHE STANDARD PER LA FORMULAZIONE DI PROBLEMI DI PLI. FORMULAZIONE DI TIPICI PROBLEMI DI OTTIMIZZAZIONE: LOCALIZZAZIONE DI IMPIANTI, SCELTA DI INVESTIMENTI, SEQUENZIAMENTO DI ATTIVITÀ, OTTIMIZZAZIONE SU RETI, TRASPORTI, SET COVERING, SET PARTITIONING, SET PACKING, TURNI DEL PERSONALE.SOLUZIONE ESATTA DI PROBLEMI DI PROGRAMMAZIONE LINEARE A NUMERI INTERI: BRANCH AND BOUND, IL PROBLEMA DI KNAPSACK, PIANI DI TAGLIO.METODI DI PROGRAMMAZIONE DINAMICA (PD): ALGORITMO DI PD PER IL KNAPSACK CAPACITATO, ALGORITMO DI PD PER IL KNAPSACK INTERO NON CAPACITATO.OTTIMIZZAZIONE SU GRAFI: MATCHING, MINIMO COVER, MASSIMO FLUSSO, MASSIMO STABILE. GRAFI EULERIANI E GRAFI BIPARTITI.UTILIZZO DI UN SOFTWARE COMMERCIALE PER LA SOLUZIONE DI PROBLEMI DI PROGRAMMAZIONE MATEMATICA.
( testi)
[1] M. FISCHETTI, "LEZIONI DI RICERCA OPERATIVA", EDIZIONI LIBRERIA PROGETTO PADOVA, ITALIA, 1995. (CHAP. 2, 5, part of 6 and 7). [2] R. AHUJA, T. MAGNANTI, J. ORLIN, "NETWORK FLOWS", PRENTICE HALL, 1993. (PG. 189-191, 473-475, 494-496) [3] Lecture notes.
|
6
|
MAT/09
|
54
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
20801733 -
TELECOMUNICAZIONI WIRELESS
(obiettivi)
Acquisire conoscenze generali sui sistemi mobili cellulari come parte integrante di reti di comunicazione. Fornire una panoramica sui principali sistemi di reti mobili cellulari di nuova generazione (UMTS e Wi-Max), descrivendo sommariamente l'architettura delle reti di accesso e del core network sulla base di concetti operativi fondamentali. Acquisire conoscenze di base sulle tecniche wireless di accesso multiplo alla risorsa radio e di copertura cellulare. Acquisire conoscenze specifiche sulla gestione della rete strutturata condivisa, della mobilità e della sicurezza delle comunicazioni cellulari. Descrivere i criteri fondamentali di procedure e protocolli per l'interoperabilità con reti eterogenee ed illustrare metodologie di realizzazione di reti cellulari virtuali basate su protocollo IP e servizi WEB. Descrivere i principali servizi delle reti mobili cellulari di nuova generazione (NGN), illustrando anche gli strumenti principali per realizzare le suddette applicazioni e servizi.
-
GIUNTA GAETANO
( programma)
Le reti wireless radiomobili. Requisiti e servizi. Mobilità. Sicurezza. Gestione della rete e dei dispositivi mobili. Architetture ed accesso alla risorsa di rete 2G e 3G. Architetture ed accesso alla risorsa di rete 4G. Evoluzione verso il 5G. Maggiori dettagli sul sito: http://host.uniroma3.it/laboratori/sp4te/teaching/tw/program.html
( testi)
G. Giunta, Lucidi del corso di Telecomunicazioni Wireless. 2017. G. COLUMPSI, M. LEONARDI, A. RICCI: “UMTS: TECNICHE E ARCHITETTURE PER LE RETI DI COMUNICAZIONI MOBILI MULTIMEDIALI”, SECONDA EDIZIONE; HOEPLI INFORMATICA; NOVEMBRE 2005. Stefania Sesia, Issam Toufik, Matthew Baker: “LTE - The UMTS Long Term Evolution: From Theory to Practice, 2nd Edition”, Wiley publ.; July 2011. Mansoor Shafi, Andreas F. Molisch, Peter J. Smith, Thomas Haustein, Peiying Zhu, PrasanDeSilva, Fredrik Tufvesson, Anass Benjebbour, and Gerhard Wunder: “5G: A Tutorial Overview of Standards, Trials, Challenges, Deployment, and Practice. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 35, NO. 6, JUNE 2017. Mamta Agiwal, Abhishek Roy, and Navrati Saxena: “Next Generation 5G Wireless Networks: A Comprehensive Survey. IEEE COMMUNICATIONS SURVEYS & TUTORIALS, VOL. 18, NO. 3, THIRD QUARTER 2016.
|
6
|
ING-INF/03
|
54
|
-
|
-
|
-
|
Attività formative affini ed integrative
|
ITA |
Gruppo opzionale:
comune Orientamento unico QUATTRO A SCELTA - (visualizza)
|
36
|
|
|
|
|
|
|
|
20801729 -
INFRASTRUTTURE DELLE RETI DI CALCOLATORI
(obiettivi)
Fornire competenze avanzate sulle reti di calcolatori con contributi metodologici e tecnici. Particolare attenzione è riservata agli aspetti legati alla scalabilità. Al termine del corso lo studente dovrebbe aver assimilato i concetti di instradamento interdominio e intradominio, controllo di congestione, architetture per servizi scalabili, e dovrebbe aver acquisito tecnicalità avanzate sui protocolli più diffusi. Lo studente inoltre dovrebbe aver compreso quali siano gli aspetti tecnici ed economici e quali siano i principali attori che governano l'evoluzione di Internet
-
DI BATTISTA GIUSEPPE
( programma)
PARTE 1: Il livello di applicazione. Il punto di vista delle applicazioni. Qualità dei servizi di rete. Progettazione di architetture scalabili per servizi Web. Architettura di un Internet data center. Content delivery networks. Le reti peer-to-peer e le distributed hash tables. PARTE 2: Il rapporto tra livello di applicazione e livello di trasporto. La libreria delle socket ed il suo uso. PARTE 3: Il livello di trasporto ed il controllo di congestione. Tecniche di trasporto. TCP e controllo di congestione. Approfondimenti, esercizi ed esempi su tcp. PARTE 4: Le metodologie e le tecnologie di routing. Algoritmi di instradamento per l'infrastruttura di rete fissa. Algoritmi Link-State-Packet. Protocolli di instradamento e la rete Internet. Software Defined Networks. Calcolo dello spanning tree in reti con switch. PARTE 5: Il routing interdominio. Border Gateway Protocol. Scalabilità di BGP. Struttura di Internet. Analisi dei dati di Internet. Struttura di un AS di transito. Stabilita' di BGP. PARTE 6: Le reti virtuali. Reti locali virtuali. Evoluzione dello spanning tree protocol. Reti private virtuali basate su MPLS PARTE 7: IPv6. NAT e l'esaurimento degli indirizzi IPv4. Indirizzamento e aspetti di base del protocollo. ICMPv6. Source address selection e multihoming. Meccanismi di transizione IPv4-IPv6.
( testi)
Trasparenze fornite dal docente.
|
9
|
ING-INF/05
|
81
|
-
|
-
|
-
|
Attività formative caratterizzanti
|
ITA |
|