TamPub
    • Suomeksi
    • In English
Tampereen yliopiston julkaisuarkistoTampere University Institutional Repository
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   TamPub etusivu
  • TamPub
  • Pro gradut
  • Näytä viite
  •   TamPub etusivu
  • TamPub
  • Pro gradut
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Riippuvuuslogiikkaa

NIEMI, ROOSA (2011)

 
 
Tweet Tiedostoon pääsyä rajoitettu
 
Tiedostoon pääsyä rajoitettu
Avaa tiedosto
gradu05337.pdf (225.3Kt)
Lataukset: 



NIEMI, ROOSA
2011

Matematiikka - Mathematics
Informaatiotieteiden yksikkö
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
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
http://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.
Kokoelmat
  • Pro gradut [21447]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[at]uta.fi | Yhteydenotto
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2017-)Yksikkö (2011-2016)Tiedekunta (-2010)Oppiaineet ja tutkinto-ohjelmatAvainsanatJulkaisusarjatJulkaisuajatKokoelmat
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[at]uta.fi | Yhteydenotto