Opintojakson vastuuhenkilö
Esko Turunen

Opettajat
Esko Turunen, dosentti, TD 405

Luentoajat ja -paikat
Per I,II: Keskiviikko 8 - 10, TB222
Per I: Torstai 8 - 10, TB214

Toteutuskerrat
Toteutus 1

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä	Opetuskieli
Luento	3 h/vko+	4 h/vko	-	-	-	-	Sekä suomeksi että englanniksi
Harjoitus	2 h/vko+	2 h/vko	-	-	-	-	Sekä suomeksi että englanniksi
Tentti							Suomeksi, pyydettäessä englanniksi

(Lukuvuoden 2005-2006 aikataulu)

Tavoitteet
Moniarvologiikan matemaattisen perustan hallitseminen. Matemaattisen tiedonlouhintateorian perusteiden hallinta.

Sisältö

Sisältöalue	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Osa I. Jäännöshila, BL-algebra ja MV-algebra. Moniarvoisen logiikan semantiikka, syntaksi ja täydellisyys. Moniarvoinen samuus mallinnuksen ja päätöksenteon perustana. Esimerkkejä mallinnustehtävistä.
2.	Osa II. Johdatusta tiedonlouhintaan. GUHA-menetelmän semantiikka, syntaksi ja täydellisyys. Epästandardit kvanttorit. LISpMiner ohjelmiston käytön perusteet. Esimerkkejä tiedonlouhintatehtävistä.

Suoritusvaatimukset
Hyväksytysti suoritettu tentti.

Opintojakson arviointikriteerit

Oppimateriaali

Tyyppi	Nimi	Tekijä	ISBN	URL,painos,saatavuus...	Tenttimateriaali	Kieli
Kirja	Mathematics behind Fuzzy Logic	Turunen, E.	3-7908-1221-8	Springer-Verlag, 1999, ISBN 3-7908-1221-8	Kyllä	Englanti
Verkkokirja	Mechanizing hypothesis formation	Hajek, P., Havranek, T.		verkosta	Ei ole	Englanti
Verkkokirja	LISp Miner	Rauch, J.		verkosta	Kyllä	Englanti

Esitiedot

Tunnus	Nimi	OP	P/S
MAT-20600	Diskreetti matematiikka	3	Suositeltava
MAT-21160	Algoritmimatematiikka	3	Suositeltava
MAT-59056	Matemaattinen logiikka	7	Suositeltava

Tietoa esitietovaatimuksista
Jokin yllä mainituista klassista logiikkaa sisältävistä kursseista on suositeltava, muttei pakollinen esitieto.

Huomautuksia

Viimeksi muokattu	23.01.2006
Muokkaaja	Esko Turunen