Corsi tenuti da Roberto Maieli in passato

IIE: Introduzione all'Informatica per l'Editoria

AIC: Architettura dell'Informazione e della Comunicazione

Slides relative a lezioni, corsi e appunti

• Alcune lezioni di Logica e Teoria della Dimostrazione:
1. Algebra di Boole.
2. Introduzione al Calcolo dei Sequenti Intuizionista e Classico.
3. Introduzione alla Teoria delle Reti di Dimostrazioni (Proof-Nets).
• Mini-corso di Introduzione alla Teoria della Calcolabilita' (Modelli di Calcolo):
  1. Linguaggi Formali
  2. La Tesi di Turing-Church
• Corso di Fondamenti di Informatica
  1. il concetto di informazione e la sua codifica
  2. la elaborazione dell'informazione
  3. la formalizzazione dell'informazione
  4. la trasmissione dell'informazione
• Corso di Introduzione ai Sistemi Informativi e alle Basi di Dati
1. i sistemi informativi
2. il modello relazionale dei dati
3. il linguaggio SQL: creazione dei dati
4. il linguaggio SQL: interrogazione dei dati con proiezioni, selezioni e ridenominazioni
5. il linguaggio SQL: interrogazione dei dati con join e prodotto cartesiano
6. il linguaggio SQL: interrogazione dei dati con operazioni insiemistiche
7. metodologie e modelli di progettazione di una base di dati: il modello concettuale dei dati
8. la progettazione concettuale secondo lo schema ER
9. la progettazione logica: la ristrutturazione degli schemi ER
10. la progettazione logica: dallo schema ER allo schema relazionale