Generali:
- 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
Didattica:
- A.A.: 2012/2013
- Canale: UNICO
- Crediti: 6
- Data Inizio Lezioni: 03/10/2012
- Data Fine Lezioni: 31/01/2013