# Discrete Mathematics (2014/2015)

Course code
4S003183
Name of lecturer
Andrea Masini
Coordinator
Andrea Masini
Number of ECTS credits allocated
6
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
II sem. dal Mar 2, 2015 al Jun 12, 2015.

#### Lesson timetable

II sem.
Day Time Type Place Note
Tuesday 10:30 AM - 1:30 PM lesson Lecture Hall Gino Tessari
Thursday 10:30 AM - 1:30 PM lesson Lecture Hall Gino Tessari

#### Learning outcomes

The main objective of this course is the introduction of the very basic notions of symbolic logic (syntax, semantics, deductive systems)

#### Syllabus

i) Naive set theory, order relations and equivalence relations
ii) The natural numbers (axiomatic definition) and definitions by primitive recursion.
iii) The syntax and semantics of propositional logic,
iv) natural deduction for propositional logic;
v) soundness and completeness of the system of natural deduction;
vi) Syntax and Semantics
vii) natural deduction for first order logic;
viii) soundness and completeness of the system of natural deduction; ix) first order formalization

#### Assessment methods and criteria

Written exam:
The examination consists of two tests:
- Test n1
multiple choice test (20 questions 1 point for each correct answer, 0 points for no response is given, -1 for each wrong answer. N1 The test is passed if the sum of the points and 'GREATER THAN OR EQUAL to 10.
Getting through of THE TEST n1 is the necessary and sufficient condition to be able to withstand the test n2.
The vote obtained in the test N1 does not contribute to the final grade.

- Test n2
Written standard exam: open questions. For each question is assigned the maximum score of 6 points.

The final grade is so allocated:
Let P be the score obtained in the test n2
P <18: Insufficient examination .;
17 <P <31: vote = P
P> 30: grade = 30 e Lode.

Documents