Wiskunde voor Algoritmen

Mathematics for Algorithms

Studiewijzer 2025/2026

Globale inhoud

In this course, students will learn about the fundamental mathematical structures underpinning Computer Science, namely sets, relations and functions. Moreover, students will become familiar with formal proof techniques, such as (strong) induction, and develop their skills in mathematical reasoning. The course will be accompanied by discussions of Computer Science applications of the structures and proof methods discussed, and will include the implementation of simple algorithms in pseudo-code. In the final part of the course, the notions learned will be used to analyse the time complexity of algorithms. 

Studiemateriaal

Syllabus

• The syllabus will be published in the Canvas page; slides of the lecture notes will be provided. 

Leerdoelen

• Students can explain the concepts of set, relation and function, and can use them to model situations and properties.
• Students can independently prove simple mathematical theorems using induction, and can write basic recursive algorithms in pseudocode.
• Students can compare sets based on their cardinality, and are familiar with the notions of countable and uncountable sets.
• Students can compute and compare the time and space complexity of simple algorithms.

Onderwijsvormen

• Hoorcollege
• Werkcollege
• Zelfstudie

Verdeling leeractiviteiten

Aanwezigheid

Aanwezigheidseisen opleiding (OER-B Artikel B-4.10):

• Voor sommige studieonderdelen geldt een aanwezigheidsplicht. Indien er een aanwezigheidsplicht geldt, dan staat dit aangegeven in de studiegids. De onderbouwing voor, en invulling van, deze aanwezigheidsplicht kan per vak verschillen, en is opgenomen in de studiewijzer. Wanneer studenten niet voldoen aan deze aanwezigheidsplicht kan het onderdeel niet met een voldoende worden afgerond.
  

Toetsing

The assessment for this course includes: 3 homework assignments, amounting to 30% of the final grade, quizzes, amounting to 10% of the final grade, and a final exam, amounting to 60% of the final grade. To pass the course, students will need to obtain at least 50 out of 100 points in the final exam. The resit replaces the grade of the final exam, and it is still worth 60% of the final grade. 

Inzage toetsing

For the homework and quizzes, feedback will be given via Speedgrader (Canvas). For the final exam, students will have the opportunity to have a look at their exam - a date will be communicated in due course. 

Opdrachten

The homework assignments and quizzes have to be made individually. Homework will be graded through Speedgrader by the teaching assistants; quizzes will be graded automatically. 

Fraude en plagiaat

Dit vak hanteert de algemene 'Fraude- en plagiaatregeling' van de UvA. Hier wordt nauwkeurig op gecontroleerd. Bij verdenking van fraude of plagiaat wordt de examencommissie van de opleiding ingeschakeld. Zie de Fraude- en plagiaatregeling van de UvA: http://student.uva.nl

Weekplanning

Contactinformatie

Coördinator

• dr. M. Girlando

Docenten

• Djoeke van Belle
• Lisa Douwes
• Storm Hartkamp
• Daan Heijke BSc
• Lois Lagerweij BSc
• dr. Thomas Loots