2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica
-
Percorso: Algoritmi
| Informazioni generali | ||||
| Università | ROMA "La Sapienza" | Responsabile del Percorso | Paola Velardi | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | velardi@di.uniroma1.it | ||
| Docenti che insegnano nel corso*: | 27 | Afferisce al primo corso di laurea iscritto | Si | |
| (*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea | E' un percorso interdisciplinare | No | ||
| Commento | ||||
| Legenda delle Aree | |||||
| A: | Fondamenti | G: | Basi di dati | altro INF: | Crediti di INFORMATICA non classificati nelle aree |
|---|---|---|---|---|---|
| B: | Algoritmi | H: | Computazione su rete | INF: | Crediti di INFORMATICA non classificabili a priori |
| C: | Programmazione | I: | Ingegneria del software | MAT: | Crediti di MATEMATICA |
| D: | Linguaggi | L: | Interazione, grafica e multimedialità | altro: | Crediti NON dell'INFORMATICA nè della MATEMATICA |
| E: | Architetture | M: | Rappresentazione della conoscenza | NC: | Crediti Non Classificabili a priori |
| F: | Sistemi operativi | A_M: | Una qualunque delle aree da A a M | ||
| Insegnamenti e ripartizione CFU per area | CFU | A | B | C | D | E | F | G | H | I | L | M | A_M | altro INF | INF | MAT | altro | NC |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Algoritmi avanzati | 6 | 6 | ||||||||||||||||
| Algoritmi e strutture dati | 6 | 6 | ||||||||||||||||
| Algoritmi per le reti | 6 | 6 | ||||||||||||||||
| Calcolabilità e complessità | 6 | 6 | ||||||||||||||||
| Compilatori | 6 | 6 | ||||||||||||||||
| Complessità | 6 | 6 | ||||||||||||||||
| Ingegneria degli algoritmi | 6 | 4 | 2 | |||||||||||||||
| Insegnamenti a scelta dello studente | 12 | 12 | ||||||||||||||||
| Insegnamenti a scelta vincolata non di Informatica | 6 | 6 | ||||||||||||||||
| Insegnamenti vincolati di Informatica | 6 | 6 | ||||||||||||||||
| Metodi formali per il software | 6 | 6 | ||||||||||||||||
| Sistemi distribuiti | 6 | 5 | 1 | |||||||||||||||
| Attività Extracurriculari | 0 | 0 | ||||||||||||||||
| Lingue Straniere | 0 | 0 | ||||||||||||||||
| Prova Finale | 36 | 36 | ||||||||||||||||
| Tirocinio | 6 | 6 | ||||||||||||||||
| TOTALE | 120 | 12 | 22 | 0 | 6 | 2 | 5 | 0 | 1 | 6 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 60 |
Riepilogo dell'insegnamento: Algoritmi avanzati
| Nome | Algoritmi avanzati | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- B - Algoritmi
-
AD - Algoritmi Distribuiti
Modelli di computazione distribuita -
AP - Algoritmi Paralleli
Introduzione alla programmazione parallela. -
AP - Algoritmi Paralleli
Tecniche e algoritmi paralleli di base -
AD - Algoritmi Distribuiti
Introduzione ai sistemi distribuiti -
AD - Algoritmi Distribuiti
Algoritmi distribuiti di base -
AP - Algoritmi Paralleli
Le classi NC e RNC.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Algoritmi e strutture dati
| Nome | Algoritmi e strutture dati | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- B - Algoritmi
- *
A - Algoritmi fondamentali
Min Cut e sue applicazioni per il branch-and-bound. -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Analisi ammortizzata; calcolo dei differenti approcci alla complessità ammortizzata relativo a problemi elementari. - *
SDF - Strutture di Dati Fondamentali
Suffix tree e loro uso in ricerca avanzata di stringhe, biologia computazionale e compressione dati. -
SDA - Strutture di Dati Avanzate
Splay tree come strutture dati utili nell'implementazione di caches e negli algoritmi di garbage collection. - *
SDF - Strutture di Dati Fondamentali
Alberi etchettati e loro applicazioni nella tomografia delle reti e per indicizzare documenti XML. - *
A - Algoritmi fondamentali
Nearest neighbor search e sue applicazioni in pattern recognition e image retrieval.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Algoritmi per le reti
| Nome | Algoritmi per le reti | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- B - Algoritmi
- *
ASC - Algoritmi su Strutture Combinatorie
accoppiamento perfetto di costo minimo su grafo bipartito - *
ASC - Algoritmi su Strutture Combinatorie
Colorazione di grafi - *
ASC - Algoritmi su Strutture Combinatorie
Minimo albero ricoprente -
TAA - Tecniche Algoritmiche Avanzate
Algoritmi su griglia -
TAA - Tecniche Algoritmiche Avanzate
Minima copertura di vertici - *
A - Algoritmi fondamentali
Calcolo del cammino minimo
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Calcolabilità e complessità
| Nome | Calcolabilità e complessità | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
COM - Complessita'
Problemi trattabili e problemi non provatamente intrattabili: P e NP. - *
CAL - Calcolabilita'
Decidibilità -
COM - Complessita'
Classi di complessità - *
ALF - Automi e Linguaggi Formali
Automi a pila e grammatiche acontestuali. - *
ALF - Automi e Linguaggi Formali
Automi a stati finiti - *
CAL - Calcolabilita'
Macchine di Turing
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Compilatori
| Nome | Compilatori | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
- *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Riconoscimento dei programmi: metodi deduttivi (tecniche top-down) e induttivi (tecniche bottom-up). - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Generazione del codice oggetto: analisi e ottimizzazione - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Generazione del metacodice - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi Semantica - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Analisi sintattica - *
LF - Linguaggi Formali
Scansione del testo e riconoscimento automatico dei lessemi, basato su grammatiche regolari ed espressioni regolari.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Complessità
| Nome | Complessità | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
COM - Complessita'
Il teorema PCP -
COM - Complessita'
Approssimazione randomizzata -
COM - Complessita'
La gerarchia polinomiale -
COM - Complessita'
Algoritmi e classi probabilistiche -
COM - Complessita'
La complessità dei problemi di ottimizzazione -
COM - Complessita'
Nozioni di base
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Ingegneria degli algoritmi
| Nome | Ingegneria degli algoritmi | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 4 CFU nell'area B - Algoritmi
- 2 CFU nell'area E - Architetture
Sillabo dell'insegnamento
- B - Algoritmi
-
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Allocazione di memoria -
TAA - Tecniche Algoritmiche Avanzate
Algoritmi su matrici -
TAA - Tecniche Algoritmiche Avanzate
Algoritmi su stream -
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
Modelli computazionali per analisi di algoritmi - E - Architetture
-
AA - Architetture Avanzate
Architetture multi-core -
AA - Architetture Avanzate
Memorie gerarchiche
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Insegnamenti a scelta dello studente
| Nome | Insegnamenti a scelta dello studente | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | --libero-- |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area NC - Crediti Non Classificabili a priori
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Insegnamenti a scelta vincolata non di Informatica
| Nome | Insegnamenti a scelta vincolata non di Informatica | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | --libero-- |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area NC - Crediti Non Classificabili a priori
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Insegnamenti vincolati di Informatica
| Nome | Insegnamenti vincolati di Informatica | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Metodi formali per il software
| Nome | Metodi formali per il software | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- I - Ingegneria del software
- *
PSS - Processi di Sviluppo del Software
Static analysis, testing, model checking, sintesi automatica, trasformazione di programmi e modelli - *
LMS - Linguaggi di Modellazione del Software
Algebre di processo, Timed/Hybrid Automata, Statecharts, Reti di Petri - *
AR - Analisi dei Requisiti
Definizione e la validazione dei requisiti - *
PSC - Progettazione del Software e Codifica
Metodi di Analisi e Sintesi di Sistemi Software - *
AR - Analisi dei Requisiti
Metodi di Specifica dei Requisiti di Sistemi Software - *
LMS - Linguaggi di Modellazione del Software
Metodi di Modellazione di Sistemi Software
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Sistemi distribuiti
| Nome | Sistemi distribuiti | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 5 CFU nell'area F - Sistemi operativi
- 1 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
- F - Sistemi operativi
- *
GSP - Gestione e Sincronizzazione dei Processi
Shared memory e la gerarchia wait-free - *
GSP - Gestione e Sincronizzazione dei Processi
Mutua esclusione e deadlock detection - *
GSP - Gestione e Sincronizzazione dei Processi
Logical time - *
GSP - Gestione e Sincronizzazione dei Processi
Consensus - *
GSP - Gestione e Sincronizzazione dei Processi
Failure detectors - H - Computazione su rete
- *
ARTC - Architettura delle Reti di Calcolatori
Sistemi P2P
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
