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 several courses, organised according to four themes:
- Mathematics
- Philosophy
- Theoretical Computer Science
- Computational Linguistics and AI
In addition, the minor offers a self-study Introduction to Logic course (mandatory for students without logic background) and the possibility to do individual or group research projects under the supervision of an ILLC researcher.
Below is a list of representative courses. The complete list of courses offered in the current academic year (including periods and course descriptions) can be found in the UvA course catalogue.
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. Only accessible to Honour students. | |
Modules and Categories | WI5122MOCA6Y | 6 | ||
Wiskundige logica | WI5122WILO6Y | 6 | ||
Philosophy |
||||
Course | Course code | #EC | Remark | |
Introduction to the Philosophy of Mathematics | 136213086Y | 6 | Not offered every year | |
Embodied Cognition | 136213126Y | 6 | ||
Language and Cognition | 136213116Y | 6 | ||
Philosophy and AI |
136221206Y |
6 | Not offered every year | |
Philosophical Logic | 900273HUMY | 6 | Only for honour students | |
Logical Analysis | 136221086Y | 6 | ||
Logic and Society | 136213136Y | 6 | Not offered every year | |
Philosophy of Language | 136221336Y | 6 | Not offered every year | |
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 | ||
Theory of Functional Programming | 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 Computation: Introduction to Logic | 5122LCIT3Y | 3 | Mandatory for students without logic background | |
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 |