
This course has two equally important objectives. The first one is to acquaint students with the rigorous mathematical style in which modern mathematics is thought, written and spoken about. The vehicle to convey these essential skills is the concrete construction of the natural, integer and rational number system in rigorous fashion, whose mastery is the second objective of the course.


This course develops the foundations of the mathematical language that needs to be mastered in order to unlock the precise meaning of definitions and theorems in any branch of mathematics. This includes a systematic training in parsing and constructing proofs. These essential skills can only be learnt and appreciated by seeing them in action. To this end, this course starts from first principles in logic and builds on that to develop the construction of the natural, integer and rational number systems in a coherent and selfcontained manner. Mastering the material of this course requires a most serious effort but then rewards the successful student with a depth of understanding and skill that prepares the study of any branch of mathematics at master level.
The course runs for four weeks, with a workload of 14 academic hours per week. It covers the following key topics, each of which builds on the previous ones.
 Propositional logic and first order predicate logic
 Axiomatic set theory
 Relations and Maps
 Construction of natural, integer and rational numbers





Master Applied Mathematics 
  Required materialsRecommended materialsBookKevin Houston  How to Think Like a Mathematician
Paperback  Cambridge University Press, ISBN 9781292039329 

 Instructional modesTestsWritten exam with open questions


 