MATEMATICA DISCRETA Prof. Luigi Borzacchini, a.a. 2013-2014

 MATEMATICA DISCRETA (corso di laurea in Informatica e Comunicazione Digitale)
Prof. Luigi Borzacchini, a.a. 2013‐2014 I segni. Linguaggi naturali e linguaggi formali. La rappresentazione e il pensiero formale. Sintassi e semantica. Rappresentazione come linguaggio e come calcolo. Rappresentazione ed Interpretazione: il triangolo semiotico. Dimostrazione e verità. Intensione ed Estensione . Logica delle proposizioni. Grammatica e Semantica: connettivi e tavole di verità. Tassonomia e Albero dei Concetti. Logica delle proposizioni: sintassi. Il calcolo logico: la dimostrazione. La deduzione naturale. Teorema di deduzione. Consistenza, correttezza, completezza, decidibilità. Teoria degli Insiemi. Linguaggio logico e linguaggio insiemistico. Diagrammi di Venn. Linguaggio e Logica dei predicati. Formule, Variabili, Predicati e Quantificatori. La deduzione naturale. Semantica della logica dei predicati. Interpretazioni e modelli. Teorie assiomatizzate e modelli. Logica e matematica. Definizione di relazione e di funzione. Funzioni ingettive, surgettive, bigettive. Inversa di una funzione bigettiva. Composizione tra funzioni. Numeri naturali e principio di induzione. Numeri interi relativi, algoritmo della divisione, divisori di un intero, massimo comun divisore e minimo comune multiplo. Numeri primi e irriducibili. Fattorizzazione. Definizione di relazione di equivalenza. Classi di equivalenza e insieme quoziente. Partizioni di un insieme. teorema di corrispondenza tra relazioni di equivalenza e partizioni. La relazione di congruenza modulo n e l'insieme Zn. Insiemi ordinati e totalmente ordinati. Elementi minimali, massimali, massimo e minimo. Esempi fondamentali. Operazioni binarie su un insieme. Semigruppi, monoidi. Esempi fondamentali. Relazioni di equivalenza compatibili con un'operazione e strutture algebriche quoziente. Teorema di struttura e operazioni su Zn. Omomorfismi e isomorfismi tra strutture algebriche. Elementi invertibili di un monoide. Definizione di gruppo ed esempi fondamentali. Omomorfismi tra gruppi. Gruppi quoziente. Esempi. Il gruppo delle permutazioni su n oggetti. Cicli e fattorizzazione di una permutazione. Classe di una permutazione. Matrici a coefficienti reali. determinante e rango di una matrice. Operazioni tra matrici. Matrice inversa di una matrice non singolare. Definizione di anello ed esempi fondamentali. Campi. Anelli di Boole. Reticoli: definizione ed esempi. Reticoli di Boole. Legame tra reticoli di Boole e anelli di Boole. Testo di algebra: Elementi di Matematica Discreta e Algebra lineare , Francesca Dalla Volta , Marco Rigoli,
Pearson Education
Tutorials di introduzione alla logica matematica nel sito http://www.dm.uniba.it/Members/borzacchini