Informazioni di Algebra E Logica

Dipartimento: Ingegneria
Settore Ministeriale: MAT/01
Codice di verbalizzazione: 8039109
Metodi di insegnamento: Frontale
Metodi di valutazione: Scritto E Orale
Prerequisiti: Non sono richiesti prerequisiti particolari, salvo una buona conoscenza della lingua italiana.
Obiettivi: Insiemi, sottoinsiemi e operazioni tra di essi. Insieme delle parti di un insieme; partizioni. Corrispondenze, relazioni, funzioni; funzioni iniettive, suriettive, invertibili. Insiemi con operazioni. Cardinalita`. Principio di induzione matematica. Funzioni ricorsive. Elementi di calcolo combinatorio. Relazioni in un insieme. Relazioni di equivalenza, classi di equivalenza; equivalenze vs. partizioni. Relazioni d'ordine; diagramma di Hasse, elementi speciali. Aritmetica sui numeri interi; algoritmo euclideo per il MCD, identita` di Bezout; Teorema Fondamentale dell'Aritmetica. Congruenze e sistemi di congruenze. Aritmetica modulare. Equazioni alle congruenze; sistemi di congruenze. Reticoli. Algebre di Boole. Espressioni booleane. Forme canoniche, forme minimali; metodo del consenso. Equazioni alle differenze finite.
Ricevimento: per appuntamento

Navigazione Utente: