Opintojaksot   |Tutkinnot| |Opintokokonaisuudet| |Kaikki| |Jatko| |KV|

Opintojakson vastuuhenkilö
Esko Turunen

Opettajat
Esko Turunen

Luentoajat ja -paikat
Per II: Tiistai 8 - 11, TB215
Per II: Keskiviikko 10 - 12, TC163

Toteutuskerrat

Vastuuhenkilöt:

Esko Turunen

	Periodi 1	Periodi 2	Periodi 3	Periodi 4	Periodi 5	Kesä
Luento	-	42 h/per	-	-	-	-
Harjoitus	-	20 h/per	-	-	-	-
Tentti

(Lukuvuoden 2007-2008 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, Girard-monoidi, Brouwer-algebra, BL-algebra ja MV-algebra. RL-logiikka, lineaarinen logiikka, intuitionistinen logiikka ja sumea logiikka. 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	MAT-20600 Diskreetti matematiikka	3	Suositeltava
MAT-21160	MAT-21160 Algoritmimatematiikka	3	Suositeltava
MAT-59056	MAT-59056 Mathematical Logic	7	Suositeltava

Esitietoketju (Vaatii kirjautumisen TTY Intranetiin)

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

Huomautuksia

Kurssi luennoidaan joka toinen vuosi. Opintojakso luennoidaan englanniksi, jos sille osallistuu ulkomaalaisia opiskelijoita.

Tieto- ja viestintätekniikan (TVT) käyttö opetuksessa

- tiedottamisessa kotisivuilla, uutisryhmissä tai s-postilistoilla esim. ajankohtaiset asiat, aikataulut
- harjoitus-, ryhmä- tai laboratoriotöiden työstämisessä
- harjoitustöiden, materiaalin jne. jakelussa ja/tai palauttamisessa
- asioiden ja ilmiöiden havainnollistamisessa esim. animaatiot, demot, simulaatiot, videoleikkeet

- Lähiopetuksen osuus: 100 %
- Etäopetuksen osuus: 0 %
- Opiskelijan itseopiskelun osuus: 0 %

Mitoitus

Opetusmuodot	Tuntia
Luennot	84
Harjoitukset	40
Harjoitustyöt	20
Kaikki yhteensä	144

Opintojakson kotisivu

Viimeksi muokattu	14.02.2007
Muokkaaja	Robert Piche