Aksiomaattinen joukko-oppi

Asema opetuksessa:

5 opintoviikon laudatur-erikoiskurssi, joka soveltuu matemaattisen logiikan linjalle.

Luennot kevätlukukaudella 2003:

Luennoitsija on dos. Taneli Huuskonen.

Luentoajat: ma klo 12-14 salissa P722 ja ke klo 10-12 salissa SII. Sali SII sijaitsee matematiikan laitoksella 4. kerroksessa ja P722 Porthanian 7. kerroksessa. Ensimmäinen luento on maanantaina 20.1.2003. Kurssi luennoidaan englanniksi.

Laskuharjoitukset: Laskuharjoitukset ovat tiistaisin klo 10-12 salissa SII. Ensimmäinen harjoitus on ti 28.1.2003. Lista harjoituksista

Sisältö:

Kurssilla käsitellään joukko-opin täsmällistä matemaattista muotoilua formaalina ensimmäisen kertaluvun teoriana.

Suorittaminen:

Kurssi suoritetaan loppukokeella, jollainen järjestetään yleisenä laitostenttipäivänä toukokuussa, tarvittaessa myös kesällä. (Tarkat päivämäärät ilmoitetaan myöhemmin.)

Materiaali:

Kurssi pohjautuu kirjaan K. Kunen: Set Theory - An Introduction to Independence Proofs (Elsevier Science B.V. 1980)

Lisämateriaaliksi sopivat seuraavat kirjat:

• F. Drake: Set Theory - An Introduction to Large Cardinals (North-Holland Publishing Co, Amsterdam-London-New York 1974)

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.