Netherlands, Maastricht

Introduction to Logical Reasoning (& abstract mathematics)

when 21 August 2017 - 25 August 2017
language English
duration 1 week
credits 2 EC
fee EUR 600

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.

Course leader

Pierfrancesco Guarino

Course aim

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.

Fee info

EUR 600: Course

Scholarships

Not offered