# Programme

The main goal of the minor is to offer students:

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

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

#### Courses

*Mathematics*

Mathematical logic (cannot be followed with MetaLogic because of overlap)

Introduction to Modal Logic

Axiomatic Set Theory

Modulen en CategoriĆ«n

*Philosophy*

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.