IO-pup

Corso di Laurea Triennale in
MOV-ICOSAEDRO   "Ingegneria Informatica"   MOV-ICOSAEDRO

Materiale didattico per il corso di

  ALGEBRA e LOGICA  
a.a. 2012-13, 2013-14, 2014-15, 2016-17

MOV-KNOT   Docente:   Fabio Gavarini   MOV-KNOT

IO-pup






PROGRAMMA

     
bullet               bullet               bullet
     
  TESTI consigliati (complessivamente contengono, sostanzialmente, tutto il materiale trattato nel corso, con numerosi esempi ed esercizi, anche svolti) :
      bullet               bullet               bullet      

  MATERIALE AUDIO-VIDEO:    
      bullet               bullet               bullet      

  COMPITI d'ESAME:     NEW 22 Settembre 2017 (con svolgimento)   -   NEW 5 Settembre 2017 (con soluzioni)   -   18 Luglio 2017 (con svolgimento)   -   5 Luglio 2017 (con svolgimento)   -   21 Febbraio 2017   -   2 Febbraio 2017 (con svolgimento)   -   18 Settembre 2015   -   4 Settembre 2015   -   15 Luglio 2015   -   3 Luglio 2015   -   23 Febbraio 2015 (con soluzioni)   -   9 Febbraio 2015 (con soluzioni)   -   18 Settembre 2014 (con soluzioni)   -   2 Settembre 2014 (con soluzioni)   -   16 Luglio 2014 (con soluzioni)   -   4 Luglio 2014 (con soluzioni)   -   18 Febbraio 2014   -   3 Febbraio 2014   -   13 Settembre 2013   -   5 Settembre 2013   -   19 Luglio 2013   -   5 Luglio 2013   -   14 Febbraio 2013   -   4 Febbraio 2013

      bullet               bullet               bullet      

  DISPENSE (a cura di L. Geatti e G. Pareschi):     Alfabeto greco   -   Insiemi   -   Funzioni e cardinalità   -   Induzione   -   Relazioni - 1   -   Relazioni - 2   -   Aritmetica sugli interi, congruenze, Teorema Cinese del Resto   -   Aritmetica sugli interi, etc. (complementi)   -   Gruppi, anelli, campi   -   Reticoli   -   Algebre di Boole   -   Funzioni booleane   -   Forme minimali di una funzione polinomiale   -   Equazioni alle differenze finite (cenni)

      bullet               bullet               bullet      

  ESERCIZI (Gavarini):     Insiemi, funzioni, relazioni   -   Induzione, scrittura posizionale (=numerazione in base arbitraria)   -   Scrittura posizionale, M.C.D., equazioni diofantee   -   Equazioni diofantee, congruenziali, modulari; aritmetica modulare   -   Insiemi ordinati, Reticoli   -   Reticoli, Algebre di Boole   -   Polinomi booleani   -   Funzioni ricorsive


  ESERCIZI (Geatti & Pareschi):     Insiemi, operazioni sugli insiemi, funzioni   -   Cardinalità, principio di induzione   -   Relazioni, relazioni di equivalenza   -   Relazioni, relazioni d'ordine   -   M.C.D., algoritmo di Euclide, equazioni lineari a coefficienti interi   -   Congruenze e sistemi di congruenze   -   Somma e prodotto in Zn , aritmetica modulare   -   Gruppi e applicazioni   -   Mix su insiemi, relazioni, aritmetica modulare   -   Reticoli   -   Algebre di Boole   -   Espressioni booleane   -   Logica Matematica   -   Equazioni alle differenze finite

      bullet               bullet               bullet      

  ESERCIZI SVOLTI (Geatti & Pareschi):     Insiemi, cardinalità, induzione, funzioni ricorsive (testo, soluzioni)   -   Relazioni (testo, soluzioni)   -   Aritmetica sugli interi, congruenze (testo, soluzioni)   -   Gruppi, anelli e campi (testo, soluzioni)   -   Reticoli (testo, soluzioni)   -   Algebre di Boole (testo, soluzioni)   -   Logica Matematica (testo, soluzioni)

      bullet               bullet               bullet      

  ALTRO MATERIALE disponibile in rete (per gentile concessione degli autori):     materiale didattico per il corso di "Matematica Discreta" (Gavarini)   -   dispense (Campanella)   -   esercizi (Campanella)   -   dispense (Caranti)   -   Numeri naturali (D'Andrea)   -   Cardinalità (D'Andrea)   -   Numeri interi (D'Andrea)   -   Congruenze, aritmetica modulare (D'Andrea)   -   lezioni, esercitazioni, prove di valutazione, ecc. (Fontana)   -   esercitazioni, prove d'esame, ecc. (Tartarone)


      bullet                   bullet               bullet               bullet                   bullet      

ALTRI SITI UTILI






( inizio pagina )

Ultimo aggiornamento:   23 Settembre 2017   -   Fabio Gavarini