| 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.
|
|
Codice
|
20801728 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
| Modulo: 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.
|
|
Codice
|
20801728-1 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
6
|
|
Settore scientifico disciplinare
|
ING-INF/05
|
|
Ore Aula
|
54
|
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
|
Docente
|
DI BATTISTA GIUSEPPE
(programma)
La qualità del servizio: Qualità dei servizi di rete. Il livello di applicazione: Progettazione di architetture scalabili per servizi Web, Content delivery networks, Architettura di un Internet data center, Le reti peer-to-peer e le distributed hash tables. Il rapporto tra livello di applicazione e livello di trasporto: Socket per i client, Socket per i server. Il livello di trasporto ed il controllo di congestione: Tecniche di trasporto, TCP e controllo di congestione, Approfondimenti, esercizi ed esempi su tcp. 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. Il routing interdominio: Border Gateway Protocol (BGP), Scalabilità di BGP, Struttura di un AS di transito, Dati su Internet, Analisi dei dati su Internet, Stabilità di BGP. Le reti virtuali: Reti locali virtuali, Evoluzione dello spanning tree protocol, Reti private virtuali basate su MPLS. 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. Uso di un emulatore di rete: Netkit.
(testi)
Nessuno
|
|
Date di inizio e termine delle attività didattiche
|
Dal 01/10/2015 al 20/12/2015 |
|
Modalità di erogazione
|
Tradizionale
|
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
| Modulo: 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.
|
|
Codice
|
20801728-2 |
|
Lingua
|
ITA |
|
Tipo di attestato
|
Attestato di profitto |
|
Crediti
|
6
|
|
Settore scientifico disciplinare
|
ING-INF/05
|
|
Ore Aula
|
54
|
|
Attività formativa
|
Attività formative caratterizzanti
|
Canale Unico
|
Docente
|
DI BATTISTA GIUSEPPE
(programma)
La qualità del servizio: Qualità dei servizi di rete. Il livello di applicazione: Progettazione di architetture scalabili per servizi Web, Content delivery networks, Architettura di un Internet data center, Le reti peer-to-peer e le distributed hash tables. Il rapporto tra livello di applicazione e livello di trasporto: Socket per i client, Socket per i server. Il livello di trasporto ed il controllo di congestione: Tecniche di trasporto, TCP e controllo di congestione, Approfondimenti, esercizi ed esempi su tcp. 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. Il routing interdominio: Border Gateway Protocol (BGP), Scalabilità di BGP, Struttura di un AS di transito, Dati su Internet, Analisi dei dati su Internet, Stabilità di BGP. Le reti virtuali: Reti locali virtuali, Evoluzione dello spanning tree protocol, Reti private virtuali basate su MPLS. 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. Uso di un emulatore di rete: Netkit.
|
|
Date di inizio e termine delle attività didattiche
|
Dal 01/10/2015 al 20/12/2015 |
|
Modalità di erogazione
|
Tradizionale
|
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
|
Università Roma Tre