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
- Computational Linguistics and AI
In addition, the minor offers a selfstudy course as an introductory course on logic which is registered as Project Logic and Computation 1 (51221PLC3Y) and a number of general courses.
| Mathematics | ||||
| Course | Course code | #EC | Remark | |
| Axiomatic Set Theory | WI5122AXVE6Y | 6 | ||
| Introduction to Modal Logic | WI5122INML6Y | 6 | ||
| Mathematical Logic | 900368SCIY | 6 | Cannot be followed with Metalogic because of overlap | |
| Modules and Categories | WI5122MOCA6Y | 6 | ||
| Wiskundige logica | WI5122WILO6Y | 6 | ||
| Philosophy | ||||
| Course | Course code | #EC | Remark | |
| Intro. to the Philosophy of Mathematics | 136213086Y | 6 | ||
| Philosophy and AI |
136221206Y |
6 | ||
| Philosophical Logic | 900273HUMY | 6 | ||
| Logical analysis | 136221086Y | 6 | ||
| Philosophy of Language | 136221336Y | 6 | ||
|
Theoretical Computer Science |
||||
| Course | Course code | #EC | ||
| Algoritmen en Complexiteit | IN5062ALCO6Y | 6 | ||
| Automaten en Formele Talen | IN5062AUFT6Y | 6 | ||
| Introduction to Information Theory | WI5122ITSL6Y | 6 | ||
| Introduction to Quantum Computing | WI5122ITQC6Y | 6 | ||
| Moderne Cryptografie | IN5062MOCR6Y | 6 | ||
| Semantiek van functioneel programmeren | IN5062SEFP6Y | 6 | ||
| Computational Linguistics and Artificial Intelligence | ||||
| Course | Course code | #EC | ||
| Causality and Common Sense Reasoning | KI5082CCSR6Y | 6 | ||
| Computational Methods | 139222036Y | 6 | ||
| Computational Musicology | 115215146Y | 6 | ||
| Computationele logica | KI5082COLO6Y | 6 | ||
| Evolution of Language and Music | PB5102EVTM6Y | 6 | ||
| Foundations of Multi-Agent Systems | KI5082FMAS6Y | 6 | ||
| Language, Speech and Dialogue Processing | KI5082LSDP6Y | 6 | ||
| Law and Economics III: Digital Legal Studies | 3013DLQ0KY | 6 | ||
| Natuurlijke Taalmodellen en Interfaces | KI5082NTIT6Y | 6 | ||
| Taaltheorie en Taalverwerking | KI5082TATA6Y | 6 | special arrangement | |
| General programme | ||||
| Course | Course code | #EC | Remark | |
| Logic and Computability | 5082LOCO6Y | 6 | ||
| Logic and Computation: Metalogic | 5122LOCM6Y | 6 | Cannot be followed with Mathematical logic because of overlap | |
| Project Logic and Computation 1 | 51221PLC3Y | 3 | ||
| Project Logic and Computation 2 | 51222PLC6Y | 6 |
The final list of courses (including periods and course descriptions) can be found in the UvA course catalogue.