logo-ozsl.gif

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

            http://www.phil.uu.nl/logcom/

 

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

            https://www.osiris.universiteitutrecht.nl/osistu_ospr/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2010&cursus=wbma3037

 

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:

 

 

 

 

 

 

Main page