2015
2015
Sei collegato come utente non registrato
Il percorso ha la certificazione (STANDARD)
Corso di Laurea: Informatica  -  Percorso: Informatica
Informazioni generali
Università PADOVA Responsabile del Percorso Francesco Ranzato
Livello del Cdl MAGISTRALE Email ranzato@math.unipd.it
Docenti che insegnano nel corso*: 12 Scheda Unica Annuale (SUA) del Corso di Laurea: Nessun documento SUA caricato
(*) 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   Afferisce al primo corso di laurea iscritto Si
Commento E' un percorso interdisciplinare No
Legenda delle Aree (versione standard)
A: Fondamenti G: Basi di dati A_M: Una qualunque delle aree da A a M
B: Algoritmi H: Computazione su rete altro INF: Crediti di INFORMATICA non classificati nelle aree
C: Programmazione I: Ingegneria del software INF: Crediti di INFORMATICA non classificabili a priori
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA né della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NCP: Crediti Non Classificabili a priori
F: Sistemi operativi MAT: Crediti di MATEMATICA
Legenda delle Aree (versione beta)
AL: Algorithms and Complexity IS: Intelligent Systems SP: Social Issues and Professional Practice
AR: Architecture and Organization NC: Networking and Communication MAT: Crediti di MATEMATICA
DS: Discrete Structures OS: Operating Systems altro INF: Crediti di INFORMATICA non classificati nelle aree
GV: Graphics and Visualization PBD: Platform-Based Development INF: Crediti di INFORMATICA non classificabili a priori
HCI: Human Computer Interaction PD: Parallel and Distributed Computing altro: Crediti NON dell'INFORMATICA né della MATEMATICA
IAS: Information Assurance and Security PL: Programming Languages NCP: Crediti Non Classificabili a priori
IM: Information Management SE: Software Engineering
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M MAT A_M AL AR DS GV HCI IAS IM IS NC OS PBD PD PL SE SP MAT altro INF INF altro NCP
Computabilità e Algoritmi 10 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 6 38 0 0 0 56
Riepilogo dell'insegnamento: Computabilità e Algoritmi
Nome Computabilità e Algoritmi CFU 10
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare INF/01
   

10 cfu così ripartiti nelle aree:

  • 5 CFU nell'area A - Fondamenti
  • 5 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • A - Fondamenti
    • * CAL - Calcolabilità
      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 - Calcolabilità
      Insiemi ricorsivi e ricorsivamente enumerabili. Teoremi di Rice e di Rice-Shapiro.
    • * CAL - Calcolabilità
      Problemi decidibili, indecidibili e semidecidibili. Indecidibilità del problema della fermata. Metodo di riduzione. Esempi di altri problemi indecidibili.
    • * CAL - Calcolabilità
      Enumerazione delle funzioni calcolabili. Esistenza di funzioni non calcolabili: il metodo della diagonalizzazione. Il teorema del parametro. Programmi universali.
    • * CAL - Calcolabilità
      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.
  • 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
      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.
    • * A - Algoritmi fondamentali
      Algoritmi di Geomatria Computazionale. Rappresentazione degli oggetti geometrici e algoritmi di base. Algoritmo per il test di non intersezione tra segmenti. Involucro convesso: algoritmi di Graham e di Jarvis. Localizzazione di un punto in un piano suddiviso in regioni poligonali.
    • TAA - Tecniche Algoritmiche Avanzate
      Esempi di algoritmi randomizzati. Algoritmo di rendering. Algoritmo di routing.
    • AP - Algoritmi Paralleli
      Algoritmi Multithread.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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, Bioinformatica 2, Analisi Numerica, Logica 2, Metodi e Modelli per l'Ottimizzazione Combinatoria

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NCP - 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/02 MAT/03 MAT/05 MAT/08 MAT/09
Commento A scelta fra il seguenti insegnamenti: Crittografia, Fondamenti Logici dei Linguaggi Funzionali, Bioinformatica, Bioinformatica 2, 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 "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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, 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, Gestione di Imprese Informatiche, Calcolo Parallelo, Elaborazione di dati tridimensionali

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, 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, Gestione di Imprese Informatiche, Calcolo Parallelo, Elaborazione di dati tridimensionali

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, 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, Gestione di Imprese Informatiche, Calcolo Parallelo, Elaborazione di dati tridimensionali

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, 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, Gestione di Imprese Informatiche, Calcolo Parallelo, Elaborazione di dati tridimensionali

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, 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, Gestione di Imprese InformaticheA scelta fra il seguenti insegnamenti: Algoritmi di Approssimazione, Linguaggi di Programmazione Avanzati, Linguaggi e Modelli per il Global Computing, 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, Gestione di Imprese Informatiche, Calcolo Parallelo, Elaborazione di dati tridimensionali

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 8 Settore Scientifico Disciplinare INF/01
Commento Obbligatorio

10 cfu così ripartiti nelle aree:

  • 10 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • D - Linguaggi
    • PLN - Paradigmi Linguistici
      Il linguaggio funzionale Haskell: sintassi, esercizi, ricorsione.
    • ALC - Astrazioni Linguistiche e Composizionalità
      Inferenza dei tipi, esecuzione eager e lazy.
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Gestione run-time dei dati: blocchi, funzioni, ricorsione.
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Gestione run-time dei dati: scoping statico e dinamico, eccezioni.
    • * 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.
    • ALC - Astrazioni Linguistiche e Composizionalità
      Polimorfismo.
    • ALC - Astrazioni Linguistiche e Composizionalità
      Ruolo dei tipi nei linguaggi di programmazione.
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Progetto: realizzazione di un compilatore di un semplice linguaggio funzionale.

Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).

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