Aksiomaattinen joukko-oppi

Asema opetuksessa:: 5 opintoviikon laudatur-erikoiskurssi, joka soveltuu matemaattisen logiikan linjalle.
Luennot syyslukukaudella 2005:: Luennoitsija on dos. Taneli Huuskonen.; Luentoajat: ma klo 12-14 ja ti klo 12-14 Exactumin salissa B321. Ensimmäinen luento on maanantaina 5.9.2005.
Laskuharjoitukset:: To 12-14 salissa C123. (Huomaa aiemmasta muuttunut aika ja paikka!) Ensimmäiset harjoitukset torstaina 15.9.2005. Lista harjoituksista.
Sisältö:: (Täydennettävä)
Suorittaminen:: Kurssin voi suorittaa kurssikokeella 20.12.2005 tai loppukokeella 26.1.2006. Kurssi ei ole WebOodi-järjestelmässä, joten siihen ilmoittaudutaan kansliassa. Ellei kumpikaan mainituista päivämääristä käy, voi luennoitsijan kanssa sopia myös jostakin muusta tenttipäivästä. Joulukuun 2005 tentti on saatavilla tästä PDF- ja PostScript-muodossa.
Materiaali:: Kenneth Kunen: Set Theory: An Introduction to Independence Proofs (North-Holland Publishing Company, 1980)
Kurssipalaute:: Luennoijalle voi lähettää nimetöntä palautetta koko kurssin ajan osoitteesta http://www.math.helsinki.fi/kurssit/kysely/jatkuva.html löytyvällä Web-lomakkeella. Toki palautetta voi antaa suoraankin.