Logic Courses offered in NL
Please
let us know if you know of some that arenŐt on the list!
In
Utrecht
2011-2012:
Inleiding Logica, niveau 1, Vincent van Oostrom
http://www.phil.uu.nl/inleidinglogica/index.html
Grondslagen van de Wiskunde, niveau 3, Jaap van Oosten
http://www.staff.science.uu.nl/~ooste110/vakbeschrijvingen.html#grondslagen
Logische Complexiteit, niveau 3, Jeroen Goudsmit
Modale Logica voor AI, niveau 3, Jan Broersen
http://www.cs.uu.nl/education/vak.php?vak=INFOLAI&jaar=2010
Models of Computation, master, Clemens Grabmayer
http://www.phil.uu.nl/models-of-computation/
CS Pure Logic A, master, Albert Visser
Computability Theory, master, Jaap van Oosten
To
date no website known.
(see also http://www.staff.science.uu.nl/~ooste110/onderwijs.html)
For courses at the ILLC, please look here
In Nijmegen 2011-2012:
Logica I and II (bachelor level), Wim Veldman
Category Theory, Bart Jacobs
Automatic sequences, Wieb Bosma (offered in
Mastermath)
Groups in Action, Bernd Souvignier
Complexity theory, Bas Terwijn
(see also http://www.cs.ru.nl/theorymaster/
and http://www.math.ru.nl/%7Esouvi/Algebra/teaching.html)
In Groningen 2011-2012: