Logiikan opetus

This page exists in Finnish and in English.

Kevätlukukauden 2003 opetus:

  • Logiikka I (suomeksi)
  • Yliopistonlehtori, dos. Tapani Hyttinen
  • to 12-14 PII, pe 12-14 PII
  • Aksiomaattinen joukko-oppi, dos. Taneli Huuskonen
  • Peleistä ja malleista
  • Prof. Jouko Väänänen
  • ti 14-16 SIII, to 14-16 SIII

    • Syyslukukauden 2002 opetus

  • Announcement
  • Matemaattinen logiikka (Logiikka II)
  • Prof. Jouko Väänänen
  • ti 14-16 SIII, to 14-16 SIII, alkaa: 12.9.
    •
  • Logik 1 (Logiikka 1 ruotsiksi)
  • Marko Djordjevic
  • Laskettavuuden teoria
  • Taneli Huuskonen
    •

    • Kevätlukukauden 2002 opetus

  • Announcement
  • 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,(Approximately twice a month also Fridays 12-14, SII). First lecture: Friday 18.1.2002 at 12-14, SIII.
  • Laskupajassa logiikan kursseihin perehtynyt assistentti paikalla ke 15-17, to 12-14 ja pe 15-17.

    • Kevätlukukauden 2002 seminaarit

  • Logiikan seminaari
  • Prof. Väänänen
  • ke 12-14 SIII, alkaa: 16.1.2002
  • loogikkokahvit: ke 14-15
    •
  • Äärellisten mallien seminaari
  • dos Kerkko Luosto
  • Kokoontuu kahden viikon välein. Joka toinen kokoontuminen on Tre:lla, joka toinen Hki:ssä
  • perjantai 12-14, SIII
    •
  • Joukko-opin laboratorio
  • FT Aapo Halko

    • Syyslukukauden 2001 opetus

  • Matemaattinen logiikka (Logiikka II)
  • Prof. Väänänen
  • ti 14-16 SIII, to 14-16 SIII, alkaa: 11.9.
    •
  • Logiikka I (Logic 1 engl)
  • Dr. Yi Zhang
  • ma 16-18 SIV, pe 10-12 SI, alkaa: 14.9.
    •
  • Model Theory, part I (engl)
  • Dr. Juliette Kennedy
  • ma 12-14 SI, to 12-14 SI, alkaa: 13.9.
    •
  • Aksiomaattisen joukko-opin jatkokurssi
  • FT Väisänen
  • ma 10-12, to 10-12 SII , alkaa: 13.9.
    •

    • Syyslukukauden 2001 seminaarit

  • Logiikan seminaari
  • Prof. Väänänen
  • ke 12-14 SIII, alkaa: 12.9.
  • loogikkokahvit: ke 14-15
    •
  • Äärellisten mallien seminaari
  • dos Kerkko Luosto
  • Kokoontuu kahden viikon välein. Joka toinen kokoontuminen on Tre:lla, joka toinen Hki:ssä
  • Hki:ssä ke 12-14, SIII Tre:lla pe 12-14, alkaa 7.9.
    •
  • Joukko-opin laboratorio
  • FT Aapo Halko
  • ti 16-18, P626, alkaa 11.9.
    •

    • Perusopetus

  • Logiikka 1, syksyllä 2002,keväällä 2003
  • Matemaattinen logiikka (Logiikka 2), syksyllä 2002
  • Joukko-opin alkeet

    • Erikoiskurssit

  • Aksiomaattinen joukko-oppi
  • Laskettavuuden teoria Syksyllä 2002
  • Malliteoria
  • Äärellisten mallien teoria
  • Peleistä malleilla
  • Introduction to proof theory

    • Tiiviskurssit

  • Satunnaismallit
  • Johdatus alkumalleihin
  • Epästandardi analyysi
  • Models of Arithmetic

    • Seminaarit

  • Logiikan seminaari
  • Filosofisen logiikan seminaari
  • Malliteorian seminaari
  • Joukko-opin laboratorio
  • Äärellisten mallien seminaari

    • Opinnäytteiden ohjaus

    Pro gradu - ja lisensiaattitutkielmia sekä väitöskirjoja ohjaavat Taneli Huuskonen, Tapani Hyttinen, Kerkko Luosto, Juha Oikkonen ja Jouko Väänänen. Katso esimerkkejä graduaiheista.
    Loogikkoryhmän kotisivu - Matematiikan laitos