Matematica Discreta
Da InformaWiki.
| Matematica Discreta | |
|---|---|
| Sigla Corso: | MD |
| Nome Docente/i: | Mauro Di Nasso Francesco Paolo Di Stefano Francesca Acquistapace Giovanni Gaiffi |
| Corso di laurea: | Informatica |
| Anno di corso: | 1 |
| Home page del corso: | Corso A Corso B |
Indice |
Programma
- Prime nozioni di logica proposizionale e tecniche di dimostrazione
- Insiemi, relazioni, funzioni
- Principio di induzione e definizioni per ricorrenza
- Il concetto di cardinalita' e nozioni di calcolo combinatorio
- Aritmetica e congruenze
- Numeri complessi
- Fattorizzazione negli anelli di polinomi sui numeri reali e complessi (e cenni al caso razionale)
- Spazi vettoriali e basi
- Sistemi lineari e loro intepretazione geometrica
- Prodotti scalari
- Operazioni su matrici e determinanti
- Risoluzione di sistemi lineari
- Polinomio caratteristico e criteri di diagonalizzabilita' di operatori lineari
Bibliografia
Per la prima parte del corso:
- Appunti del docente, scaricabili dalla pagina web del docente.
- Kenneth H. Rosen, Discrete Mathematics and its Applications, McGraw-Hill.
- Peter J. Eccles, An Introduction to mathematical Reasoning. Cambridge University Press 1997.
- Fabio Bellissima e Franco Montagna, Matematica per l'informatica, Carocci.
- LindsayChilds, Algebra: una introduzione concreta, ETS.
Per la seconda parte del corso:
- M. Abate, Algebra Lineare, McGraw-Hill.
Approfondimenti
Modalità di esame
Scritto e orale.
Materiale aggiuntivo
Registro delle lezioni
Registro delle lezioni A.A.2009-2010
