Programma del corso MATEMATICA DISCRETA C.L. Informatica e

Programma del corso
MATEMATICA DISCRETA
C.L. Informatica e tecnologie per la produzione del software
corso A - Prof.ssa Luigia Di Terlizzi
(A.A. 2008/2009)
1. Cenni di logica
Logica proposizionale e predicativa. Simboli logici e quantificatori. Tavole
di verità. Regole di inferenza e tecniche di dimostrazione.
2. Numeri naturali ed interi
L’insieme N dei numeri naturali. L’insieme Z dei numeri interi. Principio
di induzione completa. Relazioni ricorsive. Esempi salienti: torri di Hanoi
e numeri di Fibonacci. Algoritmo della divisione. Massimo comun divisore
e identità di Bezout. Minimo comune multiplo. Numeri primi. Teorema
fondamentale dell’aritmetica. Criteri di fattorizzazione di un intero: crivello
di Eratostene e criterio di Fermat. Teorema di rappresentazione di un intero
in base n. Equazioni Diofantee.
3. Relazioni funzionali e di equivalenza
Relazioni e relazioni funzionali. Applicazioni tra insiemi con particolare riferimento alle applicazioni tra insiemi finiti. Applicazioni ingettive, surgettive e bigettive. I modelli dell’occupazione e delle parole. Il numero delle
disposizioni semplici e con ripetizioni. L’insieme Sn delle permutazioni su
n oggetti. Relazioni di equivalenza. Classi di equivalenza e relative proprietà. Partizioni di un insieme. L’insieme quoziente di un insieme rispetto
ad una relazione di equivalenza. La relazione di congruenza mod (n) su Z e la
costruzione dell’insieme Zn delle classi dei resti mod (n). Congruenze lineari
su Z. Teorema di compatibilità di una congruenza lineare e sue soluzioni
non congrue mod (n). Sistemi di congruenze lineari e tecniche di risoluzione.
Cenni sulla crittologia: il sistema crittografico a chiave pubblica R.S.A. come
utile applicazione informatica delle congruenze lineari.
4. Monoidi, gruppi, anelli e campi
Leggi di composizione interne. Monoidi e principali proprietà. Gruppi e
relative proprietà. Esempi fondamentali: (Z, +), (Q, +), (R, +), (Q∗ , · ),
(R∗ , ·), (Sn , ◦). Il gruppo (C, +) dei numeri complessi.
1
Operazioni indotte su Zn : il gruppo (Zn , +), il monoide (Zn , ·). Caratterizzazione degli elementi invertibili di Zn . Il gruppo (Z∗p , ·), con p primo.
Sottogruppi e caratterizzazione. Il sottogruppo An di (Sn , ◦) costituito dalle
permutazioni di classe pari. Sottogruppo ciclico generato da un elemento
di un gruppo. Gruppi ciclici ed esempi. Sottogruppi di un gruppo ciclico.
Periodo di un elemento di un gruppo. Somma diretta di gruppi. Teorema di
Lagrange.
Anelli e principali proprietà. Divisori dello zero, elementi unitari e proprietà
relative. Gli anelli (Z, +, ·), (Zn , +, ·). Definizione di campo e principali
proprietà. I campi: (Q, +, ·), (R, +, ·), (C, +, ·), (Zp , +, ·) (con p primo).
L’anello (K[x], +, ·). Algoritmo della divisione tra polinomi. Polinomi irriducibili. Radici di un polinomio e teorema di Ruffini. Molteplicità di una
radice. Teorema fondamentale dell’algebra. Polinomi irriducibili di R[x] e di
C[x] (teorema fondamentale dell’Algebra). Criterio di irriducibilità di Eisenstein per polinomi a coefficienti in Q. Scomposizione di polinomi in Zp [x]
(con p primo).
5. Matrici e sistemi lineari su un campo K
Matrici ed operazioni tra matrici. Matrici invertibili. Determinante di una
matrice quadrata e relative proprietà. Caratterizzazione delle matrici invertibili. Matrici triangolari e diagonali. Rango di una matrice. Teorema di
Kroneker per la determinazione del rango. Algoritmo per il calcolo della
matrice inversa. Gruppi di matrici: (GL(n, K), ·) e (Mn,m (K), +).
Sistemi lineari e loro risoluzione con i teoremi di Cramer e di Rouché-Capelli.
6. Diagonalizzabilità
Spazi vettoriali (cenni). Lo spazio vettoriale (Mn,1 (K), +) delle matrici colonna. Applicazione lineare su (Mn,1 (K), +) individuata da una matrice quadrata. Autovalori ed autovettori di una matrice quadrata. Matrici simili. Il
polinomio caratteristico di una matrice. Molteplicità algebrica e geometrica
di un autovalore. Diagonalizzabilità e teorema relativo.
2
7. Grafi
Grafi semplici e multigrafi. Grafi diretti e pesati. Grafi completi e grafi bipartiti. Legami tra il numero dei lati e i gradi dei suoi vertici. Cammini e
cicli. Cammini Euleriani e Hamiltoniani. Problema dei ponti di Könisberg
e teorema di Eulero. Grafi isomorfi. Grafi connessi e componenti connesse
di un grafo; grafi regolari e completi. Alberi e loro caratterizzazione. Albero
generatore di un grafo connesso. Alberi generatori di peso minimale di un
grafo pesato e algoritmo di Kruskal. Planarità. Grafi planari, rappresentazioni planari e poligonali. Matrici di adiacenza e di incidenza di un grafo.
Grafi isomorfi. Facce di un grafo planare. Proiezione stereografica. Formula
di Eulero per i grafi planari. Cenni sulla non solubilità del problema dei
servizi e sulla non planarità di K5 .
8. Reticoli, reticoli di Boole ed anelli di Boole
Relazioni d’ordine ed insiemi ordinati. Diagrammi di Hasse. Insiemi totalmente ordinati. Estremo superiore ed estremo inferiore. Massimo e minimo.
Reticoli ordinati e reticoli algebrici. Principali proprietà. 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à. Reticoli complementati. Reticoli di
Boole. Esempi. Reticoli di Boole finiti e loro cardinalità. Anelli di Boole.
L’anello di Boole Z2n . Relazione tra algebre di Boole e anelli di Boole.
Testi Consigliati:
1. A. Facchini: Algebra e matematica discreta, Decibel Zanichelli
2. G.M. Piacentini-Cattaneo: Algebra: un approccio algoritmico, Decibel Zanichelli
3. M.G. Bianchi, A. Gillio Introduzione alla matematica discreta McGraw-Hill
4. L. Di Martino, M.C. Tamburini: Appunti di Algebra, Città Studi, Milano
3