umberto garofalo

Percorso Part-time

Anno 1/6: superato
Anno 2/6: superato
Anno 3/6: (in corso)

Esami superati

Metodi matematici per l'informatica relativo all'a.a.2008/09 con la votazione di 18/30 docente: Malvenuto CREDITI 6
Fondamenti di programmazione relativo all'a.a.2009/10 con la votazione di 28/30 docente: Silvestri CREDITI 9
Calcolo differenziale relativo all'a.a.2010/11 con la votazione di 19/30 docente: Mascia CREDITI 6
Progettazione di sistemi digitali relativo all'a.a.2010/11 con la votazione di 25/30 docente: Cinque CREDITI 6
Lingua inglese relativo all'a.a.2010/11 con la votazione di 20/30 docente: Luciani CREDITI 6 [18(4)+22(2)]
Metodologie di programmazione relativo all'a.a.2010/11 con la votazione di 27/30 docente: Parisi Presicce CREDITI 9
Reti di elaboratori relativo all'a.a.2011/12 con la votazione di 24/30 docente: Bongiovanni CREDITI 9
Architettura degli elaboratori relativo all'a.a.2011/12 con la votazione di 18/30 docente: Tronci CREDITI 6
Informatica e diritto relativo all'a.a.2011/12 con la votazione di 30/30 docente: Scorza CREDITI 6

Piano di studi Part-time

Anno 1
1. Metodi matematici per l'informatica
2. Fondamenti di programmazione
3. Calcolo differenziale
4. Progettazione di sistemi digitali
5. Lingua inglese

Anno 2
1. Metodologie di programmazione
2. Reti di elaboratori
3. Architettura degli elaboratori
4. Informatica e diritto

Anno 3
1. Basi di dati
2. Calcolo integrale
3. Introduzione agli algoritmi
4. Algebra

Anno 4
1. Interazione uomo macchina
2. Ingegneria del software
3. Fisica
4. Sistemi operativi

Anno 5
1. Calcolo delle probailita
2. Progettazione di algoritmi
3. Combinatoria
4. Sistemi di basi di dati

Anno 6
1. Programmazione di sistema
2. Programmazione per il web
3. Tirocinio
4. Tesi
5. Prova finale

Esami da sostenere a.a. 2011/12

• CALCOLO INTEGRALE docente Nebbia -entro settembre 2012- (mod. scritto-orale)
  
• BASI DI DATI docente Moscarini -entro settembre 2012- (mod. scritto-orale)
  

Date Esami

- Basi di dati --12/09-- ore --14.00-- AULA Cabibbo (SCRITTO)
- Calcolo integrale --13/09-- ore --14.00-- AULA 5 MAT (SCRITTO)

BASI DI DATI

Inizio il 4/10/11

• 04/10/11 Il modello relazionale

Lezione in aula
DBMS
Sistemi gerarchici
Sistemi a rete
Modello relazionale
Basi di dati
Integrità
Sicurezza
Transazione
Concorrenza
DBA
Compiti del DBA
Schema relazionale

• 06/10/11 Lezione in aula

• 08/10/11 Algebra relazionale

Linguaggio formale
Linguaggio procedurale
Proiezione
Operatore di selezione
Operatore di confronto
Algebra relazionale
Unione
Differenza
Intersezione
Prodotto cartesiano
Join naturale
Proiezione
Approfondimento
Esercitazioni
Ripasso

• 11/10/11 Dipendenze funzionali

Lezione in aula
Progettazione di una base di dati relazionale
Problemi di una base di dati relazionale
Vincoli
Tipi di vincoli
Schema di relazione
Tupla
Istanza di relazione
Dipendenze funzionali
Instanza legale
Chiusura di F
Chiave
Chiave primaria
Dipendenze banali
Proprietà di dipendenza funzionale

• 13/10/11 Lezione in aula

• 15/10/11 Terza forma normale

Terza forma normale
Concetto di 3NF
Problema di 3NF
Decomposizione di R in 3NF
Regole di decomposizione in 3NF
Esempi
Dipendenza transitiva
Dipendenza parziale
3NF
Esercitazioni
Approfondimento
Ripasso

• 18/10/11 Assiomi di Armstrong

Lezione in aula
Assiomi di Armstrong
Riflessività
Aumento
Transitività
Altre regole
Unione
Decomposizione
Pseudotransitività
Chiusura attributi
F+=Fa
Dimostrazione per induzione
Derivazione dagli assiomi di Armstrong
Casi finali
Esempi
Esercitazioni

• 20/10/11 Lezione in aula

• 22/10/11 F+ calcolabile

Relazioni su x->y
Formule di De Morgan
F+incluso in Fa
Dimostrazioni
Lemma x->y ¤ Fa
F+ calcolabile
Decomposizione
Algoritmo su |x+|
Approfondimento
Esempi
Esercitazioni
Ripasso

• 25/10/11 Preservare le dipendenze

Lezione in aula
Proprietà di preservazione
F c in G+
Dimostrazione del lemma
Dimostrazione F c in G+
Esempio di preservazione
Calcolo algoritmo di preservazione
Algoritmo X+ di g
Dimostrazione per induzione
Chiave R
Proprietà chiave R
Utilizzo del lemma
Esempi
Approfondimento
Ripasso

• 3/11/11 Lezione in aula

• 5/11/11 Join senza perdita

Join senza perdita
Algoritmo join senza perdita
Dimostrazione join senza perdita
Esempi
Esercitazioni
Approfondimento
Ripasso

• 8/11/11 Copertura minimale

Lezione in aula
Decomposizione in 3NF
Copertura minimale
Esempi
Esercitazioni

• 10/11/11 Lezione in aula

• 12/11/11 Algoritmo copertura minimale

Preservazione con join senza perdita
Chiave
Decomposizione con join senza perdita
Proprietà
Dimostrazioni proprietà
Algoritmo copertura minimale
Esempi
Esercitazioni
Approfondimento
Ripasso

• 15/11/11 Simulazione prova intermedia

• 22/11/11 Algoritmo 5

Lezione in aula
Algoritmo 5
Proprietà su sigma
Dimostrazione per induzione
Schema buono
Esempi
Esercitazioni

• 24/11/11 Lezione in aula

• 25/11/11 Memorizzazione di relazioni

Organizzazione fisica
Accessi
Tempo di posizionamento
Ritardo di rotazione
Tempo di trasferimento
Memorizzazione di relazioni
Record
Offset
Puntatori
Blocco
Operazioni base di dati
Organizzazione file in file heap
Inserimento
Ricerca
Modifica
Cancellazione
Schemi
Esempi
Esercitazioni
Approfondimento
Ripasso

• 29/11/11 File Hash

Lezione in aula
File Hash
Funzione Hash
Operazioni
Backet directory
Costi operazioni
Fasi funzione Hash
File con indice sparso
Ricerca su file indice
Ricerca binaria
Ricerca per interpolazione
Inserimento su file con indice
Cancellazione su file con indice
Modifica su file con indice

• 01/12/11 Lezione in aula

• 02/12/11 B-Tree

B-Tree
Schema file principale
Ricerca B-Tree
Inserimento B-Tree
Operazioni B-Tree
Cancellazione B-Tree
Modifica B-Tree

• 03/12/11 Esercitazioni

Esercitazioni
Approfondimento
Ripasso

• 06/12/11 Lezione in aula

• 10/12/11 File con indice denso

File con indice denso
Tempo medio di ricerca
Heap con indice denso
Confronto ricerche heap
Esempi
Esercitazioni
Approfondimento
Ripasso

• 13/12/11

ALGEBRA

Inizio il 3/10/11

• 03/10/11 Sostanza dell'algebra

Lezione in aula
Introduzione al corso
Argomenti del corso
Modalità d'esame
Sostanza dell'algebra
Algebra lineare concetti
Teoria dei gruppi concetti
Corrispondenza
Relazione
Corrispondenza inversa
Relazione di equivalenza
Classe di equivalenza
Insieme quoziente
Ripartizione insiemistica

• 05/10/11 Lezione in aula

• 06/10/11 Rappresentazioni di una classe

Insieme quoziente modulo n
Partizione insiemistica
Rappresentazione di una classe
Classi resto modulo n
Famiglie di rappresentanti
Rappresentanti canonici
Funzioni reali
Immagine di una funzione
Controimmagine di una funzione
Applicazione identica

• 07/10/11 Applicazioni biunivoche

Lezione in aula
Tipi di applicazione
Applicazione tipica
Applicazione costante
Restrizione
Applicazione inclusione
Funzione caratteristica
Corrispondenza biunivoca
Proiezione canonica
Relazioni binarie
Operazione unaria
Funzione iniettiva
Rappresentante di f
Teorema di decomposizione delle applicazioni
Diagramma commutativo
Proposizione di una funzione iniettiva
Proposizione di una funzione surriettiva
Esempi
Esercitazioni
Ripasso

• 10/10/11 Principio di induzione

Lezione in aula
Assiomi di peano
Principio di induzione
Prima forma debole
Seconda forma forte
Principio del buon ordinamento
Applicazioni del principio di induzione
Divisione col resto in N
Caso base
Ipotesi induttiva
Passo induttivo
Dimostrazioni
Esempi
Esercizi da fare

• 12/10/11 Lezione in aula

• 13/10/11 Coefficiente binomiale

Enumerazione di oggetti finiti
Liste binarie
Principio dei cassetti
Permutazioni
Ordinamento lineare
Coefficiente binomiale
Esempi

• 14/10/11 Dimostrazione combinatoria

Lezione in aula
Formula del coefficiente binomiale
Dimostrazione combinatoria
Esercizi sul calcolo del coefficiente binomiale
Esercizi sul principio di induzione
Esercitazioni
Triangolo di tartaglia
Cardinalità tra insiemi
Esempi
Approfondimento
Ripasso

• 17/10/11 Gli interi

Lezione in aula
Esistenza e unicità di quoziente e resto in Z
Divisione col resto in Z
Applicazioni del successivo
Proprietà del successivo
Gli interi
Operazioni in Z
Proprietà della somma in Z
Proprietà del prodotto in Z
Proprietà commutativa
Proprietà associativa
Proprietà transitiva
Esistenza elemento neutro per la somma
Esistenza elemento inverso rispetto la somma
Esistenza elemento neutro del prodotto
Proprietà distributiva della somma rispetto al prodotto
Gruppi
Gruppo commutativo
Anello commutativo
Legge di annullamento del prodotto
Teoria dei numeri
Divisibilità
Relazione d'ordine
Proprietà relazione d'ordine
Diagramma di Hasse
Associatività
Numeri irriducibili
Numero primo

• 19/10/11 Lezione in aula

• 20/10/11 Massimo comune divisore

Massimo comune divisore
Combinazioni lineari
Algoritmo di Euclide
Lemma su algoritmo di Euclide
Identità di Bezout
Primi
Numeri coprimi

• 21/10/11 Congruenza modulo intero n

Lezione in aula
Equazioni diofantee a coefficienti lineari
Teorema fondamentale aritmetica
Dimostrazione del teorema fondamentale dell'aritmetica
Unicità
Esistenza di infiniti numeri primi
Lemma di infiniti numeri primi
Congruenza modulo inter n>=2
Congruenza immediata
Operazioni su Zn
Esempi
Ripasso

• 24/10/11 Invertibilità

Lezione in aula
Regole su Zn
Risolvere equazioni in Z
Regole sulle classi
Invertibilità
Inverso moltiplicativo
Esercitazioni
Tavola additiva
Tavola moltiplicativa
Uguaglianza sbagliata
Teorema di Fermat
Piccolo Teorema di Fermat
Dimostrazione per induzione

• 26/10/11 Lezione in aula

• 27/10/11 Gruppo

Inverso
Fermat
Identità di Bezout
Prodotto associativo invertibile
Gruppo
Teoria dei gruppi
Notazione additiva
Notazione moltiplicativa
Concatenazione di lettere
Monoide
Esempi
Ordine del gruppo
Gruppo simmetrico
Esempi

• 28/10/11 Gruppi simmetrici

Lezione in aula
Permutazioni
Elemento neutro
Regole di calcolo
Dimostrazioni
Isomorfismo
Classificazione gruppi
Ordine 1
Ordine 2
Ordine 3
Ordine 4
Ordine 5
Unicità elemento neutro
Unicità nell'inverso
Trasformazioni del piano

• 31/10/11 Sottogruppo

Lezione in aula
Gruppo delle trasformazioni isometriche
Ordine del gruppo
Gruppo diedrale
Gruppo di Klain
Sottogruppo
Proprietà dei sottogruppi
Sottogruppi banali
Criterio di sottogruppi
Permutazioni sottogruppi
Polinomi a 1 indeterminata
Somma di polinomi
Prodotto di polinomi

• 2/11/11 Lezione in aula

• 3/11/11 Anello e campi

Anello
Anello e campi
Esempi di anello
Numeri complessi
Unità immaginaria
Campo
Annullamento del prodotto
Dominio di integrità
Sottoanello
Sottocampo
Polinomi a 2 indeterminate
Dimostrazioni dei polinomi a 2 indeterminate

• 4/11/11 Matrici quadrate

Lezione in aula
Polinomi a coefficienti in k
Prodotto di polinomi
Esempi di anelli
Le matrici
Matrici quadrate
Prodotto di matrici
Determinate
Intersezioni di sottogruppi
Unione di sottogruppi
Sottogruppi generati da x
< x >
Gruppo ciclico
Esempi
Dimostrazioni
Verifica dimostrazioni
Esercitazioni
Ripasso

• 7/11/11 Gruppi ciclici

Lezione in aula
Sottogruppi generati da X
Dimostrazioni proprietà
Gruppi ciclici
Gruppo lineare
Gruppi invertibili
Sottogruppi con x fissato
Generatori
Sottogruppi di Z12
Diagramma di Hasse di Z12
Diagramma di Hasse dei sottogruppi di Z12
Dimostrazioni
Esempi
Esercitazioni
Prima prova intermedia 18/11/2011 ore 16.00-18.00 aula Cabibbo (FIS)

• 9/11/11 Lezione in aula

• 10/11/11 Orbita di un elemento

Generatore dell'unico sottogruppo
Caratterizzazione di sottogruppi di un gruppo ciclico
Lemma gruppi ciclico
Dimostrazione lemma gruppo ciclico
Gruppo simmetrico su n elementi
Potenze di una permutazione
Gruppo obeliano
Orbita di un elemtno
Prodotto di cicli
Esempi
Dimostrazioni
Esercitazioni

• 11/11/11 Trasposizioni

Lezione in aula
Orbite di sigma
Dimostrazione con proprietà
Riflessioni riflessive simmetriche e transitive
Ciclo di sigma
Periodo
Minimo comune multiplo
Trasposizioni
Gruppo alterno
Esempi
Dimostrazioni
Verifica dimostrazioni
Esercitazioni
Ripasso

• 18/11/11 Prima prova intermedia

• 21/11/11 Lezione in aula

• 22/11/11 Classi laterali

Congruenza destra
Classi laterali
Teorema di Langrange
Indice destro
Laterali destre
Invertibili
Proprietà di phi
Esercitazioni
Esempi
Dimostrazioni

• 23/11/11 Lezione in aula

• 24/11/11 Sottogruppi normali

Teorema di Eulero
Gruppo alterno
Indice del gruppo
Sottogruppi normali
Coniugati
Gruppo quoziente di G mod n
Dimostrazione gruppo quoziente
Isomorfismo
Omomorfismo
Esercitazioni
Dimostrazioni
Esempi

• 25/11/11 Lezione in aula

• 27/11/11 Composizione di omomorfismi

Gruppo quoziente
Morfismo
Monomorfismo
Emimorfismo
Endomorfismo
Morfismo agli anelli
Composizione di omomorfismi
Equivalenza tra gruppi isomorfi
Insieme automorfismo
Proprietà degli omomorfismi
Esempi
Dimostrazione automorfismo
Dimostrazioni
Esercitazioni Ripasso

• 28/11/11 Lezione in aula

• 29/11/11 Teorema fondamentale di omomorfismo

Morfismo di gruppi
Immagine morfismo
Nucleo
Teorema fondamentale di omomorfismo
Dimostrazione del teorema
Esempi

• 30/11/11 Lezione in aula

• 01/12/11 Spazi vettoriali

Campo
Spazi vettoriali
Proprietà degli spazi vettoriali
Matrici in un gruppo
Matrici quadrate
Somma di matrici
Prodotto per uno scalare
Spazio vettori
Sottospazio vettoriale
Criterio sottospazio vettoriale
Esempi
Dimostrazioni

• 02/12/11 Lezione in aula

• 04/12/11 Combinazione lineare

Chiusura lineare
Combinazione lineare
Composizione lineare banale
Composizione lineare non banale
Lineari indipendenti
Lineari dipendenti
Indipendenza vettoriale
Dipendenza vettoriale
Sottospazio generato da un insieme
Proprietà sottospazio generato da un insieme
Span
Sistema di generatori
Base spazio vettoriale
Base canonica
Esempi
Dimostrazioni
Esercitazioni
Ripasso

• 05/12/11 Morfismo di spazi vettoriali

Lezione in aula
Base finitamente generati
Dimostrazione combinazione lienare
Coefficienti unici indipendenti
Dimostrazione per induzione
Morfismo di spazi vettoriali
Proprietà di morfismo di spazi vettoriali
Esistenza di una base
Teorema del completamento
Dimensione
Esempi
D