Logics and discrete mathematics (2013/2014)

Course code
4S000018
Name of lecturer
Andrea Masini
Coordinator
Andrea Masini
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
II semestre dal Mar 3, 2014 al Jun 13, 2014.

Lesson timetable

II semestre
Day Time Type Place Note
Tuesday 10:30 AM - 1:30 PM lesson Lecture Hall D  
Thursday 10:30 AM - 1:30 PM lesson Lecture Hall A  

Learning outcomes

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).

Syllabus

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;

Reference books
Author Title Publisher Year ISBN Note
Alberto Facchini Algebra e Matematica Discreta (Edizione 1) Edizioni Decibel/Zanichelli 2000 978-8808-09739-2

Assessment methods and criteria

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.

Teaching aids

Documents