|
|
|||||||||||||||||
Opinto-opas 2010-2011
MAT-42100 Sovellettu logiikka, 5 op
|
Vastuuhenkilö
Esko Turunen
Opetus
| Opetusmuoto | P1 | P2 | P3 | P4 | Kesä | Toteutuskerrat | Luentoajat ja -paikat |
|
|
|
|
|
|
|
|
Suoritusvaatimukset
Tentti ja useampia välitenttejä. Kurssista voi suorittaa myös vain osia: osa I (2 op), osa II (2 op) ja osa III (2 op). Kurssin voi
sisällyttää tutkintoosa vain kerran: jos osia on suorittanut eri
vuosina, lasketaan toisistaan erillisten osoiden opintopisteet yhteen.
Osasuoritusten pitää liittyä samaan toteutuskertaan
Opetukseen ja oppimiseen liittyvät periaatteet ja lähtökohdat
-
Osaamistavoitteet
Opiskelija tuntee erilaisten yleistettyjen logiikkojen matemaattista perustaan ja käytännön sovelluksia, 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 |
Esitietoketju (Vaatii kirjautumisen POPiin)
Vastaavuudet
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
Vastaavuus 1 = 1 |
|
|
|
Lisätiedot
Jos kurssille ilmoittautuu kansainvälisiä opiskelijoita, luennoidaan kurssi englanniksi, ks. Kurssi MAT-42106/7 Applied Logics.
Kaikki kurssimateriaali on kuitenkin saatavilla myös suomeksi.
Soveltuu jatko-opinnoiksi
Tarkempia tietoja toteutuskerroittain
| Toteutus | Kuvaus | Opetusmuodot | Toteutustapa |
|
Lähiopetus: 35 % Etäopetus: 0 % Itseopiskelu: 65 % |