Literature

Course notes

For the part that is borrowed from 'Formal Reasoning' we use course notes. For the part that is borrowed from 'Combinatorics' we use a book.- Herman Geuvers, Henk Barendregt, Bas Spitters, Engelbert Hubbers, Freek Wiedijk: Formal Reasoning, version 2016, here available as PDF.
- Formal Reasoning Exercises, version 2016, here available as PDF.
- Kenneth H. Rosen: Discrete Mathematics and Its Applications,
*Global edition, Seventh Edition, ISBN 978-0-07-131501-2*.

Website Formal Reasoning

On www.cs.ru.nl/~freek/courses/fd-2016 you can find a detailed schedule for that course. In the schedule it is explicitly stated what will be discussed each lesson.Slides

In the part from 'Combinatorics' slides will be used. They will become available in Blackboard after the lectures.