Logo Department of Mathematics, Utrecht University
Intern
Home > Research > Logic > Courses >

Which courses are available?

The teaching of Logic in the Master Mathematical Sciences is organized as follows. Every year in the first semester (periods 1 and 2) there is a course "Advanced topics in Logic". In this course, two topics will be treated in some depth. These may come from this list, but there are other possibilities. In the fall of 2005, the topics are Gödel Incompleteness and Model Theory.
The idea is, that the topics will vary from year to year, so by following this course twice, the student gains knowledge of four parts of Logic.

Apart from this course, in the second semester, a student seminar is organized. A student seminar means that students in turn study a section of material independently, and present it to the others. In the past, student seminars have been held on Intuitionism (see this page in Dutch), Algebraic results in Model Theory (page in Dutch), Proof Theory. In the spring of 2006, a student seminar will be held on Categorical Logic.

After having taken a number of these courses, you can then write a master thesis under the guidance of one of the teachers

.

Who are the teachers?

The teachers in Logic are Ieke Moerdijk, Jaap van Oosten and Andreas Weiermann.

 
P.O.box 80010, NL-3508 TA Utrecht, The Netherlands, telephone +31 30 253 1430, fax +31 30 251 8394, e-mail department@math.uu.nl
   Webmaster: webmaster@math.uu.nl     Last modified: Wednesday 04 Apr 2007
xhtml   css