The main goal of the minor is to offer students:

  1. 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.
  2. 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.

The programme consists of 30 EC, chosen from the courses below, organised according to four themes:
Mathematics, Philosophy, Theoretical Computer Science and Computational Linguistics and AI




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
Logische analyse

Theoretical Computer Science

Automaten en formele talen
Modern  cryptography
Algoritmen en Complexiteit
Introduction to Quantum Computing
Theoretische aspecten van programmatuur

Computational Linguistics and AI

Computational Methods
Computational logic
Evolutionary Game Theory
Foundations of Multi-Agent systems
Speech recognition
Conceptional Spaces
Computational Musicology

The final list of courses (including periods and course descriptions) can be found in the UvA course.