Teaching

Recent and current courses

4480128501_0500b80d6d2
  • 1752833-L

    Capita Selecta Artificial Intelligence and Cognitive Science,
    Semester II b of the year 2010-2011, together with Sujata Ghosh and Jakub Szymanik.
    This year, the course was based on fourth edition of the book Games and Information: An Introduction to Game Theory by E. Rasmusen.

  • Epistemic-Logic-for-AI-and-Computer-Science-9780521602808

    Multi-agent Systems. I teach this subject every year, in the past a few years together with Elske van der Vaart and later together with Barteld Kooi. We use the book Epistemic Logic for AI and Computer Science by John-Jules Meyer and Wiebe van der Hoek. 

    The permanent page for the course is http://www.ai.rug.nl/mas/
    Each year, particpants have access to current information about the course by logging in through Nestor.

  • Graham Priest

    Advanced Logic. I teach this subject every year, mainly to second and third year Bachelor students of Mathematics and Artificial Intelligence. We use the book Introduction to Non-Classical Logic: From Ifs to Is by Graham Priest.

  • Language proof and logic

    Introduction to Logic. I teach this subject every year, mainly to first year Bachelor students of Mathematics and Artificial Intelligence. We use the book Language, Proof and Logic by Jon Barwise, John Etchemendy and colleagues.

  • tlg5

    Games, Action and Social Software. Introductory PhD Course at ESSLLI 2009 in Toulouse, taught together with Jan van Eijck.
    Slides and other information for the course: http://homepages.cwi.nl/~jve/courses/esslli09/

    We used the book Discourses on Social Software edited by Jan van Eijck and Rineke Verbrugge.

Rineke Verbrugge 2023