prikaz prve stranice dokumenta Modalne logike
  Preuzmi
PDF 371.57 KB
diplomski rad
Modalne logike
Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2022. urn:nbn:hr:166:575402
Grgat, Ante
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku

Institucijski repozitorij: repozitorij.pmfst.unist.hr

Citirajte ovaj rad

Grgat, A. (2022). Modalne logike (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, Ante. "Modalne logike." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2022. https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, Ante. "Modalne logike." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2022. https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat, A. (2022). 'Modalne logike', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 10.07.2024., https://urn.nsk.hr/urn:nbn:hr:166:575402

Grgat A. Modalne logike [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2022 [pristupljeno 10.07.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:575402

A. Grgat, "Modalne logike", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2022. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:575402

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:166:575402
Podaci o radu
NaslovModalne logike
Naslov (engleski)Modal logics
AutorAnte Grgat
MentorMilica Klaričić Bakula (mentor)
Član povjerenstvaMilica Klaričić Bakula (predsjednik povjerenstva)
Član povjerenstvaDino Peran (član povjerenstva)
Član povjerenstvaGoran Erceg (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Splitu
Prirodoslovno-matematički fakultet
(Odjel za matematiku)
Split
Datum i država obrane2022-09-23, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
Cilj ovog rada je uvesti čitatelja u teoriju modalnih logika. Glavni smisao je uvođenje novih unarnih operatora: nužnost i mogućnost. Također, u ovisnosti o različitim kontekstima, definirat ćemo njihovo značenje. Time dobivamo proširenje klasične logike sudova. Poseban naglasak je na takozvanoj Kripkeovoj semantici koja je jedna od najznačajnijih semantika modalnih logika. Također, razmotrit ćemo i pet različitih sistema modalnih logika te navesti neke primjere teorema. Pri samom kraju navest ćemo jedan od najvažnijih rezultata modalnih logika, a to je teorem potpunosti za svih pet sistema.
Sažetak (engleski)
The aim of this thesis is to introduce the reader to the theory of modal logics. The main meaning is introduction of new unary operators: necessity and possibility. Also, depends of different contexts, we will define their meaning. That’s how we get an extension of propositional logic. Special emphasis is placed on the so-called Kripke’s semantics, which is one of the most significant semantics of modal logics. Also, we will consider five different systems of modal logics and state them some examples of theorems. At the very end, we will mention one of the most important of the results of modal logics, which is a completeness theorems for all five systems.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:166:575402
Studijski programNaziv: Matematika; smjerovi: teorijski, računarski, nastavnički, statistika i računarstvo
Smjer: teorijski
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra matematike (mag. math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2023-02-14 12:50:04