prikaz prve stranice dokumenta Algoritmi za standardnu translaciju modalnih formula
  Preuzmi
PDF 252.19 KB
diplomski rad
Algoritmi za standardnu translaciju modalnih formula
Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2019. urn:nbn:hr:217:099612
Skrinjar, Filip
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek

Institucijski repozitorij: Repozitorij Prirodoslovno-matematičkog fakulteta

Citirajte ovaj rad

Skrinjar, F. (2019). Algoritmi za standardnu translaciju modalnih formula (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, Filip. "Algoritmi za standardnu translaciju modalnih formula." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2019. https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, Filip. "Algoritmi za standardnu translaciju modalnih formula." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2019. https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, F. (2019). 'Algoritmi za standardnu translaciju modalnih formula', Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, citirano: 03.11.2024., https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar F. Algoritmi za standardnu translaciju modalnih formula [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet; 2019 [pristupljeno 03.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:099612

F. Skrinjar, "Algoritmi za standardnu translaciju modalnih formula", Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 2019. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:099612

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:217:099612
Podaci o radu
NaslovAlgoritmi za standardnu translaciju modalnih formula
AutorFilip Skrinjar
MentorMladen Vuković (mentor)
Član povjerenstvaMladen Vuković (predsjednik povjerenstva)
Član povjerenstvaGoranka Nogo (član povjerenstva)
Član povjerenstvaVedran Čačić (član povjerenstva)
Član povjerenstvaMiljenko Huzak (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
(Matematički odsjek)
Zagreb
Datum i država obrane2019-12-19, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Sažetak
Glavna tema ovog rada je Szalasov algoritam koji za danu modalnu formulu pronalazi njenog korespondenta prvog reda na okvirima. U prvom poglavlju rada promatramo osnovni modalni jezik, Kripkeovu semantiku te iznosimo potrebne definicije i pojmove logike prvog i drugog reda. Potom se bavimo temom korespondencije formula osnovnog modalnog jezika i formula logike prvog i drugog reda. Uz to promatramo i funkciju standardne translacije za formule osnovnog modalnog jezika. U trećem poglavlju detaljno promatramo Szalasov algoritam. Teorijski ga analiziramo, opisujemo po koracima, iznosimo pseudokod algoritma kao i neke primjere rada.
Sažetak (engleski)
The main topic of this Master thesis is Szalas’ algorithm which for a given modal formula, finds its first-order correspondent. In the first chapter of the thesis, we look at the basic modal language, Kripke semantics, and present the necessary definitions and concepts of first and second-order logic. We then address the topic of correspondence between basic modal formulas and first or second-order formulas. We also look at the standard translation function for basic modal formulas. In the third section, we look at the Szalas’ algorithm in detail. We analyze it theoretically, describe it step by step, present the pseudocode of the algorithm and present some examples.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:217:099612
Studijski programNaziv: Računarstvo i matematika
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2021-03-09 12:39:27