Riippuvuuslogiikkaa
NIEMI, ROOSA (2011)
2011
Matematiikka - Mathematics
Informaatiotieteiden yksikkö - School of Information Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Hyväksymispäivämäärä
2011-11-01
Julkaisun pysyvä osoite on
https://urn.fi/urn:nbn:fi:uta-1-21879
https://urn.fi/urn:nbn:fi:uta-1-21879
Tiivistelmä
Tutkielma käsittelee logiikkaa ja sen tutkimusalueista etenkin riippuvuuslogiikkaa. Aluksi tutustutaan ensimmäisen kertaluvun logiikkaan, sen keskeisimpiin käsitteisiin ja semantiikkaan. Tämän jälkeen keskitytään riippuvuuslogiikkaan. Riippuvuuslogiikan osalta tutkitaan käsitteiden ja semantiikan eroja ensimmäisen kertaluvun logiikkaan ja käydään läpi myös loogista ekvivalenssia.
Lopuksi tutkitaan ensimmäisen kertaluvun logiikan ja riippuvuuslogiikan kaavojen yhteyttä. Riippuvuuslogiikan kaavat voivat olla ensimmäisen kertaluvun logiikan kaavoja tai loogisesti ekvivalentteja ensimmäisen kertaluvun logiikan kaavojen kanssa.
Tärkeimpänä lähdeteoksena on käytetty Jouko Väänäsen teosta Dependence logic.
Lopuksi tutkitaan ensimmäisen kertaluvun logiikan ja riippuvuuslogiikan kaavojen yhteyttä. Riippuvuuslogiikan kaavat voivat olla ensimmäisen kertaluvun logiikan kaavoja tai loogisesti ekvivalentteja ensimmäisen kertaluvun logiikan kaavojen kanssa.
Tärkeimpänä lähdeteoksena on käytetty Jouko Väänäsen teosta Dependence logic.