2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica
-
Percorso: Informatica
| Informazioni generali | ||||
| Università | PADOVA | Responsabile del Percorso | Alessandro Sperduti | |
|---|---|---|---|---|
| Livello del Cdl | MAGISTRALE | sperduti@math.unipd.it | ||
| Docenti che insegnano nel corso*: | 14 | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Computabilità e Algoritmi (Mod. A) | 5 | 5 | ||||||||||||||||
| Computabilità e Algoritmi (Mod. B) | 5 | 5 | ||||||||||||||||
| Insegnamento Affine n. 2 | 6 | 6 | ||||||||||||||||
| Insegnamento Affine n.1 | 6 | 6 | ||||||||||||||||
| Insegnamento Caratterizzante n.1 | 6 | 6 | ||||||||||||||||
| Insegnamento Caratterizzante n.2 | 6 | 6 | ||||||||||||||||
| Insegnamento Caratterizzante n.3 | 6 | 6 | ||||||||||||||||
| Insegnamento Caratterizzante n.4 | 6 | 6 | ||||||||||||||||
| Insegnamento Caratterizzante n.5 | 6 | 6 | ||||||||||||||||
| Insegnamento Obbligatorio a scelta | 8 | 8 | ||||||||||||||||
| Linguaggi di programmazione | 10 | 10 | ||||||||||||||||
| Attività Extracurriculari | 12 | 12 | ||||||||||||||||
| Lingue Straniere | 0 | 0 | ||||||||||||||||
| Prova Finale | 36 | 36 | ||||||||||||||||
| Tirocinio | 2 | 2 | ||||||||||||||||
| TOTALE | 120 | 5 | 5 | 0 | 10 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38 | 0 | 0 | 6 | 0 | 56 |
Riepilogo dell'insegnamento: Computabilità e Algoritmi (Mod. A)
| Nome | Computabilità e Algoritmi (Mod. A) | CFU | 5 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 5 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Obbligatorio; modulo integrato che tratta la calcolabilità | ||
5 cfu così ripartiti nelle aree:
- 5 CFU nell'area A - Fondamenti
Sillabo dell'insegnamento
- A - Fondamenti
- *
CAL - Calcolabilita'
Enumerazione delle funzioni calcolabili. Esistenza di funzioni non calcolabili: il metodo della diagonalizzazione. Il teorema del parametro. Programmi universali. - *
CAL - Calcolabilita'
Algoritmi ed il concetto di procedimento effettivo. Macchine a registri (URM). Funzioni parziali ricorsive (sostituzione, ricorsione, minimalizzazione). Equivalenze tra modelli di calcolo. Universalità dei modelli di calcolo. Tesi di Church. - *
CAL - Calcolabilita'
Problemi decidibili, indecidibili e semidecidibili. Indecidibilità del problema della fermata. Metodo di riduzione. Esempi di altri problemi indecidibili. - *
CAL - Calcolabilita'
Insiemi ricorsivi e ricorsivamente enumerabili. Teoremi di Rice e di Rice-Shapiro. - *
CAL - Calcolabilita'
Funzionali. Definizioni ricorsive. Ordinamenti parziali, funzioni monotone e punti fissi. Funzionali ricorsivi. Relazione tra continuità e ricorsività. Il teorema di Myhill-Sheperdson. Primo teorema di ricorsione. Secondo teorema di ricorsione.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Computabilità e Algoritmi (Mod. B)
| Nome | Computabilità e Algoritmi (Mod. B) | CFU | 5 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 5 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Obbligatorio; modulo integrato che tratta gli algoritmi | ||
5 cfu così ripartiti nelle aree:
- 5 CFU nell'area B - Algoritmi
Sillabo dell'insegnamento
- B - Algoritmi
- *
ASC - Algoritmi su Strutture Combinatorie
Algoritmi su grafi. Visita in ampiezza e visita in profondità. Ordinamento topologico. Componenti fortemente connesse. - *
ASC - Algoritmi su Strutture Combinatorie
Alberi di connessione minimi. Cammini minimi: algoritmi di Bellman-Ford e di Dijkstra. Flusso massimo: Ford-Fulkerson. - *
ASC - Algoritmi su Strutture Combinatorie
Algoritmi su stringhe. Preelaborazione fondamentale. Algoritmi basati su confronti: di Knuth Morris e Pratt, di Boyer e Moore e di Yao Corasich. Algoritmi seminumerici: Algoritmo ShiftAnd e algoritmo Fingerprint di Rabin e Karp. Alberi dei suffissi e algoritmo di Ukonnen per la loro costruzione in tempo lineare. - *
ASC - Algoritmi su Strutture Combinatorie
Algoritmi di geometria computazionale. Rappresentazione degli oggetti geometrici. La tecnica di "swapping". Calcolo dell'involucro convesso. -
TAA - Tecniche Algoritmiche Avanzate
Introduzione agli algoritmi randomizzati e alle tecniche di progetto di algoritmi randomizzati.
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Insegnamento Affine n. 2
| Nome | Insegnamento Affine n. 2 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | --libero-- |
| Commento | A scelta fra il seguenti insegnamenti: Crittografia, Fondamenti Logici dei Linguaggi Funzionali, Bioinformatica, Analisi Numerica, Logica 2, Metodi e Modelli per l'Ottimizzazione Combinatoria | ||
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: Insegnamento Affine n.1
| Nome | Insegnamento Affine n.1 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | MAT/05 MAT/08 MAT/09 MAT/02 MAT/03 |
| Commento | A scelta fra il seguenti insegnamenti: Crittografia, Fondamenti Logici dei Linguaggi Funzionali, Bioinformatica, Analisi Numerica, Logica 2, Metodi e Modelli per l'Ottimizzazione Combinatoria | ||
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
insegnamento di Logica 2: http://informatica.math.unipd.it/laureamagistrale/logica2.html -
MAT/02 - Algebra
insegnamento di Crittografia: http://informatica.math.unipd.it/laureamagistrale/crittografia.html -
MAT/03 - Geometria
insegnamento di Crittografia: http://informatica.math.unipd.it/laureamagistrale/crittografia.html -
MAT/01 - Logica Matematica
insegnamento di Fondamenti Logici dei Linguaggi Funzionali: http://informatica.math.unipd.it/laureamagistrale/fondamentilogicideilinguaggifunzionali.html -
MAT/08 - Analisi Numerica
insegnamento di Analisi Numerica: http://informatica.math.unipd.it/laureamagistrale/analisinumerica.html -
MAT/09 - Ricerca Operativa
insegnamento di Metodi e Modelli per l'Ottimizzazione Combinatoria: http://informatica.math.unipd.it/laureamagistrale/metodiemodelliperlottimizzazionecombinatoria.html
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
Riepilogo dell'insegnamento: Insegnamento Caratterizzante n.1
| Nome | Insegnamento Caratterizzante n.1 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, Ragionamento Temporale, Data Mining, Apprendimento Automatico, Sistemi con Vincoli, Information Retrieval, Sistemi Real-Time, Amministrazione di Sistema, Sicurezza, Sistemi Ipermediali, Tecnologie Open-Source, Tecnologie Web 2, Reti Wireless | ||
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: Insegnamento Caratterizzante n.2
| Nome | Insegnamento Caratterizzante n.2 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, Ragionamento Temporale, Data Mining, Apprendimento Automatico, Sistemi con Vincoli, Information Retrieval, Sistemi Real-Time, Amministrazione di Sistema, Sicurezza, Sistemi Ipermediali, Tecnologie Open-Source, Tecnologie Web 2, Reti Wireless | ||
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: Insegnamento Caratterizzante n.3
| Nome | Insegnamento Caratterizzante n.3 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, Ragionamento Temporale, Data Mining, Apprendimento Automatico, Sistemi con Vincoli, Information Retrieval, Sistemi Real-Time, Amministrazione di Sistema, Sicurezza, Sistemi Ipermediali, Tecnologie Open-Source, Tecnologie Web 2, Reti Wireless | ||
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: Insegnamento Caratterizzante n.4
| Nome | Insegnamento Caratterizzante n.4 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, Ragionamento Temporale, Data Mining, Apprendimento Automatico, Sistemi con Vincoli, Information Retrieval, Sistemi Real-Time, Amministrazione di Sistema, Sicurezza, Sistemi Ipermediali, Tecnologie Open-Source, Tecnologie Web 2, Reti Wireless | ||
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: Insegnamento Caratterizzante n.5
| Nome | Insegnamento Caratterizzante n.5 | CFU | 6 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, Ragionamento Temporale, Data Mining, Apprendimento Automatico, Sistemi con Vincoli, Information Retrieval, Sistemi Real-Time, Amministrazione di Sistema, Sicurezza, Sistemi Ipermediali, Tecnologie Open-Source, Tecnologie Web 2, Reti Wireless | ||
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: Insegnamento Obbligatorio a scelta
| Nome | Insegnamento Obbligatorio a scelta | CFU | 8 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | A scelta fra il seguenti insegnamenti: Analisi Statica e Verifica del Software, Intelligenza Artificiale, Sistemi Concorrenti e Distribuiti | ||
8 cfu così ripartiti nelle aree:
- 8 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: Linguaggi di programmazione
| Nome | Linguaggi di programmazione | CFU | 10 |
|---|---|---|---|
| Ore di didattica frontale per CFU | 10 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Obbligatorio | ||
10 cfu così ripartiti nelle aree:
- 10 CFU nell'area D - Linguaggi
Sillabo dell'insegnamento
- D - Linguaggi
-
ALC - Astrazioni Linguistiche e Composizionalita'
Inferenza dei Tipi -
ALC - Astrazioni Linguistiche e Composizionalita'
Polimorfismo -
PLN - Paradigmi Linguistici
Il Linguaggio Funzionale ML -
PLN - Paradigmi Linguistici
Il Linguaggio Funzionale ML - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Le funzioni come valore - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Approfondimenti su C++ - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Approfondimenti su Java - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Gestione run time di blocchi e funzioni - *
MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Gestione run time di blocchi e funzioni -
ALC - Astrazioni Linguistiche e Composizionalita'
Ruolo dei tipi nei linguaggi di programmazione
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
