The idea is that you should prepare the exercises at home, by yourself or with your group. If you have any questions, you can come to the exercise session and ask them to the assistants. (If you do not prepare in advance, there is little point in coming!)

You will be divided into groups (see below). The schedule for the groups looks like this:

1. Exercises week 1 (Sets and Functions), answers

2. Exercises week 2 (Logic), answers

3. Exercises week 3 (Induction), answers

4. Exercises week 4, we did all of the exercises from the first 3 weeks

5. Exercises week 5 (Arithmetic), answers

6. Exercises week 6 (Structural Induction), answers

7. Exercises week 7 (Graphs), answers

8. Exercises week 8 (Combinatorics, Exam)

Extra predikatlogik övningar, skriva och bevis (pdf)

-- Grupp 1 --
Noor Al-weli
Aleksandar Babunovic
Johan Berndtsson
Ken Bäcklund
Viktor Estling
Yvonne Hansson
Oshedhe Munasinghe

-- Grupp 2 --
Simon Georgsson
Carl Gunnarsson
Grim Persson Schjetne
Pontus Stjernström
Mikael Törnqvist
Jonathan Varvne
Robin Åstedt

-- Grupp 3 --
Jonatan Källman
Filip Labe
Kristian Mörling
Mikael Reichler
Alexander Sundberg
Christoffer Tornell
Erik Tydinger

-- Grupp 4 --
Philip Holst
Tim Jonasson
Carl Klittmar
Robert Käck
Klas Ludvigsson
Olle Persson
Henrik Qvarford
Jacob Torrång

-- Grupp 5 --
Oscar Amin
Daniel Beecham
Jonathan Carlberg
Anders Christiansson
Maria Martinsson
Josefin Svensson
Johanna Torbjörnsson

-- Grupp 6 --
Oscar Andersson
Nima Haghnegahdar
Eric Mossberg
Magnus Rönnberg
Zaid Saeed
Filip Wallden
Jonathan Örgård

-- Grupp 7 --
William Bjerehjelm
Hampus Blomdahl
Tobias Efraimsson
August Lennar
Kamil Miller
Alex Nitsche
William Dora

-- Grupp 8 --
Magnus Andersson
Mark Dela Cruz
David Lidell
Daniel Lindberg
Gustav Ro
Andreas Sjöberg
Erik Sjöström
Daniel Nicklasson

-- Grupp 9 --
Robin Bengtsson
Simon Ceder
Sam Faint
Robin Kemppainen
Olof Magnusson
Jesper Persson
Anton Svaren