Sei sulla pagina 1di 3

Programma del corso

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

5. Monoidi, gruppi, anelli e campi


Leggi di composizione interne. Monoidi e principali propriet`a. Gruppi e
relative propriet`a. Esempi fondamentali: (Z, +), (Q, +), (R, +), (Q , ),
(R , ), (Sn , ). Operazioni indotte su Zn : il gruppo (Zn , +), il monoide
(Zn , ). Caratterizzazione degli elementi invertibili di Zn . Il gruppo (Zp , ),
con p primo. Sottogruppi e caratterizzazioni. Il sottogruppo An di Sn costituito dalle permutazioni di classe pari. Sottogruppo ciclico generato da
un elemento. 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`a. Divisori dello zero, elementi unitari e propriet`a
relative. Gli anelli (Z, +, ), (Zn , +, ). Definizione di campo e principali
propriet`a. I campi: (Q, +, ), (R, +, ), (Zp , +, ) (con p primo). Introduzione
del campo (C, +, ) dei numeri complessi. Coniugato e modulo di un numero
compleso e principali propriet`a.
6. Matrici e sistemi lineari su un campo K
Matrici ed operazioni tra matrici. Matrici triangolari e diagonali. Matrici invertibili. Determinante di una matrice quadrata e relative propriet`a. Caratterizzazione delle matrici invertibili. Algoritmo per la determinazione della
matrice inversa. Metodo di eliminazione di Gauss-Jordan. Rango di una
matrice. Utilizzo del Metodo di eliminazione di Gauss-Jordan per il calcolo
della matrice inversa e per il calcolo del rango di una matrice. Gruppi di
matrici: (GL(n, K), ) e (Mn,m (K), +). Sistemi lineari. Teorema di Cramer.
Teorema di Rouche-Capelli. Metodo di eliminazione di Gauss-Jordan per la
soluzione di sistemi lineari.

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

Potrebbero piacerti anche