25 August 2017
Introduction to Logical Reasoning (& abstract mathematics)
This course is an intensive introduction to logical reasoning. The explicit goals of the course are to learn how to evaluate arguments and, as a consequence, to learn how to construct sound arguments. This will be achieved by covering propositional and predicate logic, and by introducing the basics of set theory as a guiding tool in evaluating and performing arguments. The power of these tools lies in the fact that they are abstract tools, hence can be applied to any topic, which greatly broadens the audience that could find this course useful. Moreover, for those who are explicitly interested in making the crucial step from the computational side of mathematics to the more proof-oriented side, we will essentially teach how to read and write mathematical proofs.
The goals of the course coordinator are:
– to teach how to evaluate arguments;
– to teach how to construct sound arguments;
– to teach how to read and write mathematical proofs;
– to teach mathematical conventions.
From a technical standpoint this will be achieved by covering propositional and predicate logic, and by introducing the students to the basic of set theory as a guiding tool in evaluating and performing arguments.
EUR 600: Course