The main objective of this course is the introduction of the fundamental notions of symbolic logic (syntax, semantics, deductive systems) and of discrete mathematics (sets, functions, graphs, trees, structures).
Part 1 (4CFU) Discrete Mathematics
Natural numbers and induction, applications and functions, relations, equivalences, partitions, orders, cardinality, finite, denumerable and not denumerable sets, (Cantor's theorem), ordering of the cardinals;
Graphs and trees, paths, Eulerian circuits, planar graphs and trees.
Part 2 (2CFU) Logic
Propositional language: propositions and connectives, truth tables, valuations;
| Author | Title | Publisher | Year | ISBN | Note |
| Alberto Facchini | Algebra e Matematica Discreta (Edizione 1) | Edizioni Decibel/Zanichelli | 2000 | 978-8808-09739-2 |
Written exam
Esame scritto:
L'esame si articola in due prove:
- prova n1 (non verbalizzante)
test a risposte multiple (20 domande) 1 punto per ogni risposta esatta, 0 punti per le risposte non date, -1 punto per ogni risposta errata. La prova n1 si considera superata se la sommatore a dei punti e' MAGGIORE O UGUALE a 10.
il SUPERAMENTO DELLA PROVA n1 è condizione necessaria e sufficiente per poter sostenere la prova n2.
La votazione ottenuta nella prova n1 non non contribuisce al voto finale.
- prova n2 (verbalizzante)
Esame scritto standard. Sei domande aperte. Ad ogni domanda viene attribuito il punteggio massimo di 6 punti.
Il voto finale è così attribuito:
Sia P il punteggio ottenuto nella prova n2
P < 18 : esame insuff.;
17 < P < 31 : voto = P
P > 30 : voto = 30 e Lode.
*** da studiare per l'esame*** insiemi infiniti
(pdf, it, 1136 KB, 08/04/14)
*** da studiare per l'esame*** i numeri interi e razionali
(pdf, it, 1688 KB, 08/04/14)
*** da studiare per l'esame*** i numeri naturali
(pdf, it, 132 KB, 08/04/14)
*** da studiare per l'esame *** Logica Proposizionale
(pdf, it, 1205 KB, 10/06/14)
lavagne 10 aprile
(pdf, it, 822 KB, 02/06/14)
lavagne 15 aprile
(pdf, it, 1093 KB, 02/06/14)
lavagne 18 marzo
(pdf, it, 1643 KB, 02/06/14)
lavagne 1 aprile
(pdf, it, 879 KB, 02/06/14)
lavagne 20 marzo
(pdf, it, 743 KB, 02/06/14)
lavagne 25 marzo
(pdf, it, 1119 KB, 02/06/14)
lavagne 3 aprile
(pdf, it, 897 KB, 02/06/14)
PROGRAMMA DETTAGLIATO
(pdf, it, 22 KB, 10/06/14)
traccia lezione 13-marzo
(pdf, it, 340 KB, 25/03/14)
traccia lezione 18-marzo
(pdf, it, 1643 KB, 25/03/14)
traccia lezione 20-marzo
(pdf, it, 743 KB, 25/03/14)
