- An intensive introduction to the formal techniques used in logic and related areas in order to analyze the truth and complexity of information, to draw correct conclusions, to design strategies, to construct computational models, to build (counter)-arguments and to reason about uncertainty.
- Illustrations of the applications of these techniques in the investigation of foundational issues in mathematics and computer science and in the definition of predictive models for phenomena of various nature including linguistic meanings, music cognition and phenomena of social interactions.
Mathematical logic (cannot be followed with MetaLogic because of overlap)
Introduction to Modal Logic
Axiomatic Set Theory
Modulen en Categoriën
Metalogic (cannot be followed with Mathematical Logic because of overlap)
Introduction to the Philosophy of Mathematics
Logic and Society
Theoretical Computer Science
Automaten en formele talen
Algoritmen en Complexiteit
Introduction to Quantum Computing
Theoretische aspecten van programmatuur
Computational Linguistics and AI
Evolutionary Game Theory
Foundations of Multi-Agent systems
The final list of courses (including periods and course descriptions) can be found in the UvA course.