Contents of these pages:
- What is Logic?
- Am I interested in Logic?
- Which are the important topics in Logic?
- Which courses are available?
- Themes for research and theses
- Further perspectives
Prerequisites for a Logic specialization
If you want to study Logic as part of a Master's program in Mathematics, you need to be admitted
to this program; see
here for details.
Usually, you will have completed a Bachelor in Mathematics. We assume that you have followed at least one
introductory course in Logic, such as the course Foundations of Mathematics offered at this Department.
You can get an idea of the contents of this course
here.
In addition it is helpful if you have done some abstract algebra and topology during your Bachelor.
The courses are, however, open to students from other curricula too, and could be interesting to
people from AI, Computer Science, Philosophy, and Physics. Consult your own master program advisor about
incorporating our courses into your program.