prikaz prve stranice dokumenta Algoritmi za standardnu translaciju modalnih formula
  Download
PDF 252.19 KB
master's thesis
Algoritmi za standardnu translaciju modalnih formula
Zagreb: University of Zagreb, Faculty of Science, 2019. urn:nbn:hr:217:099612
Skrinjar, Filip
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Skrinjar, F. (2019). Algoritmi za standardnu translaciju modalnih formula (Master's thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, Filip. "Algoritmi za standardnu translaciju modalnih formula." Master's thesis, University of Zagreb, Faculty of Science, 2019. https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, Filip. "Algoritmi za standardnu translaciju modalnih formula." Master's thesis, University of Zagreb, Faculty of Science, 2019. https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar, F. (2019). 'Algoritmi za standardnu translaciju modalnih formula', Master's thesis, University of Zagreb, Faculty of Science, accessed 24 August 2024, https://urn.nsk.hr/urn:nbn:hr:217:099612

Skrinjar F. Algoritmi za standardnu translaciju modalnih formula [Master's thesis]. Zagreb: University of Zagreb, Faculty of Science; 2019 [cited 2024 August 24] Available at: https://urn.nsk.hr/urn:nbn:hr:217:099612

F. Skrinjar, "Algoritmi za standardnu translaciju modalnih formula", Master's thesis, University of Zagreb, Faculty of Science, Zagreb, 2019. Available at: https://urn.nsk.hr/urn:nbn:hr:217:099612

Metadata
TitleAlgoritmi za standardnu translaciju modalnih formula
AuthorFilip Skrinjar
MentorMladen Vuković (mentor)
Committee memberMladen Vuković (predsjednik povjerenstva)
Committee memberGoranka Nogo (član povjerenstva)
Committee memberVedran Čačić (član povjerenstva)
Committee memberMiljenko Huzak (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2019-12-19, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:217:099612
Study programmeTitle: Computer Science and Mathematics
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra računarstva i matematike (magistar/magistra računarstva i matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2021-03-09 12:39:27