LOGICA MATEMATICA
Canale E-O
C. Malvenuto, D.A. Gewurz

TESTI DI RIFERIMENTO


Programma del corso
Torna alla Pagina Principale

Testi adottati indispensabili ai fini dell'esame:

1. Insiemi, numeri e polinomi, di M.Fontana e S.Gabelli, ed. CISU
2. Logica Matematica per l'Informatica, di M.Ben-Ari, ed. UTET Universita'
3. Note ed esercizi per il canale E-O.


Ulteriori riferimenti:

1. Algebretta. di B.Scimemi, ed. Decibel/Zanichelli
2. Gruppi, di B.Scimemi, ed. Decibel Zanichelli  (cap. 1,2,3)
3. Theory and problems of Set Theory and related topics, di S.Lipschutz, ed. Schaum
4. Teoria degli insiemi da un punto di vista elementare, di Paul Halmos, ed. Feltrinelli
5. Logica per Informatica, di A. Asperti e A. Ciabattoni, Ed. McGraw-Hill
6. Dispense del Prof. Lolli
7. Dispense adottate dagli altri canali.


Nota bene

Tutti i testi su elencati si trovano e sono consultabili sia nella Biblioteca di Matematica (Istituto Guido Castelnuovo) che nella Biblioteca di Informatica (Via Salaria, 113).
Chi avesse difficoltà a scaricare gli esercizi in rete, oppure a reperire i testi, può rivolgersi a C.Malvenuto nel suo orario di ricevimento per poterli fotocopiare.