METODI MATEMATICI PER L'INFORMATICA
Canale E-O, a.a. 2009/10
C. Malvenuto, D.A. Gewurz
APPUNTI E SCHEDE DI ESERCIZI

...giacché in ogni cervello accanto al pensiero logico, col suo semplice e rigoroso senso dell'ordine che è il riflesso delle condizioni esterne, v'è anche il pensiero effettivo, la cui coerenza - se di coerenza si può parlare - corrisponde alle particolarità dei sentimenti, delle passioni e degli umori, cosicché le leggi di entrambi stanno suppergiù le une alle altre come quelle di un deposito di legnami, dove i pezzi di legno ben squadrati e pronti per la spedizione sono disposti in cataste ordinate, a quelle oscure e intricate del bosco col suo stormire e il suo pullulare.
(Robert Musil, L'uomo senza qualità)
Programma del corso
Torna alla Pagina Principale
ESERCIZI DI TEORIA DEGLI INSIEMI
  • Scheda n.1 (insiemi) dvi ps pdf
  • Scheda n.2 (corrispondenze e relazioni) dvi ps pdf
  • Scheda n.3 (relazioni d'ordine) dvi ps pdf
  • Scheda n.4 (relazioni d'equivalenza) dvi ps pdf
  • Scheda n.5 (applicazioni)dvi ps pdf
  • Scheda n.6 (induzione)dvi ps pdf
  • Scheda n.7 (congruenze, MCD)dvi ps pdf
  • Scheda n.8 (equipotenza)dvi ps pdf
    • ESERCIZI DI LOGICA MATEMATICA
  • Scheda n.9 (Formalizzazione; connettivi; tavole di verità)dvi ps pdf
  • Scheda n.10 (Calcolo proposizionale: equivalenze logiche e tautologie)dvi ps pdf
  • Scheda n.11 (Calcolo proposizionale: validità e conseguenza logica)dvi ps pdf
  • Scheda n.12 (Calcolo proposizionale: tableaux Semantici)dvi ps pdf
  • Scheda n.13 (Calcolo proposizionale: tableaux e calcolo dei sequenti di Gentzen)dvi ps pdf
  • Scheda n.14 (Calcolo dei Predicati: formalizzazione e modelli)dvi ps pdf
  • Scheda n.15 (Calcolo dei predicati: metodo dei tableaux e calcolo dei sequenti)dvi ps pdf
    • ALCUNI APPUNTI DI LOGICA MATEMATICA (R. Maieli)
  • Note di logica n.1 (inferenza logica + esercizi) dvi ps pdf
  • Note di logica n.2 (base dei connettivi) dvi ps pdf
  • Note di logica n.3 (dimostrazioni e refutazioni + esercizi) dvi ps pdf
  • Note di logica n.4 (Tableaux semantici: caso predicativo) dvi ps pdf

    Le schede e gli appunti sono in tre formati: dvi, ps e pdf.

    Per leggere i vari formati trovate qui il software necessario.
    Per il formato ps (postscript) è necessario avere il software Ghostview, che si può scaricare anche da qui.