Collection of assignments for the course Programmeertheorie at the Universiteit van Amsterdam, 2014.