MATEMATICA DISCRETA

Informatica MATEMATICA DISCRETA

0512100040
DIPARTIMENTO DI INFORMATICA
CORSO DI LAUREA
INFORMATICA
2017/2018

OBBLIGATORIO
ANNO CORSO 1
ANNO ORDINAMENTO 2017
PRIMO SEMESTRE
CFUOREATTIVITÀ
648LEZIONE
324ESERCITAZIONE


Obiettivi
CONOSCENZA E CAPACITÀ DI COMPRENSIONE
IL CORSO INTENDE FORNIRE LE NOZIONI DI BASE DELLE STRUTTURE DISCRETE, IN MODO CONCISO E ADATTO ALLE APPLICAZIONI, ABITUANDO LO STUDENTE A FORMALIZZARE CORRETTAMENTE I PROBLEMI ED A RAGIONARE IN MODO RIGOROSO.
CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE
OBIETTIVO DEL CORSO È ANCHE QUELLO DI RENDERE LO STUDENTE CAPACE DI RISOLVERE SEMPLICI PROBLEMI ED ESERCIZI APPLICANDO LE CONOSCENZE TEORICHE ACQUISITE. IN PARTICOLARE LO STUDENTE DOVRÀ ESSERE IN GRADO DI EFFETTUARE OPERAZIONI SU INSIEMI E SU MATRICI, INDIVIDUARE CORRISPONDENZE, APPLICAZIONI, ORDINAMENTI E RETICOLI, RELAZIONI DI EQUIVALENZA, PARTIZIONI, STRUTTURE ALGEBRICHE E SOTTOSTRUTTURE, UTILIZZARE L'ALGORITMO EUCLIDEO E IL PRINCIPIO DI INDUZIONE, RISOLVERE SISTEMI DI EQUAZIONI LINEARI E CONGRUENZIALI, DETERMINARE BASI E DIMENSIONE DI UNO SPAZIO VETTORIALE, EQUAZIONI PARAMETRICHE E CARTESIANE DI RETTE E PIANI NELLO SPAZIO EUCLIDEO.
Prerequisiti
È RICHIESTA LA CONOSCENZA DEGLI ARGOMENTI DI BASE DI MATEMATICA TRATTATI NEI CORSI DI SCUOLA MEDIA SUPERIORE.
Contenuti
(PROGRAMMA PREVISTO) INSIEMI. OPERAZIONI SUGLI INSIEMI: UNIONE, INTERSEZIONE, DIFFERENZA, DIFFERENZA SIMMETRICA, PRODOTTO CARTESIANO. INSIEME DELLE PARTI DI UN INSIEME. PARTIZIONI DI UN INSIEME. CORRISPONDENZE E APPLICAZIONI. IMMAGINI E CONTROIMMAGINI. APPLICAZIONI INIETTIVE, SURIETTIVE, BIETTIVE. APPLICAZIONI COMPOSTE. INVERSA DI UNA APPLICAZIONE BIETTIVA. RELAZIONI DI EQUIVALENZA. CLASSI DI EQUIVALENZA. INSIEME QUOZIENTE. TEOREMA FONDAMENTALE. NUMERI NATURALI E NUMERI INTERI. IL PRINCIPIO DI INDUZIONE. DIVISIBILITÀ. LA DIVISIONE EUCLIDEA. RAPPRESENTAZIONE DEI NUMERI NATURALI IN BASE FISSATA. NUMERI PRIMI. TEOREMA FONDAMENTALE DELL'ARITMETICA. TEOREMA DI EUCLIDE SULL'ESISTENZA DI INFINITI NUMERI PRIMI. IL MASSIMO COMUNE DIVISORE E IL MINIMO COMUNE MULTIPLO. L'ALGORITMO EUCLIDEO DELLE DIVISIONI SUCCESSIVE. IL TEOREMA DI BÉZOUT. CONGRUENZE TRA INTERI. EQUAZIONI CONGRUENZIALI LINEARI. IL TEOREMA CINESE DEL RESTO. MATRICI. OPERAZIONI SULLE MATRICI: SOMMA, PRODOTTO PER UNO SCALARE, PRODOTTO RIGHE PER COLONNE, POTENZE. MATRICE TRASPOSTA. MATRICI A SCALA E MATRICI EQUIVALENTI. MATRICI TRIANGOLARI. MATRICI INVERTIBILI. DETERMINANTE DI UNA MATRICE QUADRATA E SUE PROPRIETÀ NOTEVOLI. TEOREMA DI BINET. CALCOLO DELLA MATRICE INVERSA DI UNA MATRICE INVERTIBILE. RANGO DI UNA MATRICE. STRUTTURE ALGEBRICHE. OPERAZIONI INTERNE IN UN INSIEME. TAVOLA DI MOLTIPLICAZIONE. SOTTOINSIEMI STABILI E OPERAZIONE INDOTTA. OPERAZIONI ASSOCIATIVE. OPERAZIONI COMMUTATIVE. ELEMENTO NEUTRO. ELEMENTI INVERTIBILI. OMOMORFISMI. GENERALITÀ SU SEMIGRUPPI, MONOIDI, GRUPPI. IL GRUPPO DEGLI ELEMENTI INVERTIBILI DI UN MONOIDE. ARITMETICA MODULO M. GENERALITÀ SU ANELLI, DOMINI DI INTEGRITÀ, CAMPI. SPAZI VETTORIALI. SOTTOSPAZI E GENERATORI. DIPENDENZA LINEARE, BASI E DIMENSIONE. APPLICAZIONI LINEARI. SPAZI VETTORIALI ISOMORFI. SISTEMI DI EQUAZIONI LINEARI. GENERALITÀ E METODI DI RISOLUZIONE DI CRAMER E DI GAUSS-JORDAN. TEOREMA DI ROUCHÉ-CAPELLI.
DIAGONALIZZAZIONE DI UNA MATRICE QUADRATA. AUTOVALORI E AUTOVETTORI DI UNA MATRICE QUADRATA. AUTOSPAZI. MATRICI SIMILI. MATRICI DIAGONALIZZABILI. ELEMENTI DI CALCOLO COMBINATORIO. IL PRINCIPIO DI ADDIZIONE. IL PRINCIPIO DI INCLUSIONE-ESCLUSIONE. IL PRINCIPIO DI MOLTIPLICAZIONE. FATTORIALE DI UN NUMERO NATURALE. COEFFICIENTI BINOMIALI. DISPOSIZIONI. DISPOSIZIONI CON RIPETIZIONI. PERMUTAZIONI. PERMUTAZIONI CON RIPETIZIONI. COMBINAZIONI. RELAZIONI D'ORDINE. ELEMENTI MINIMALI E MASSIMALI. MINIMO E MASSIMO. MINORANTI E MAGGIORANTI. ESTREMO INFERIORE ED ESTREMO SUPERIORE. DIAGRAMMI DI HASSE. INSIEMI TOTALMENTE ORDINATI. INSIEMI BENE ORDINATI. SOTTOINSIEMI DI UN INSIEME ORDINATO E ORDINE INDOTTO. RETICOLI. IL RETICOLO DELLE PARTI DI UN INSIEME. IL RETICOLO DEI NUMERI NATURALI. SOTTORETICOLI. RETICOLI DISTRIBUTIVI. RETICOLI COMPLEMENTATI. RETICOLI BOOLEANI. ELEMENTI DI GEOMETRIA ANALITICA NEL PIANO E NELLO SPAZIO. VETTORI APPLICATI E OPERAZIONI. RIFERIMENTI AFFINI. EQUAZIONI PARAMETRICHE E CARTESIANE DELLA RETTA NEL PIANO E NELLO SPAZIO. EQUAZIONI PARAMETRICHE E CARTESIANE DEL PIANO NELLO SPAZIO. CONDIZIONI DI PARALLELISMO E DI INCIDENZA.
Metodi Didattici
L'INSEGNAMENTO PREVEDE UNA PARTE DI LEZIONI DI CARATTERE TEORICO FINALIZZATE ALL’APPRENDIMENTO DELLE NOZIONI DI BASE OGGETTO DEL CORSO E DELLE VARIE TECNICHE DIMOSTRATIVE UTILIZZATE, E UNA PARTE DI LEZIONI DI TIPO ESERCITATIVO IN CUI SI ILLUSTRERÀ IN CHE MODO LE CONOSCENZE TEORICHE ACQUISITE POSSANO ESSERE UTILIZZATE AL FINE DI RISOLVERE SEMPLICI PROBLEMI.
Verifica dell'apprendimento
L'ESAME CONSISTE DI UNA PROVA SCRITTA, SUPERATA LA QUALE SI ACCEDE AD UNA PROVA ORALE OBBLIGATORIA.
I PUNTEGGI VALIDI PER SUPERARE LO SCRITTO VANNO DAL 18 AL 30 E LODE. GLI STESSI PUNTEGGI SONO NECESSARI PER PASSARE L'ESAME.

DURANTE LE PROVE DI ESAME SARANNO VALUTATE SIA LA CONOSCENZA DEGLI ARGOMENTI E DELLE TECNICHE OGGETTO DELLE LEZIONI, CHE LA CAPACITÀ DI APPLICARLE PER LA RISOLUZIONE DI SEMPLICI PROBLEMI.
Testi
G. VINCENZI, ALGEBRA PER INFORMATICA, ARACNE 2015



C. DELIZIA, P. LONGOBARDI, M. MAJ AND C. NICOTERA, MATEMATICA DISCRETA, MCGRAW-HILL, 2009
Altre Informazioni
CONTATTARE IL DOCENTE GILENZI@UNISA.IT
  BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2019-05-14]