This page is old and not updated anymore. For recent information
on teaching in logic see the
new page.
Tämä sivu on vanha eikä sitä enää ylläpidetä. Viimeisimmät tiedot
logiikan opetuksesta löytyvät
uudelta sivulta.
Denna sida är gammal och uppdateras inte mera. Aktuell information
om undervisningen i logik finns på den
den nya sidan.
Logic Courses
This page exists in Finnish and in
English.
Fall term 2004:
Seminars fall term 2004:
Logic seminar
Docent Tapani Hyttinen
and Professor Jouko Väänänen
wed 12-14 C124
Finite model theory seminar
Docent Kerkko Luosto
fri 12-14 C123
Set theory laboratory
Ph.D. Aapo Halko
fri 12-14 C123
Spring term 2004:
Logic I (Finnish)
Docent Tapani Hyttinen
tue 14-16, thu 12-14, PII
Model Theory
Ph.D. Juliette Kennedy
fri 10-12
Recursion Theory (Finnish)
Docent Taneli Huuskonen
tue 10-12, wed 10-12, SIII
On games and models
Prof. Jouko Väänänen
tue 14-16 SIII, thu 10-12 SI
Fall term 2003:
Mathematical logic
Tapani Hyttinen
mon 14-16 SIII, thu 12-14 SI
Elements of set theory
Juliette Kennedy
mon 12-14, thu 12-14, P722
Advanced set theory
Taneli Huuskonen
mon 10-12, tue 10-12, SII
Infinitary logic
Jouko Väänänen
tue 14-16, thu 14-16, SIII
Fall term 2003 seminars:
Logic Seminar
Prof. Väänänen
Research seminar in Finite model theory
doc Kerkko Luosto
Set theoretic laboratory
Ph.D. Aapo Halko
Spring term 2003:
Logic I (Finnish)
Docent T. Hyttinen
to 12-14 PII, pe 12-14 PII
Axiomatic set theory
Docent T. Huuskonen
mon 12-14 P722, wed 10-12 SII
On games and models
Prof. Jouko Väänänen
Tuesdays 14-16 SIII and Thursdays 14-16 SIII
Intensive course in model theory
Marko Djordjevic
first lecture tue 18.2 14-16 SIII
Fall term 2002:
Announcement
Mathematical logic (Finnish) (Logiikka II)
Prof. Jouko Väänänenti 14-16 SIII, to 14-16 SIII, alkaa: 12.9.
Logik 1 (Swedish)
Marko Djordjevic
Computability theory (Finnish)
Taneli Huuskonen
Spring term 2002:
Logiikka I (suomeksi, Finnish)
Juha Nurmonen
to 12-14 PII, pe 12-14 PII.
Model Theory II (engl.)
Tapani Hyttinen
monday 10-12 SII, thursday 14-16 SIII.
Recommended for participants of the fall term course Model Theory I
(Kennedy) and for students specializing in model theory.
Finite model
theory (engl.),
Taneli Huuskonen
monday 14-16 SIII, thursday 12-14 SIII.
Extensions of elementary logic (engl.)
Jouko Väänänen
Vaatii ennakkoilmoittautumisen. Requires advance registration.
tuesday 14-16, SIII
There is an assistant familiar with logic courses present in the
"Laskupaja" wed 15-17, thu 12-14 and fri 15-17.
Autumn term 2001
Mathematical Logic (Logic II)
Prof. Väänänen tue 14-16, thu 14-16 SIII
Model theory, part I
PhD Kennedy mon 12-14, thu 12-14 SI
Axiomatic Set Theory
FT Väisänen mon 10-12, thu 10-12 SII
Logic I
Yi Zhangmon 16-18 SIV, fri 10-12 SI
Spring term 2001
Logic 1 (lectured in finnish)
Logic Seminar
Cohen and random reals
Basic courses
Logic 1 (in finnish)
Mathematical Logic (Logic 2) (in finnish)
Elements of Set Theory, spring 2000.
Special courses
Axiomatic Set Theory
Model Theory, spring 1999
Recursion Theory, fall 1999
Finite Model Theory
On Games with Models
Intensive courses
Random Models (page in finnish)
Introduction to prime models
Nonstandard analysis
Models of Arithmetic, fall 1999
Seminars
Logic seminar
Set theory laboratory (page in finnish)
Thesis supervisors
Master's-, licenciate- and Ph.D-theses are supervised by
Taneli Huuskonen,
Tapani Hyttinen,
Kerkko Luosto,
Juha Oikkonen ja
Jouko Väänänen.
See examples of
Master's Thesis topics (in finnish).
Logic Courses -
Helsinki Logic Group -
Department of Mathematics