2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Intelligenza artificiale
Informazioni generali
Università ROMA "La Sapienza" Responsabile del Percorso Paola Velardi
Livello del Cdl MAGISTRALE Email 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 e strutture dati 6   6                              
Apprendimento automatico 6                     6            
Calcolabilità e complessità 6 6                                
Compilatori 6       6                          
Elaborazion del Linguaggio Naturale 6   2                 4            
Fondamenti di grafica computazionale 6                   6              
Insegnamenti a scelta dello studente 12                                 12
Insegnamenti a scelta vincolata di Informatica 6                       6          
Insegnamenti a scelta vincolata non di Informatica 6                                 6
Metodi di estrazione delle informazioni dal web 6             3       3            
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 6 8 0 6 0 5 3 1 6 6 13 6 0 0 0 0 60

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.
    • * A - Algoritmi fondamentali
      Nearest neighbor search e sue applicazioni in pattern recognition e image retrieval.
    • * SDF - Strutture di Dati Fondamentali
      Alberi etchettati e loro applicazioni nella tomografia delle reti e per indicizzare documenti XML.
    • 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
      Suffix tree e loro uso in ricerca avanzata di stringhe, biologia computazionale e compressione dati.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Apprendimento automatico
Nome Apprendimento automatico CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Apprendimento semi-supervisionato
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Apprendimento supervisionato
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Problemi dell'apprendimento automatico
    • AIA - Applicazioni della Intelligenza Artificiale
      Applicazioni all'elaborazione del linguaggio naturale
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Apprendimento non supervisionato
    • RA - Ragionamento Automatico
      Algoritmi genetici e programmazione genetica

(*) 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
    • * ALF - Automi e Linguaggi Formali
      Automi a pila e grammatiche acontestuali.
    • * CAL - Calcolabilita'
      Macchine di Turing
    • * ALF - Automi e Linguaggi Formali
      Automi a stati finiti
    • * CAL - Calcolabilita'
      Decidibilità
    • COM - Complessita'
      Classi di complessità
    • COM - Complessita'
      Problemi trattabili e problemi non provatamente intrattabili: P e NP.

(*) 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
    • * MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
      Generazione del metacodice
    • * 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.
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Analisi Semantica
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Generazione del codice oggetto: analisi e ottimizzazione
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Riconoscimento dei programmi: metodi deduttivi (tecniche top-down) e induttivi (tecniche bottom-up).

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Elaborazion del Linguaggio Naturale
Nome Elaborazion del Linguaggio Naturale CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 2 CFU nell'area B - Algoritmi
  • 4 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • B - Algoritmi
    • TAA - Tecniche Algoritmiche Avanzate
      Algoritmi di classificazione e clustering
    • * ASC - Algoritmi su Strutture Combinatorie
      Algoritmi probabilistici
  • M - Rappresentazione della conoscenza
    • AIA - Applicazioni della Intelligenza Artificiale
      traduzione automatica
    • AIA - Applicazioni della Intelligenza Artificiale
      Word sense disambiguation
    • * SBC - Sistemi Basati su Conoscenza
      Analisi morfologica, sinttattica, semantica
    • ARC - Acquisizione e Rappresentazione della Conoscenza
      Apprendimenti di basi di conoscenza linguistiche

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Fondamenti di grafica computazionale
Nome Fondamenti di grafica computazionale CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area L - Interazione, grafica e multimedialità

Sillabo dell'insegnamento

  • L - Interazione, grafica e multimedialità
    • RV - Rendering e Visualizzazione
      real-time rendering system
    • RV - Rendering e Visualizzazione
      distribution raytracing, path tracing and photon mapping
    • RV - Rendering e Visualizzazione
      physically-based rendering
    • ESM - Elaborazione di Segnali Multimediali (immagini, suoni e video)
      geometrical transformations, curves and surfaces, illumination and shading models
    • RV - Rendering e Visualizzazione
      representation of digital images
    • RV - Rendering e Visualizzazione
      mathematical foundations of modeling

(*) 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 di Informatica
Nome Insegnamenti a scelta vincolata 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: 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: Metodi di estrazione delle informazioni dal web
Nome Metodi di estrazione delle informazioni dal web CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 3 CFU nell'area G - Basi di dati
  • 3 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • G - Basi di dati
    • * DBMS - Sistemi di Gestione di Basi di Dati
      Information retrieval
    • BDA - Basi di Dati Avanzate
      Information retrieval
    • * LI - Linguaggi di Interrogazione di Basi di Dati
      Information retrieval
  • M - Rappresentazione della conoscenza
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Information Extraction
    • AIA - Applicazioni della Intelligenza Artificiale
      Question Answering
    • AIA - Applicazioni della Intelligenza Artificiale
      Metodi di elaborazione automatica del linguaggio naturale)

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


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
    • * LMS - Linguaggi di Modellazione del Software
      Algebre di processo, Timed/Hybrid Automata, Statecharts, Reti di Petri
    • * PSS - Processi di Sviluppo del Software
      Static analysis, testing, model checking, sintesi automatica, trasformazione di programmi e modelli
    • * 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
    • * AR - Analisi dei Requisiti
      Definizione e la validazione dei requisiti

(*) 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
      Logical time
    • * GSP - Gestione e Sincronizzazione dei Processi
      Mutua esclusione e deadlock detection
    • * GSP - Gestione e Sincronizzazione dei Processi
      Shared memory e la gerarchia wait-free
    • * 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