| Informazioni generali | ||||
| Università | CATANIA | Responsabile del Percorso | Sebastiano Battiato | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | battiato@dmi.unict.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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| A scelta dello studente | 9 | 9 | ||||||||||||||||
| A scelta dello studente (INF/01) | 18 | 18 | ||||||||||||||||
| Algoritmi e Complessità | 9 | 9 | ||||||||||||||||
| C.I. Metodi Matematici per l'Informatica | 12 | 12 | ||||||||||||||||
| Computer security | 9 | 9 | ||||||||||||||||
| Crittografia | 9 | 9 | ||||||||||||||||
| Linguaggi di Programmazione | 9 | 9 | ||||||||||||||||
| Metodi analitici per l'informatica | 6 | 6 | ||||||||||||||||
| P2P and Wireless Networks | 9 | 9 | ||||||||||||||||
| Sistemi distribuiti | 9 | 3 | 3 | 3 | ||||||||||||||
| Attività Extracurriculari | 0 | 0 | ||||||||||||||||
| Lingue Straniere | 3 | 3 | ||||||||||||||||
| Prova Finale | 18 | 18 | ||||||||||||||||
| Tirocinio | 0 | 0 | ||||||||||||||||
| TOTALE | 120 | 0 | 9 | 9 | 0 | 0 | 3 | 0 | 9 | 3 | 0 | 0 | 39 | 0 | 0 | 18 | 0 | 30 |
| Nome | A scelta dello studente | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | --libero-- |
9 cfu così ripartiti nelle aree:
- 9 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.
| Nome | A scelta dello studente (INF/01) | CFU | 18 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
18 cfu così ripartiti nelle aree:
- 18 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.
| Nome | Algoritmi e Complessità | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- B - Algoritmi
- *
A - Algoritmi fondamentali
Tecniche di analisi di complessità strutture dati e algoritmi più avanzati. - *
ASC - Algoritmi su Strutture Combinatorie
Strutture dati per insiemi disgiunti - *
ASC - Algoritmi su Strutture Combinatorie
Alberi splay, alberi ricoprenti minimi (algoritmi di Boruvska, di Kruskal e di Prim) - *
ASC - Algoritmi su Strutture Combinatorie
Algoritmi per trovare i cammini minimi su grafi - *
SDF - Strutture di Dati Fondamentali
B-alberi - *
SDF - Strutture di Dati Fondamentali
heap binomiali e heap di Fibonacci -
V - Varie
Algoritmi per le reti di flusso -
V - Varie
Problemi NP-completi -
V - Varie
Cenni su algoritmi randomizzati e di approssimazione
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | C.I. Metodi Matematici per l'Informatica | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/08 MAT/09 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/08 - Analisi Numerica
Ottimizzazione numerica -
MAT/08 - Analisi Numerica
Metodi per la risoluzione di sistemi lineari -
MAT/08 - Analisi Numerica
Tecniche avanzate di interpolazione -
MAT/08 - Analisi Numerica
Procedure per il calcolo numerico dello spettro di una matrice -
MAT/08 - Analisi Numerica
Metodi di ricerca degli zeri di equazioni lineari -
MAT/09 - Ricerca Operativa
Metodo del simplesso per la risoluzione di problemi di programmazione lineare -
MAT/09 - Ricerca Operativa
Metodo del branch and bound per la risoluzione di problemi di programmazione lineare intera -
MAT/09 - Ricerca Operativa
Metodi numerici per la risoluzione di problemi di ottimizzazione non lineare vincolata -
MAT/09 - Ricerca Operativa
Programmazione lineare -
MAT/09 - Ricerca Operativa
Metodi numerici per la risoluzione di problemi di ottimizzazione non lineare non vincolata -
MAT/09 - Ricerca Operativa
Programmazione non lineare -
MAT/08 - Analisi Numerica
Metodi di ricerca degli zeri di equazioni non lineari
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Computer security | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 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.
| Nome | Crittografia | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 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.
| Nome | Linguaggi di Programmazione | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
- C - Programmazione
- *
CB - Costrutti di Base
Modelli e calcoli per i vari paradigmi di programmazione - *
CB - Costrutti di Base
Paradigmi di programmazione funzionale - *
POO - Programmazione Orientata agli Oggetti
Paradigmi di programmazione object-oriented - *
CB - Costrutti di Base
Paradigmi di programmazione imperativo - *
R - Ricorsione
Ricorsione (di coda e non di coda) -
PP - Paradigmi di Programmazione
Modelli e calcoli per i vari paradigmi - *
CB - Costrutti di Base
Linguaggi reali e programmazione - *
SS - Sintassi e Semantica
Concetti di base - *
CB - Costrutti di Base
Paradigmi di programmazione logico
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Metodi analitici per l'informatica | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/05 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/05 - Analisi Matematica
Trasformata di Fourier -
MAT/05 - Analisi Matematica
Trasformata Zeta -
MAT/05 - Analisi Matematica
Serie di Fourier -
MAT/05 - Analisi Matematica
Cenni sull'integrazione -
MAT/05 - Analisi Matematica
Trasformata di Laplace -
MAT/05 - Analisi Matematica
Numeri complessi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | P2P and Wireless Networks | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
- H - Computazione su rete
- *
PT - Protocolli
Coordinamento di nodi wireless -
V - Varie
Gestione energetica di nodi mobili - *
ARTC - Architettura delle Reti di Calcolatori
Rei Wireless - *
PT - Protocolli
Protocolli di gestione per reti P2P -
PASR - Programmazione di Applicazioni e Servizi di Rete
Servizi di rete distribuiti -
GRC - Gestione di Reti di Calcolatori
Overlay networks - *
ARTC - Architettura delle Reti di Calcolatori
Architetture P2P -
V - Varie
Simulazione di una rete -
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Analisi delle prestazioni
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Sistemi distribuiti | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 3 CFU nell'area F - Sistemi operativi
- 3 CFU nell'area I - Ingegneria del software
- 3 CFU nell'area A_M - Una qualunque delle aree da A a M
Sillabo dell'insegnamento
- F - Sistemi operativi
-
MA - Modelli e Architetture di sistemi operativi
Middleware (inclusi i Web services e .Net), sistemi autonomi ed intelligenti -
SAA - Sistemi operativi per Architetture Avanzate
Sistemi paritetici - *
GSP - Gestione e Sincronizzazione dei Processi
Problemi e soluzioni per la sincronizzazione, il consenso, la coerenza, la replicazione e la tolleranza ai guasti. - I - Ingegneria del software
- *
TVV - Testing, Verifica e Validazione
Tecniche di progettazione e valutazione delle prestazioni proprie dell'High Performance Computing, applicate a soluzioni parallele di tipici problemi tree-e mesh-oriented - *
TVV - Testing, Verifica e Validazione
Esercitazioni pratiche sulla Grid computazionale ad alte prestazioni - *
ASW - Architetture Software
Paradigma della programmazione concorrente e distribuita a scambio di messaggi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
| Nome | Bioinformatica | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 4 CFU nell'area A_M - Una qualunque delle aree da A a M
- 5 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Compilatori | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Computazione Naturale | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 3 CFU nell'area B - Algoritmi
- 3 CFU nell'area M - Rappresentazione della conoscenza
- 3 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree
Sillabo dell'insegnamento
- B - Algoritmi
-
TAA - Tecniche Algoritmiche Avanzate
Tecniche computazionali ispirate da sistemi biologici e naturali -
TAA - Tecniche Algoritmiche Avanzate
Applicazione alla risoluzione di problemi computazionalmente difficili -
TAA - Tecniche Algoritmiche Avanzate
Fondamenti - M - Rappresentazione della conoscenza
-
AIA - Applicazioni della Intelligenza Artificiale
Sistemi immunitari artificiali -
AIA - Applicazioni della Intelligenza Artificiale
Intelligenza di sciami - *
RP - Risoluzione di Problemi
Algoritmi genetici
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Intelligenza Artificiale | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- M - Rappresentazione della conoscenza
-
AI - Agenti Intelligenti
Formalizzazione dei processi intelligenti -
ARC - Acquisizione e Rappresentazione della Conoscenza
Formalizzazione dei processi razionali -
RA - Ragionamento Automatico
Problemi di soddisfacimento di vincoli - *
RP - Risoluzione di Problemi
Teoria dei giochi - *
RP - Risoluzione di Problemi
Teoria dei giochi in presenza di fattori aleatori -
RA - Ragionamento Automatico
Tecniche di ottimizzazione di strategie di gioco -
ARC - Acquisizione e Rappresentazione della Conoscenza
Fondamenti -
AIA - Applicazioni della Intelligenza Artificiale
Applicazioni nella ricerca sia informata che non -
AIA - Applicazioni della Intelligenza Artificiale
Aspetti implementativi
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Linguaggi formali ed Applicazioni | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
- *
LF - Linguaggi Formali
Studio dei Linguaggi formali - *
LF - Linguaggi Formali
Caratterizzazione in termini di riconoscitori - *
LF - Linguaggi Formali
Caratterizzazione in termini di grammatiche -
V - Varie
Applicazioni in vari settori dell'informatica - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Fondamenti - *
S - Semantica
Semantica - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Compilatori e Interpreti - *
LF - Linguaggi Formali
Linguaggi Formali: Fondamenti - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte: Fondamenti
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Logica Computazionale | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 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.
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Machine Learning | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 6 CFU nell'area M - Rappresentazione della conoscenza
- 3 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree
Sillabo dell'insegnamento
- M - Rappresentazione della conoscenza
-
ARC - Acquisizione e Rappresentazione della Conoscenza
Apprendimento di concetti, spazio delle ipotesi -
ARC - Acquisizione e Rappresentazione della Conoscenza
Apprendimento on-line, apprendimento di alberi di decisione -
ARC - Acquisizione e Rappresentazione della Conoscenza
Apprendimento con discesa di gradiente e algoritmo EM -
RA - Ragionamento Automatico
Support vector machines -
RA - Ragionamento Automatico
Reti neurali -
RA - Ragionamento Automatico
Reti Bayesiane
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
| Nome | Sistemi dedicati e Laboratorio | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area E - Architetture
Sillabo dell'insegnamento
- E - Architetture
-
GIO - Gestione dell'Input/Output
Controllo di alto livello di sistemi robotici autonomi -
GIO - Gestione dell'Input/Output
Programmazione di device driver su SoC/Linux-embedded - *
CCS - Circuiti combinatori e sequenziali
Programmazione FPGA in VHDL -
V - Varie
Gestione e pianificazione della progettazione -
VMP - Valutazione e Miglioramento delle Prestazioni
Analisi e ottimizzazione di architetture per sistemi dedicati - *
ASS - Linguaggio Assembler
Livelli di astrazione del software -
AA - Architetture Avanzate
Sistemi operativi real-time e sistemi software complessi -
AA - Architetture Avanzate
sistemi dedicati: caratteristiche, requisiti e vincoli -
AA - Architetture Avanzate
Tipologie di esecutori per il software, sistemi di comunicazione e interfaccia, componentistica off-the-shelf
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
Insegnamenti "macro" nell'ambito dei quali può essere scelto
