Logics and discrete mathematics (2012/2013)

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 4, 2013 al Jun 14, 2013.

Lesson timetable

II semestre
Day Time Type Place Note
Tuesday 10:30 AM - 1:30 PM lesson Lecture Hall Gino Tessari  
Thursday 11: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;
Structures: notable examples, monoids, semigroups, natural numbers, graphs;
The language of the first order: Tarski semantics, logical consequence;

Reference books
Author Title Publisher Year ISBN Note
Alberto Facchini Algebra e Matematica Discreta (Edizione 1) Edizioni Decibel/Zanichelli 2000 978-8808-09739-2
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007

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