Johdatus yleistettyihin kvanttoreihin, syksy 2004

This page exists in Finnish and in English.

[Andrzej Mostowski] [Jon Barwise] [Saharon Shelah]
  • Luennoitsija: prof. Jouko Väänänen
  • Aika ja paikka: tiistaisin 14-16 B322 syyslukukaudella 2004. Ensimmäinen luento on 28.9.2004
  • Laskuharjoitukset joka toinen tiistai 16-18 B321. Ensimmäiset harjoitukset ovat 28.9.2004.
  • Kurssin laajuus on 3 ov.
  • Sisältö:
    1. Ehrenfeucht-Fraïssé -pelin sovelluksia yleistettyihin kvanttoreihin.
    2. Mallinolemassaolopelin sovelluksia yleistettyjen kvanttoreiden täydellisyysongelmaan.
    3. Identiteettimenetelmän sovelluksia yleistettyjen kvanttoreiden kompaktisuusongelmaan.
  • Kurssilla käytetään WebCT kurssinhallintaohjelmaa.
  • Esitiedot: Logiikka I (57274-1) tai matemaattinen logiikka (57067-7).
  • Katsaus yleistettyihin kvanttoreihin äärellisillä malleilla.
  • Katsaus yleistettyihin kvanttoreihin äärettömillä malleilla.
  • Yleistetyt kvanttorit PlanetMathissa.
  • Ennakkoilmoittautuminen (kts. myös lomake alla): Osoite: e-mail as an image. Subject: Ilmoittautuminen. Teksti: Johdatus yleistettyihin kvanttoreihin. "Nimi". "WebCT tunnus".

    • Ilmoittautumislomake kurssille Johdatus yleistettyihin kvanttoreihin.

    Nimi:
    Email:
    WebCT tunnus:

    Täältä voit luoda WebCT tunnuksen.