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.
Courses
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 |
Projects Logic and Computation
Each January and June (the third block of each semester, which is free of regular taught courses), students of the Minor Logic and Computation can conduct individual or group projects under the supervision of an ILLC researcher. Projects can have different formats and purposes, e.g., an internship in one of the ILLC research groups; a reading group exploring recent developments in the Logic, Language and Computation area; or a supervised self-study (followed by an exam) designed to fill a gap in the background of a student or covering an advanced topic not addressed in a regular taught course.
There are generally two options for LoCo projects:
(i) Individual project organised by the students themselves, which involves (i) choosing a topic; (ii) finding a supervisor among the staff member of ILLC (typically a lecturer of one of the courses you have followed this semester);
(ii) Coordinated projects organised by ILLC for MSc Logic students (special permission from the instructors required). Please have a look at the list of current projects offered at ILLC:
https://msclogic.illc.uva.nl/current-students/courses/projects/