2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica
-
Percorso: Laurea Magistrale in Informatica
| Informazioni generali | ||||
| Università | PISA | Responsabile del Percorso | Gianluigi Ferrari | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | giangi@di.unipi.it | ||
| Docenti che insegnano nel corso*: | 25 | 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 | Classe LM-18, DM 270 | |||
| 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Algoritmica II | 9 | 9 | ||||||||||||||||
| Basi di dati II | 9 | 9 | ||||||||||||||||
| Insegnamenti Complementari | 24 | 24 | ||||||||||||||||
| Liberi | 9 | 9 | ||||||||||||||||
| Metodi Numerici e Ottimizzazione | 12 | 12 | ||||||||||||||||
| Modelli di Calcolo | 9 | 9 | ||||||||||||||||
| Principi Linguaggi di Programmazione | 12 | 12 | ||||||||||||||||
| Programmazione Avanzata | 9 | 9 | ||||||||||||||||
| Sistemi Distribuiti: Paradigmi e Modelli | 9 | 9 | ||||||||||||||||
| Attività Extracurriculari | 0 | 0 | ||||||||||||||||
| Lingue Straniere | 0 | 0 | ||||||||||||||||
| Prova Finale | 15 | 15 | ||||||||||||||||
| Tirocinio | 3 | 3 | ||||||||||||||||
| TOTALE | 120 | 9 | 9 | 9 | 12 | 0 | 0 | 9 | 9 | 0 | 0 | 0 | 0 | 0 | 24 | 12 | 0 | 27 |
Riepilogo dell'insegnamento: Algoritmica II
| Nome | Algoritmica II | 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
Algoritmi randomizzati - *
A - Algoritmi fondamentali
Permutazioni, ordinamenti e dizionari -
TAA - Tecniche Algoritmiche Avanzate
Accesso ai dati e loro compressione - *
A - Algoritmi fondamentali
Algoritmi di approssimazione -
TAA - Tecniche Algoritmiche Avanzate
Stringologia: Alberi dei suffissi -
TAA - Tecniche Algoritmiche Avanzate
Accesso ai dati e loro compressione -
TAA - Tecniche Algoritmiche Avanzate
Stringologia: Array dei suffissi -
SDA - Strutture di Dati Avanzate
Strutture di dati distribuite -
SDA - Strutture di Dati Avanzate
Analisi competitiva e Algoritmi on line
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Basi di dati II
| Nome | Basi di dati II | CFU | 9 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area G - Basi di dati
Sillabo dell'insegnamento
- G - Basi di dati
-
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il gestore della memoria permanente e il gestore del buffer -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il gestore delle strutture di memorizzazione -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il gestore dei metodi di accesso: -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Il gestore delle interrogazioni -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
tecniche per la gestione delle transazioni e della concorrenza -
OFGI - Organizzazione Fisica e Gestione delle Interrogazioni
Progettazione fisica e messa a punto di basi di dati -
BDA - Basi di Dati Avanzate
Basi di Dati per Dati XML -
BDA - Basi di Dati Avanzate
Linguaggi di Interrogazioni per Basi di Dati XML -
BDA - Basi di Dati Avanzate
Linguaggi di interrogazione per il web semantico
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Insegnamenti Complementari
| Nome | Insegnamenti Complementari | CFU | 24 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
24 cfu così ripartiti nelle aree:
- 24 CFU nell'area INF - Crediti di INFORMATICA 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: Liberi
| Nome | Liberi | 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.
Riepilogo dell'insegnamento: Metodi Numerici e Ottimizzazione
| Nome | Metodi Numerici e Ottimizzazione | 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
Trasformata discreta di Fourier -
MAT/08 - Analisi Numerica
Applicazioni: regressione, stima di parametri, approssimazione e data fitting -
MAT/08 - Analisi Numerica
Metodi iterativi per il calcolo di autovalori -
MAT/08 - Analisi Numerica
Problema dei minimi quadrati -
MAT/08 - Analisi Numerica
Strumenti software per problemi numerici -
MAT/09 - Ricerca Operativa
Applicazioni Web -
MAT/09 - Ricerca Operativa
Ottimizzazione non vincolata e sistemi di equazioni -
MAT/09 - Ricerca Operativa
Metodi diretti ed iterativi per sistemi lineari -
MAT/09 - Ricerca Operativa
Metodi per l'ottimizzazione non vincolat -
MAT/09 - Ricerca Operativa
Ottimizzazione vincolata e sistemi di equazioni -
MAT/09 - Ricerca Operativa
Algoritmi per l'ottimizzazione vincolata -
MAT/09 - Ricerca Operativa
Applicazioni: regressione, stima di parametri, approssimazione e data fitting
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Modelli di Calcolo
| Nome | Modelli di Calcolo | 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 - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
-
SLP - Semantica dei Linguaggi di Programmazione
Fondamenti della Semantica Denotazionale, Operazionale e Denotazinale dei Linguaggi di Programmazione. -
SLP - Semantica dei Linguaggi di Programmazione
Fondamenti della Semantica Denotazionale, Operazionale e Denotazinale dei Linguaggi di Programmazione. -
SLP - Semantica dei Linguaggi di Programmazione
Fondamenti della Semantica Denotazionale, Operazionale e Denotazinale dei Linguaggi di Programmazione. -
SLP - Semantica dei Linguaggi di Programmazione
Tecniche di dimostrazione -
SLP - Semantica dei Linguaggi di Programmazione
Semantica di linguaggi concorrenti: Calculus of Communicating Systems -
SLP - Semantica dei Linguaggi di Programmazione
Semantica di linguaggi concorrenti: Pi-Calculus - *
ALF - Automi e Linguaggi Formali
Modelli probabilistici di sistemi di transizione - *
ALF - Automi e Linguaggi Formali
Modelli probabilistici di sistemi di transizione - *
ALF - Automi e Linguaggi Formali
Modelli probabilistici di sistemi di transizione
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Principi Linguaggi di Programmazione
| Nome | Principi Linguaggi di Programmazione | CFU | 12 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
12 cfu così ripartiti nelle aree:
- 12 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
- *
LF - Linguaggi Formali
Automi e Grammatiche: proprieta' di base - *
LF - Linguaggi Formali
Automi e Grammatiche: proprieta' di base - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Tecniche di Compilazione: Analisi Lessicale - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Tecniche di Compilazione: Analisi Sintattica -
ALC - Astrazioni Linguistiche e Composizionalita'
Tecniche di compilazione: Analisi Semantica -
ALC - Astrazioni Linguistiche e Composizionalita'
Tecniche di compilazione: Genrazione del codice - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il supporto a tempo di esecuzione - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Ambiente e Memoria - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il paradigma imperativo - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il paradigma funzionale - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il paradigma a oggetti - *
TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Il paradigma logico
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Programmazione Avanzata
| Nome | Programmazione Avanzata | 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
-
PP - Paradigmi di Programmazione
Tipi e polimorfismo -
PP - Paradigmi di Programmazione
Ambienti di programmazione -
PP - Paradigmi di Programmazione
Generic Programming in C -
PP - Paradigmi di Programmazione
Generic programming in Java - *
POO - Programmazione Orientata agli Oggetti
Java Class Framework - *
POO - Programmazione Orientata agli Oggetti
C# Class Framework -
PP - Paradigmi di Programmazione
Component Programming - *
SCP - Sviluppo e Correttezza dei Programmi
Web services - *
SCP - Sviluppo e Correttezza dei Programmi
Web Frameworks
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Sistemi Distribuiti: Paradigmi e Modelli
| Nome | Sistemi Distribuiti: Paradigmi e Modelli | 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
- *
MIR - Modelli di Interazione in Rete
Structured parallel programming - *
MIR - Modelli di Interazione in Rete
Network workflow - *
MIR - Modelli di Interazione in Rete
Network Component -
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Posix-TCP/IP-SSH/SCP -
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Java RMI -
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Middleware per applicazioni multimediali - *
PT - Protocolli
Reti wireless -
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Sistemi a skeleton -
SIAS - Sistemi di Supporto all'interazione e Ambienti di Sviluppo
Component environment
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
