Appunti per l'esame di Matematica Discreta e Logica (MDL) del corso di laurea in Informatica.
Teoria ed esercizi svolti.
Teoremi e dimostrazioni, simboli logici, equivalenza logica, conseguenza/discendenza logica, negazione, congiunzione, disgiunzione, leggi di De Morgan, distributività, tautologie, contraddizioni, implicazione, bi-implicazione, quantificatore esistenziale, quantificatore universale, tavole di verità, soddisfacibilità
insiemi, insieme delle parti o insieme potenza, intersezione, unione, differenza, complementare, operazioni e leggi insiemistiche, prodotto cartesiano, relazioni, relazione di equivalenza, classe di equivalenza, insieme quoziente, ordini, diagramma di Hasse, pre-ordini, funzioni, immagine, preimmagine, composizione, operazioni, iniezioni, suriezioni, biezioni, funzione inversa, prodotto di funzioni, stringhe o sequenze, concatenazione, cardinalità, insiemi finiti ed infiniti, teorema di Cantor-Schroder-Bernstein, insiemi numerabili, induzione semplice, ricorsione, induzione strutturale forte, induzione strutturale semplice, principio del minimo, principio dei cassetti, sintassi della logica proposizionale, albero sintattico, interpretazioni, valutazioni, logica del prim'ordine, linguaggio del prim'ordine, termini, formule del prim'ordine, formule atomiche, variabili libere e vincolate, L-strutture, assegnazioni, interpretazione di termini, interpretazione di formule, insieme di verità, formalizzazione, quantificatori limitativi.
...continua