Taneli Huuskonen

LOGIIKKA I: linkki harjoitussivulle

Minusta on erittäin valitettavaa, että presidentti Obama edelleen pitää ihmisiä vangittuina Guantánamossa ilman oikeudenkäyntiä ja näin loukkaa heidän ihmisoikeuksiaan.

Mielestäni "uusi palkkausjärjestelmä" (UPJ) voisi sopia liikeyritykseen, mutta ei yliopistolle.

Työ

Aloitin työni Helsingin yliopiston matematiikan laitoksella vuonna 1988, ja runsaat kolme vuotta myöhemmin, 1991, väittelin tohtoriksi. Niistä ajoista lähtien olen kuulunut Helsingin logiikan ryhmään. Keskeisiä kiinnostukseni kohteita ovat joukko-oppi, äärelliset mallit sekä äärelliset kielet. Vuonna 2002 ryhdyin uudelleen tutkimaan ensimmäisen kertaluvun määriteltävyyttä kompleksianalyyttisten funktioiden renkaissa. Minulla on muutamia julkaisuja myös muilta aloilta kuin logiikasta.

Ohjaan Eljas Törneblomin lisensiaattiopintoja. Hänellä on jo yleisempiä funktiorenkaita koskevia uusia tuloksia.

Kursseja, joita olen luennoinut viime vuosina:

Vuosi	Lukukausi	Kurssi
2003	kevät	Aksiomaattinen joukko-oppi
2003	syys	Aksiomaattisen joukko-opin jatkokurssi
2004	kevät	Laskettavuuden teoria
2004	syys	Pakotus
		Analyysin peruskurssi
2005	kevät	Joukko-opin alkeet
2005	syys	Aksiomaattinen joukko-oppi
2006	kevät	Aksiomaattisen joukko-opin jatkokurssi
2006	syys	Analyysin peruskurssi
2006	syys	Iteroitu pakotus
2007	kevät	Suuret kardinaalit
2007	kevät	Logiikka I

Keväällä 2011 luennoin kurssin Logiikka I englanniksi.

Jos gradun tekeminen logiikasta kiinnostaa, ota yhteyttä. Otan mielelläni uusia ohjattavia vastaan.

Muuta

Englanninkielisellä henkilökohtaisella sivullani kerron enemmän itsestäni, mielipiteistäni ja elämästäni.

Jos olet kiinnostunut, tarjolla on tilastoja sivujeni katselusta.

Yhteystiedot

Kevätlukukaudella 2012 olen tavattavissa työhuoneessani A413 maanantaisin klo 13.00 - 14.00 ja tiistaisin klo 14.30 - 15.30.

Puh:: +358-9-19151484
Fax:: +358-9-19151400
Työhuone:: A413, Exactum
Osoite:: Matematiikan laitos
PL 68 (Gustaf Hällströmin katu 2b)
FIN-00014 Helsingin yliopisto
Sähköposti:: huuskone+ks033k@cc.helsinki.fi

Otan mielelläni vastaan PGP:llä salattua sähköpostia. Tavanomaiseen käyttöön riittävät mainiosti sellaiset avaimet, joissa on merkintä "insecure" (turvaton). Niiden turvattomuus liittyy suoraan niiden helppokäyttöisyyteen.