prikaz prve stranice dokumenta Modalna logika
  Preuzmi
PDF 264.63 KB
završni rad
Modalna logika
2017. urn:nbn:hr:126:124254
Barišić, Irena
Sveučilište Josipa Jurja Strossmayera u Osijeku
Odjel za matematiku
Zavod za teorijsku matematiku i metodiku nastave matematike
Katedra za algebru, analizu i teoriju brojeva

Citirajte ovaj rad

Barišić, I. (2017). Modalna logika (Završni rad). Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, Irena. "Modalna logika." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, 2017. https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, Irena. "Modalna logika." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, 2017. https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić, I. (2017). 'Modalna logika', Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, citirano: 09.11.2024., https://urn.nsk.hr/urn:nbn:hr:126:124254

Barišić I. Modalna logika [Završni rad]. Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku; 2017 [pristupljeno 09.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:126:124254

I. Barišić, "Modalna logika", Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, Osijek, 2017. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:126:124254

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:126:124254
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovModalna logika
Naslov (engleski)Modal Logic
AutorIrena Barišić
MentorMihaela Ribičić Penava (mentor)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište Josipa Jurja Strossmayera u Osijeku
Odjel za matematiku
(Zavod za teorijsku matematiku i metodiku nastave matematike)
(Katedra za algebru, analizu i teoriju brojeva)
Osijek
Datum i država obrane2017-09-28, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Matematička logika i računarstvo
Sažetak
U ovom završnom radu bavimo se pročavanjem modalne logike koja nastaje kao prširenje klasiče logike. Više nas ne zanima samo tvrdnja 'A je istina' nego tvrdnje poput 'A je moguće' i 'A je nužno'.Čitatelj će se upoznati sa razvojem modalne logike kroz povijest te osnovnim denicijama kao sto su K modalni sustav i Kripkeov okvir. Navest ćemo primjere, dokaze i interpretaciju nekih ekvivalentnih tvrdnji. U trećem poglavlju ćemo se upoznati sa semantikom mogućih svjetova te dokazati glavne teoreme za modalnu logiku, kao sto su teorem korektnosti i teorem potpunosti.
Sažetak (engleski)
In this nal work, we are studying the modal logic that emerges as a result of classical logic. We are not interested anymore in statement like 'A is true' but statements like 'A is possible' or 'A is necessary'. Through reading this nal work, the Reader will be introduced with the development of modal logic throughout history and with basic terms such as K modal system and Kripke's frame. We will advert examples, proofs and interpretations of some equivalent statements. In the third chapter we will get acquainted with the semantics of possible worlds and prove the main theories of modal logic, such as the soundness theorem and the completeness theorem .
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:126:124254
Studijski programNaziv: Matematika
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike (univ.bacc.math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2017-11-07 07:42:52