Opinto-opas 2008-2009 |
|||||
| Perus | Pori | KV | Jatko | Avoin | |
|
|
|
|||||||||||||||||
MAT-42100 Sovellettu logiikka, 5 op
|
Esko Turunen
| Luentoajat ja -paikat | Kohderyhmä, jolle suositellaan | |
| Toteutus 1 |
3.-n. vuosikurssi
DI-Opiskelijat Jatko-opiskelijat |
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
-
Johdato erilaisten yleistettyjen logiikkojen matemaattiseen perustaan ja käytännön sovelluksiin, tiedonlouhintaa, erityisesti GUHA-menetelmä.
| Sisältöalue | 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 |
| 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 |
| Opintojakso | P/S |
| MAT-20600 Diskreetti matematiikka | Suositeltava |
| MAT-21160 Algoritmimatematiikka | Suositeltava |
| MAT-59056 Mathematical Logic | Suositeltava |
| Opintojakso | Vastaa opintojaksoa | Selite |
|
|
|
Vastaavuus 1 = 1 |
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.
| Kuvaus | Opetusmuodot | Toteutustapa | |
| Toteutus 1 | Luennot Harjoitukset Harjoitustyöt |
Lähiopetus: 0 % Etäopetus: 0 % Itseopiskelu: 0 % |