Some really basic notions of set theory and algebra.
The course aims at training how to reason and fomalize mathematical concepts. On the technical side the corse offers a short introduction to propositional and predicate logic.
The course is about some basic concepts in mathematical logic, with an introduction to propositional calculus and first order logic.
Class notes written by the teacher will be available.
There will be lectures about the general theory and exercises. The teacher will do his best to encourage the students to participate actively. Since single students are often reluctant to do exercises alone, we will encourage working in groups.
Besides the usual final oral examination (with both theoretical questions and exercises), there will be tests during the course. These are not mandatory, but if worked out successfully they will contribute to the final evaluation.