Opinto-opas 2009-2010 Perus Perus Pori KV Jatko Avoin |Tutkinnot|     |Opintokokonaisuudet|     |Opintojaksot|

Vastuuhenkilö

Esko Turunen

Toteutuskerrat

	Luentoajat ja -paikat	Kohderyhmä, jolle suositellaan
Toteutus 1	Periodit 1 - 2	3.-n. vuosikurssi DI-Opiskelijat Jatko-opiskelijat

Suoritusvaatimukset

Tentti ja useampia välitenttejä. Kurssista voi suorittaa myös vain osia: osa I (2 op), osa II (1 op) ja osa III (2 op).
Osasuoritusten pitää liittyä samaan toteutuskertaan

Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat

-

Osaamistavoitteet

Johdato erilaisten yleistettyjen logiikkojen matemaattiseen perustaan ja käytännön sovelluksiin, tiedonlouhintaa, erityisesti GUHA-menetelmä.

Sisältö

Sisältö	Ydinaines	Täydentävä tietämys	Erityistietämys
1.	Johdantoa tiedonlouhintaan: sisältääkö datani jotain sellaista, mistä minulla ei ollut hajuakaan? GUHA-menetelmä: 'melkein kaikki', 'useimmat', 'huomattavan erilainen' ja muut yleistetyt kvanttorit reaalidatan kuvausmenetelminä.	Johdanto LISpMiner-ohjelmistoon, jolla voidaan suoritaa käytännön datan analysointia GUHA-menetelmällä.
2.	Johdantoa matemaattiseen sumeaan logiikkaan ja reaalimaailman ilmiöihin, joissa joko-tai ajattelu ei ole riittävää, eivätkä tilastolliset menetelmät sovellu.	Sumea samuus moniarvoisen päättelyn perustana. Sumeat JOS-NIIN päättelysäännöt ja niiden käytännön sovellukset. Parakonsistentti ja moniarvoinen logiikka päätöksenteon perustana.
3.	Monoidilogiikka eri epästandardien logiikkojen perustana: lineaarinen logiikka, intuitionistinen logiikka, Lukasiewicz'in moniarvologiikka ja matemaattinen sumea logiikka.	Jäännöshilat, Girard monoidit, Heyting algebrat, BL-algebrat, Wajsberg algebrat and MV-algebrat. Epästandardien logiikkojen semantiikka, syntaksi ja täydellisyys

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		Englanti
Verkkokirja	LISp Miner	Rauch, J.			verkosta		Englanti
Verkkokirja	Mechanizing hypothesis formation	Hajek, P., Havranek, T.			verkosta		Englanti

Esitietovaatimukset

Tietoa esitietovaatimuksista
Logiikan perustiedot ovat hyödyllisiä mutteivat välttämättömiä kurssin asioiden oppimisen kannalta.

Vastaavuudet

Lisätiedot

Jos kurssille ilmoittautuu kansainvälisiä opiskelijoita, luennoidaan kurssi englanniksi, ks. Kurssi MAT-42106 Applied Logics, luentosalit ja harjoitusryhmät on varattu kurssin MAT-42106 nimellä! Kaikki kurssimateriaali on kuitenkin saatavilla myös suomeksi.

Tarkempia tietoja toteutuskerroittain

	Kuvaus	Opetusmuodot	Toteutustapa
Toteutus 1		Luennot Harjoitukset Harjoitustyöt	Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 %

Viimeksi muokattu	14.02.2009
Muokkaaja	Esko Turunen