The main objective of this course is the introduction of the very basic notions of symbolic logic (syntax, semantics, deductive systems)
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
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.