english English
italiano Italiano
Visitatore Visitatore
Torna alla Home Homepage...

Info Generali:

  • Dipartimento: Ingegneria
  • Tipologia: Corso Di Laurea Dm.270/04
  • Corso di Laurea: Ingegneria Informatica
  • 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 Didattica:

  • A.A.: 2012/2013
  • Canale: UNICO
  • Crediti (CFU): 6
  • Obbligo di Frequenza: No
  • Data Inizio Lezioni: 03/10/2012
  • Data Fine Lezioni: 31/01/2013