UmbertoGarofalo < Users

<p><b>umberto garofalo</b></p>

---++ Percorso Part-time

   *Anno 1/6:* <strong>superato </strong><br />
   *Anno 2/6:* <strong>superato </strong><br />
   *Anno 3/6:* (in corso) <br /> 

---++ Esami superati

   *Metodi matematici per l'informatica* relativo all'a.a.2008/09 con la votazione di *18/30* docente: Malvenuto CREDITI *6* <br />
   *Fondamenti di programmazione* relativo all'a.a.2009/10 con la votazione di *28/30* docente: Silvestri CREDITI *9* <br />
   *Calcolo differenziale* relativo all'a.a.2010/11 con la votazione di *19/30* docente: Mascia CREDITI *6* <br /> 
   *Progettazione di sistemi digitali* relativo all'a.a.2010/11 con la votazione di *25/30* docente: Cinque CREDITI *6* <br /> 
   *Lingua inglese* relativo all'a.a.2010/11 con la votazione di *20/30* docente: Luciani CREDITI *6* [18(4)+22(2)] <br />
   *Metodologie di programmazione* relativo all'a.a.2010/11 con la votazione di *27/30* docente: Parisi Presicce CREDITI *9* <br />
   *Reti di elaboratori* relativo all'a.a.2011/12 con la votazione di *24/30* docente: Bongiovanni CREDITI *9* <br />
   *Architettura degli elaboratori* relativo all'a.a.2011/12 con la votazione di *18/30* docente: Tronci CREDITI *6* <br />
   *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* <br />
1. <strong>Metodi matematici per l'informatica</strong> <br />
2. <strong>Fondamenti di programmazione</strong> <br />
3. <strong>Calcolo differenziale</strong> <br />
4. <strong>Progettazione di sistemi digitali</strong> <br />
5. <strong>Lingua inglese</strong> <br />

   *Anno 2* <br />
1. <strong>Metodologie di programmazione</strong> <br />
2. <strong>Reti di elaboratori</strong> <br />
3. <strong>Architettura degli elaboratori</strong> <br />
4. <strong>Informatica e diritto</strong> <br />

   *Anno 3* <br />
1. Basi di dati <br />
2. Calcolo integrale <br />
3. Introduzione agli algoritmi <br />
4. Algebra <br />

   *Anno 4* <br />
1. Interazione uomo macchina <br />
2. Ingegneria del software <br />
3. Fisica <br />
4. Sistemi operativi <br />

   *Anno 5* <br />
1. Calcolo delle probailita <br />
2. Progettazione di algoritmi <br />
3. Combinatoria <br />
4. Sistemi di basi di dati <br />

   *Anno 6* <br />
1. Programmazione di sistema <br />
2. Programmazione per il web <br />
3. Tirocinio <br />
4. Tesi <br />
5. Prova finale <br />

---++ Esami da sostenere a.a. 2011/12

   * CALCOLO INTEGRALE _docente Nebbia_ -entro settembre 2012- (mod. scritto-orale) <br />
   * BASI DI DATI _docente Moscarini_ -entro settembre 2012- (mod. scritto-orale)<br />

---++ Date Esami 

 - <b><i>Basi di dati</i></b> --12/09-- ore --14.00-- AULA Cabibbo (SCRITTO)  <br />
 - <b><i>Calcolo integrale</i></b> --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 <br />
DBMS <br />
Sistemi gerarchici <br />
Sistemi a rete <br />
Modello relazionale <br />
Basi di dati <br />
Integrità <br />
Sicurezza <br />
Transazione <br />
Concorrenza <br />
DBA <br />
Compiti del DBA <br />
Schema relazionale <br />

   * 06/10/11 Lezione in aula

   * 08/10/11 Algebra relazionale

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

   * 11/10/11 Dipendenze funzionali

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

   * 13/10/11 Lezione in aula

   * 15/10/11 Terza forma normale

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

   * 18/10/11 Assiomi di Armstrong

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

   * 20/10/11 Lezione in aula

   * 22/10/11  F+ calcolabile

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

   * 25/10/11  Preservare le dipendenze

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

   * 3/11/11 Lezione in aula

   * 5/11/11  Join senza perdita

Join senza perdita <br />
Algoritmo join senza perdita <br />
Dimostrazione join senza perdita <br />
Esempi <br />
Esercitazioni <br />
Approfondimento <br />
Ripasso <br />

   * 8/11/11  Copertura minimale

Lezione in aula <br />
Decomposizione in 3NF <br />
Copertura minimale <br />
Esempi <br />
Esercitazioni <br />

   * 10/11/11  Lezione in aula

   * 12/11/11  Algoritmo copertura minimale

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

   * 15/11/11 <strong>Simulazione prova intermedia </strong>

   * 22/11/11 Algoritmo 5

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

   * 24/11/11 Lezione in aula

   * 25/11/11 Memorizzazione di relazioni 

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

   * 29/11/11 File Hash

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

   * 01/12/11 Lezione in aula 

   * 02/12/11 B-Tree

B-Tree <br />
Schema file principale <br />
Ricerca B-Tree <br />
Inserimento B-Tree <br />
Operazioni B-Tree <br />
Cancellazione B-Tree <br />
Modifica B-Tree <br />

   * 03/12/11 Esercitazioni

Esercitazioni <br />
Approfondimento <br />
Ripasso <br />

   * 06/12/11 Lezione in aula

   * 10/12/11 File con indice denso

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

   * 13/12/11

---++ ALGEBRA

*Inizio il 3/10/11*

   * 03/10/11 Sostanza dell'algebra

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

   * 05/10/11 Lezione in aula

   * 06/10/11 Rappresentazioni di una classe

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

   * 07/10/11 Applicazioni biunivoche

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

   * 10/10/11 Principio di induzione

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

   * 12/10/11 Lezione in aula

   * 13/10/11  Coefficiente binomiale

Enumerazione di oggetti finiti <br />
Liste binarie <br />
Principio dei cassetti <br />
Permutazioni <br />
Ordinamento lineare <br />
Coefficiente binomiale <br />
Esempi <br />

   * 14/10/11 Dimostrazione combinatoria

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

   * 17/10/11 Gli interi

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

   * 19/10/11 Lezione in aula

   * 20/10/11 Massimo comune divisore 

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

   * 21/10/11 Congruenza modulo intero n

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

   * 24/10/11 Invertibilità

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

   * 26/10/11 Lezione in aula 

   * 27/10/11 Gruppo

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

   * 28/10/11 Gruppi simmetrici

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

   * 31/10/11 Sottogruppo

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

   * 2/11/11 Lezione in aula

   * 3/11/11 Anello e campi

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

   * 4/11/11 Matrici quadrate

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

   * 7/11/11 Gruppi ciclici 

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

   * 9/11/11 Lezione in aula

   * 10/11/11 Orbita di un elemento

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

   * 11/11/11 Trasposizioni

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

   * 18/11/11 <strong>Prima prova intermedia</strong>

   * 21/11/11 Lezione in aula

   * 22/11/11 Classi laterali

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

   * 23/11/11 Lezione in aula

   * 24/11/11 Sottogruppi normali

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

   * 25/11/11 Lezione in aula

   * 27/11/11 Composizione di omomorfismi

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

   * 28/11/11 Lezione in aula

   * 29/11/11 Teorema fondamentale di omomorfismo

Morfismo di gruppi <br />
Immagine morfismo <br />
Nucleo <br />
Teorema fondamentale di omomorfismo <br />
Dimostrazione del teorema <br />
Esempi <br />

   * 30/11/11 Lezione in aula

   * 01/12/11 Spazi vettoriali

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

   * 02/12/11 Lezione in aula

   * 04/12/11 Combinazione lineare

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

   * 05/12/11 Morfismo di spazi vettoriali

Lezione in aula <br />
Base finitamente generati <br />
Dimostrazione combinazione lienare <br />
Coefficienti unici indipendenti <br />
Dimostrazione per induzione <br />
Morfismo di spazi vettoriali <br />
Proprietà di morfismo di spazi vettoriali <br />
Esistenza di una base <br />
Teorema del completamento <br />
Dimensione <br />
Esempi <br />
D
This topic: Users > TWikiUsers > UmbertoGarofalo
Topic revision: r199 - 2012-07-19 - UmbertoGarofalo