2010-11
2010-11
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica
-
Percorso: Informatica - Laurea Magistrale
| Informazioni generali | ||||
| Università | GENOVA | Responsabile del Percorso | Giovanni Chiola | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | chiola@disi.unige.it | ||
| Docenti che insegnano nel corso*: | 23 | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Advances in Mathematical Logic | 6 | 6 | ||||||||||||||||
| Corsi liberi | 12 | 12 | ||||||||||||||||
| Corsi selezionati da elenco prefissato | 30 | 30 | ||||||||||||||||
| Cryptography and Code Theory | 6 | 6 | ||||||||||||||||
| Fisica generale 2 | 6 | 6 | ||||||||||||||||
| Informatica Teorica, Calcolabilità e Complessità | 12 | 12 | ||||||||||||||||
| Laboratorio Specialistico di Informatica | 6 | 6 | ||||||||||||||||
| Tecniche Avanzate di Programmazione | 6 | 4 | 2 | |||||||||||||||
| Attività Extracurriculari | 0 | 0 | ||||||||||||||||
| Lingue Straniere | 6 | 6 | ||||||||||||||||
| Prova Finale | 29 | 29 | ||||||||||||||||
| Tirocinio | 1 | 1 | ||||||||||||||||
| TOTALE | 120 | 12 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 48 | 0 | 0 | 12 | 6 | 36 |
Riepilogo dell'insegnamento: Advances in Mathematical Logic
| Nome | Advances in Mathematical Logic | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/01 - Logica Matematica
Categorie e funtori: definizioni, esempi, costruzioni elementari -
MAT/01 - Logica Matematica
Fibrazioni: esempi -
MAT/01 - Logica Matematica
Teorie logiche, paradigmi di calcolo -
MAT/01 - Logica Matematica
Traduzioni e modelli -
MAT/01 - Logica Matematica
Esempi: teorie del prim'ordine, lambda-calcolo, polimorfismo, semantica denotazionale -
MAT/01 - Logica Matematica
Realizzabilità, parametricità, semantica operazionale
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Corsi liberi
| Nome | Corsi liberi | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 12 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: Corsi selezionati da elenco prefissato
| Nome | Corsi selezionati da elenco prefissato | CFU | 30 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
30 cfu così ripartiti nelle aree:
- 30 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: Cryptography and Code Theory
| Nome | Cryptography and Code Theory | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/02 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area MAT - Crediti di MATEMATICA
Sillabo dell'insegnamento
- MAT - Crediti di MATEMATICA
-
MAT/02 - Algebra
Teoria dei codi: introduzione -
MAT/02 - Algebra
Algebra computazionale: Algoritmo euclideo e teorema del resto cinese -
MAT/02 - Algebra
Algebra computazionale: aritmetica dei corpi finiti -
MAT/02 - Algebra
Crittografia: introduzione a RSA -
MAT/02 - Algebra
Crittografia: cryptoanalisi di RSA -
MAT/02 - Algebra
Teria dei codici: decodifica dei codici BCH
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Fisica generale 2
| Nome | Fisica generale 2 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 6 | Settore Scientifico Disciplinare | FIS/01 |
6 cfu così ripartiti nelle aree:
- 6 CFU nell'area altro - Crediti NON dell'INFORMATICA nè della MATEMATICA
Sillabo dell'insegnamento
Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.
Riepilogo dell'insegnamento: Informatica Teorica, Calcolabilità e Complessità
| Nome | Informatica Teorica, Calcolabilità e Complessità | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
V - Varie
richiami su logica booleana e del primo ordine, tecniche per dimostrare correttezza/terminazione di algoritmi (visti come sistemi di transizione deterministici) - *
CAL - Calcolabilita'
Modelli di calcolo (TM e RAM), funzioni calcolabili, complessita' tempo e spazio, relazioni tra modelli di calcolo, Tesi di Church - *
CAL - Calcolabilita'
problemi/linguaggi decidibili e semidecidibili, riducibilita' tra problemi, codifica delle TM, funzione e TM universale - *
CAL - Calcolabilita'
esempi di problemi non (semi)decidibili, proprieta' di chiusura dei linguaggi (semi)decidibili -
COM - Complessita'
classi di complessita' (tempo/spazio e deterministico/non-deterministico) e relazioni tra classi di complessita' -
COM - Complessita'
classi naturali di complessita' (L, NL, P, NP, PSPACE), teorema di Cook, esempi di problemi NP-completi -
SLP - Semantica dei Linguaggi di Programmazione
Semantica operazionale small-step, sistemi di tipo, soundness -
SLP - Semantica dei Linguaggi di Programmazione
Lambda-calcolo non tipato e tipato semplice -
SLP - Semantica dei Linguaggi di Programmazione
Estensioni del lambda calcolo tipato: let, ricorsione, costrutti imperativi, eccezioni -
SLP - Semantica dei Linguaggi di Programmazione
Featherweight Java, cenni di semantica denotazionale -
L - Logica
Definizioni induttive e prove per induzione, induzione strutturale, asserzioni alla Hoare -
L - Logica
Sistema di Hoare per la correttezza parziale e totale
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Laboratorio Specialistico di Informatica
| Nome | Laboratorio Specialistico di Informatica | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 6 | 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: Tecniche Avanzate di Programmazione
| Nome | Tecniche Avanzate di Programmazione | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 4 CFU nell'area C - Programmazione
- 2 CFU nell'area I - Ingegneria del software
Sillabo dell'insegnamento
- C - Programmazione
-
V - Varie
Progetto nel framework DotNet - *
POO - Programmazione Orientata agli Oggetti
Approfondimenti di programmazione OO in C# - *
POO - Programmazione Orientata agli Oggetti
Implementazione e uso di componenti -
PCC - Programmazione Concorrente
Persistenza dei dati: tecnologie ORM - I - Ingegneria del software
- *
PSC - Progettazione del Software e Codifica
Progettazione basata su componenti - *
PSC - Progettazione del Software e Codifica
Modello delle componenti nel framework DotNet
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
