2014
2014
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Informatica
Informazioni generali
Università L AQUILA Responsabile del Percorso Stefania Costantini
Livello del Cdl MAGISTRALE Email stefania.costantini@univaq.it
Scheda Unica Annuale (SUA) del Corso di Laurea: Visualizza documento SUA caricato 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 II 6   6                              
ALGORITMI PER SISTEMI DISTRIBUITI 6   6                              
FONDAMENTI DELL'INFORMATICA II 6 6                                
INGEGNERIA DEL SOFTWARE AVANZATA 12                 12                
INTELLIGENZA ARTIFICIALE 12                     12            
METODI FORMALI 6 6                                
PROGETTO DI RETI 12                             12    
                                     
Attività Extracurriculari 33                                 33
Lingue Straniere 0                                 0
Prova Finale 18                                 18
Tirocinio 9                                 9
TOTALE 120 12 12 0 0 0 0 0 0 12 0 12 0 0 0 12 0 60
Riepilogo dell'insegnamento: ALGORITMI E STRUTTURE DATI II
Nome ALGORITMI E STRUTTURE DATI II CFU 6
Ore di didattica frontale per CFU 6 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
      Richiami di complessità ed intrattabilità. Problemi di ottimizzazione. Algoritmi di approssimazione.
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Tecniche algoritmiche: greedy
    • TAA - Tecniche Algoritmiche Avanzate
      Tecniche algoritmiche: ricerca locale e programmazione dinamica
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Tecniche di programmazione lineare: metodo dell'arrotondamento e metodo del primale-duale
    • TAA - Tecniche Algoritmiche Avanzate
      Schemi di approssimazione polinomiali e pienamente polinomiali.
    • TAA - Tecniche Algoritmiche Avanzate
      Risultati negativi di approssimabilità e tecnica del Gap. Classi di complessità per problemi di ottimizzazione e loro contenimenti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: ALGORITMI PER SISTEMI DISTRIBUITI
Nome ALGORITMI PER SISTEMI DISTRIBUITI 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
      Algorithms for COOPERATIVE Distributed Systems (DS)
    • AD - Algoritmi Distribuiti
      Algorithms for NON COOPERATIVE (i.e., strategic) DS 1. Equilibria in networks 2. Algorithmic mechanism design
    • AD - Algoritmi Distribuiti
      Security aspects of DS: Elements of cryptography
    • * A - Algoritmi fondamentali
      Algorithms for UNRELIABLE DS: The consensus problem
    • AD - Algoritmi Distribuiti
      Algorithms for CONCURRENT DS: Mutual exclusion
    • AD - Algoritmi Distribuiti
      Leader Election, Minimum Spanning Tree, Maximal Independent Set

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: FONDAMENTI DELL'INFORMATICA II
Nome FONDAMENTI DELL'INFORMATICA II 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 stati finiti deterministici. Automi a stati finiti non deterministici. epsilon-chiusura
    • * ALF - Automi e Linguaggi Formali
      Nozioni centrali della teoria dei linguaggi formali. Gerarchia di Chomsky
    • * ALF - Automi e Linguaggi Formali
      Grammatiche posizionali context-free
    • * ALF - Automi e Linguaggi Formali
      Linguaggi formali multidimensionali e visuali. Modelli sintattici
    • * ALF - Automi e Linguaggi Formali
      Grammatiche context-free. Automi a pila. Linguaggi liberi dal contesto e proprietà. Forma Normale di Chomsky. Pumping Lemma per linguaggi liberi dal contesto. Algoritmo CYK
    • * ALF - Automi e Linguaggi Formali
      Espressioni regolari. Teorema di Kleene . Pumping Lemma per linguaggi regolari. Proprietà dei inguaggi regolari

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: INGEGNERIA DEL SOFTWARE AVANZATA
Nome INGEGNERIA DEL SOFTWARE AVANZATA CFU 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
Commento E' composto da due moduli da 6 CFU: Modulo di Analisi e Testing di Sistemi a Componenti + Modulo di Ingegneria del Software II

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • I - Ingegneria del software
    • * TVV - Testing, Verifica e Validazione
      Tecniche di Analisi funzionale di Sistemi a Componenti Parte Prima
    • * TVV - Testing, Verifica e Validazione
      Advanced Software Testing topics
    • * ASW - Architetture Software
      Linguaggi di Descrizione Architetturale
    • * ASW - Architetture Software
      Architetture Software Parte Prima
    • * LMS - Linguaggi di Modellazione del Software
      UML profiling
    • MSQ - Misure del Software e Qualita'
      Non-functional Validation of Software
    • MSQ - Misure del Software e Qualita'
      Performance Analysis
    • MSQ - Misure del Software e Qualita'
      Reliability Analysis
    • * LMS - Linguaggi di Modellazione del Software
      Model-Driven Engineering
    • * ASW - Architetture Software
      Architecture Software Parte Seconda
    • * TVV - Testing, Verifica e Validazione
      Tool di supporto alle varie tipologie di analisi
    • * TVV - Testing, Verifica e Validazione
      Tecniche di Analisi funzionale di Sistemi a Componenti Parte Seconda

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: INTELLIGENZA ARTIFICIALE
Nome INTELLIGENZA ARTIFICIALE CFU 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
Commento Si compone di due moduli da 6 CFU: Modulo di Intelligenza Artificiale I + Modulo di Agenti Intelligenti

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area M - Rappresentazione della conoscenza

Sillabo dell'insegnamento

  • M - Rappresentazione della conoscenza
    • AI - Agenti Intelligenti
      Sistemi Multi-Agente, negoziazione
    • * LPD - Logica e Programmazione Dichiarativa
      Pianificazione, Abduzione e ragionamento mediante tecniche dichiarative: Answer Set programming e Abduzione
    • AI - Agenti Intelligenti
      Rappresentazione della Conoscenza negli Agenti
    • AI - Agenti Intelligenti
      Linguaggi per Agenti: AgentSpeak e DALI
    • AI - Agenti Intelligenti
      Architetture per Agenti
    • AI - Agenti Intelligenti
      Modello BDI
    • AASC - Apprendimento Automatico e Scoperta di Conoscenza
      Tecniche di Apprendimento Automatico
    • RA - Ragionamento Automatico
      Azioni e pianificazione.
    • RA - Ragionamento Automatico
      Algoritmi e strategie di ricerca
    • * SBC - Sistemi Basati su Conoscenza
      Rappresentazione ed elaborazione della conoscenza.
    • * LPD - Logica e Programmazione Dichiarativa
      Programmazione logica: Prolog e Datalog.
    • RA - Ragionamento Automatico
      Ragionamento automatico: fondamenti della logica computazionale, rappresentazione clausale e risoluzione.

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: METODI FORMALI
Nome METODI FORMALI 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
      Formule booleane, soddisfacibilità, tautologia. Formule in forma CNF ed algoritmo di Davis- Putnam. Deduzione naturale. Logica predicativa: predicati, funzioni, variabili, quantificatori, regole di deduzione naturale. Forma prenex DNF.
    • * ALF - Automi e Linguaggi Formali
      Sistemi di riduzione astratti, forma normale, convertibilità, grafi di riduzione. Proprietà di confluenza e Church-Rosser e loro equivalenza. Locale confluenza, terminazione, canonicità. Principio di induzione noetheriana, lemma di Newman e sua dimostrazione.
    • * ALF - Automi e Linguaggi Formali
      Termini del prim'ordine, sostituzioni, sostituzioni istanziatrici ed unificatrici, mgu. Algoritmo di unificazione sintattica. Sistemi di riscrittura di termini. Terminazione: ordinamenti di riduzione, di semplificazione e per cammino ricorsivo (rpo).
    • * ALF - Automi e Linguaggi Formali
      Introduzione alla dimostrazione di teoremi nel proof-assistant HOL e definizione di tipi ricorsivi in HOL.
    • * ALF - Automi e Linguaggi Formali
      Introduzione alle logiche di ordine superiore e al lambda-calcolo. Lambda-calcolo senza tipi, beta-riduzione, teoria dei tipi semplice, un calcolo per l'assegnamento di tipi, polimorfismo.
    • * ALF - Automi e Linguaggi Formali
      Confluenza: sovrapposizione di regole, coppie critiche, Lemma di Huet e sua dimostrazione. Problema della parola e sua decidibilità, teorema di Knuth-Bendix. Procedure di completamento tramite regole di inferenza, terminazione e divergenza del completamento (pattern di divergenza). E-unificazione di termini, relazione di narrowing, procedura di E-unificazione basata su narrowing, narrowing normale e basilare.

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Riepilogo dell'insegnamento: PROGETTO DI RETI
Nome PROGETTO DI RETI CFU 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare MAT/09
Commento Composto da due Moduli da 6 CFU: Modulo di Ottimizzazione Combinatoria II + Modulo di Progetto e Ottimizzazione di Reti

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/09 - Ricerca Operativa
      Teorema Max-Flow/Min-Cut; Algoritmi basati su cammini aumentanti; Shortest augmenting path; Algoritmi push-relabel; Applicazioni dei problemi di massimo flusso e taglio minimo
    • MAT/09 - Ricerca Operativa
      Problemi di Massimo Flusso
    • MAT/09 - Ricerca Operativa
      Problemi di cammino minimo con pesi qualsiasi; Algoritmo di Ford; Algortmo di Ford-Bellman
    • MAT/09 - Ricerca Operativa
      Applicazioni a problemi di telecomunicazioni: Assegnamento di frequenze; Progetto di reti; Flusso multicommodity; Alberi ricoprenti con vincoli aggiuntivi
    • MAT/09 - Ricerca Operativa
      Dualità lagrangiana: Rilassamento lagrangiano; Euristiche lagrangiane Euristiche basate su formulazioni MIP: Dive-and-Fix, Relax-and-Fix, Cut-and-Fix; Local branching, feasibility pump, RINS
    • MAT/09 - Ricerca Operativa
      Algoritmo del piano di taglio e algoritmo di branch-and-cut: Tagli di Chvatal-Gomory: definizione e procedura di separazione; Algoritmo del piano di taglio; Disuguaglianze valide
    • MAT/09 - Ricerca Operativa
      Ottimalità, rilassamenti e bound Algoritmo di branch-and-bound basato sul rilassamento lineare: Preprocessamento, Strategie di branching, Strategie per la selezione del nodo e della variabile di branching, Euristiche primali; Tool software
    • MAT/09 - Ricerca Operativa
      Geometria di R^n: Spazi lineari e affini; Poliedri: dimensione, rappresentazioni, disuguaglianze valide, facce, vertici e facce massimali; Formulazioni alternative e formulazioni estese; Gerarchia di formulazioni e formulazione ideale
    • MAT/09 - Ricerca Operativa
      Formulazioni di problemi interi e binari; Problema di assegnamento; Set Covering, Packing e Partitioning; Minimo albero ricoprente; Problema del commesso viaggiatore (TSP); Formulazione di condizioni logiche Formulazioni Intere Miste: Modellazione di costi fissi; Problema di localizzazione di impianti; Problema di lot-sizing
    • MAT/09 - Ricerca Operativa
      Applicazioni dei problemi di flusso a costo minimo
    • MAT/09 - Ricerca Operativa
      Problemi di taglio minimo su grafi non orientati; Algoritmo Node Identification; Algoritmo Random Contraction
    • MAT/09 - Ricerca Operativa
      Problemi di Flusso a Costo Minimo; Algoritmi primali: algoritmo del circuito aumentante; Simplesso su reti

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa

Sistema di certificazione della qualità dei contenuti delle lauree in Informatica
Credits
Valid XHTML 1.0 Strict Valid CSS