Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MATEMATICA DISCRETA
C.L. Informatica e tecnologie per la produzione del software
Prof.ssa Luigia Di Terlizzi
(A.A. 2013/14)
1. Cenni di logica
Logica proposizionale e predicativa. Simboli logici e quantificatori. Tavole
di verit`a. Regole di inferenza e tecniche di dimostrazione.
2. Numeri naturali ed interi
Linsieme N dei numeri naturali. Linsieme Z dei numeri interi. Principio di
induzione completa. Relazioni ricorsive ed esempi: torri di Hanoi e numeri
di Fibonacci. Algoritmo della divisione. Massimo comune divisore e identit`a
di Bezout. Minimo comune multiplo. Numeri primi. Teorema fondamentale
dellaritmetica. Criteri di fattorizzazione di un intero: crivello di Eratostene
e criterio di Fermat. La funzione di Eulero e le sue principali propriet`a. Il
piccolo teorema di Fermat. Teorema di Eulero. Teorema di rappresentazione
di un intero in base n. Equazioni Diofantee.
3. Relazioni funzionali e di equivalenza
Applicazioni tra insiemi. Applicazioni ingettive, surgettive e bigettive. Caso
delle applicazioni tra insiemi finiti. Composizione di applicazioni e applicazione inversa. Linsieme Sn delle permutazioni su n oggetti. Relazioni
di equivalenza. Classi di equivalenza e relative propriet`a. Partizioni di un
insieme. Linsieme quoziente di un insieme rispetto ad una relazione di equivalenza. La relazione di congruenza (mod n) su Z e la costruzione dellinsieme
Zn delle classi dei resti (mod n). Congruenze lineari su Z. Teorema di compatibilit`a di una congruenza lineare e sue soluzioni non congrue (mod n).
Sistemi di congruenze lineari e tecniche di risoluzione. Teorema cinese dei
resti. Il sistema crittografico RSA come esempio di applicazione di alcune
nozioni e teoremi a procedure informatiche.
4. Cenni di combinatorica
Il numero delle applicazioni ingettive, surgettive e bigettive tra insiemi finiti.
Numeri di disposizioni e combinazioni semplici; numero di disposizioni e
combinazioni con ripetizioni. Linsieme Sn delle permutazioni su n oggetti.
1
7. Grafi
Grafi semplici e multigrafi. Grafi completi e grafi regolari. Legami tra il
numero dei lati e i gradi dei suoi vertici. Cammini e cicli. Cammini Euleriani
e Hamiltoniani. Problema dei ponti di Konisberg e teorema di Eulero. Grafi
isomorfi. Grafi connessi e componenti connesse di un grafo; grafi regolari e
completi. Alberi e loro caratterizzazioni. Albero generatore o di sostegno
di un grafo connesso. Matrici di adiacenza di un grafo. Grafi bipartiti e
caratterizzazione. Grafi planari. Facce di un grafo planare. Formula di
Eulero per i grafi planari.
8. Reticoli, reticoli di Boole ed anelli di Boole
Relazioni dordine ed insiemi ordinati. Diagrammi di Hasse. Insiemi totalmente ordinati. Estremo superiore ed estremo inferiore. Massimo e minimo.
Reticoli ordinati e reticoli algebrici. Principali propriet`a. Corrispondenza
tra reticoli ordinati e reticoli algebrici. Esempi: reticolo delle parti di un
insieme, il reticolo dei divisori di un numero intero. Sottoreticoli. Reticoli
distributivi. Reticoli con zero ed unit`a. Complemento di un elemento di un
reticolo. Reticoli di Boole. Esempi. Reticoli di Boole finiti e loro cardinalit`a.
Anelli di Boole. Relazione tra algebre di Boole e anelli di Boole.
Testi Consigliati:
A. Facchini: Algebra e Matematica Discreta,
ed. ZANICHELLI
G.M. Piacentini Cattaneo: Matematica Discreta,
ed. ZANICHELLI
M.G. Bianchi, A. Gillio: Introduzione alla Matematica Discreta,
ed. McGRAW-HILL
L. Di Martino, M.C. Tamburini: Appunti Di Algebra,
ed. CLUED