prikaz prve stranice dokumenta Hoareova logika
  Preuzmi
PDF 479.39 KB
diplomski rad
Hoareova logika
Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. urn:nbn:hr:166:264314
Livaja, Petra
Sveučilište u Splitu
Prirodoslovno-matematički fakultet
Odjel za matematiku

Institucijski repozitorij: repozitorij.pmfst.unist.hr

Citirajte ovaj rad

Livaja, P. (2020). Hoareova logika (Diplomski rad). Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, Petra. "Hoareova logika." Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, 2020. https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja, P. (2020). 'Hoareova logika', Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, citirano: 30.11.2024., https://urn.nsk.hr/urn:nbn:hr:166:264314

Livaja P. Hoareova logika [Diplomski rad]. Split: Sveučilište u Splitu, Prirodoslovno-matematički fakultet; 2020 [pristupljeno 30.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314

P. Livaja, "Hoareova logika", Diplomski rad, Sveučilište u Splitu, Prirodoslovno-matematički fakultet, Split, 2020. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:166:264314

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:166:264314
Podaci o radu
NaslovHoareova logika
Naslov (engleski)Hoare's logic
AutorPetra Livaja
MentorJurica Perić (mentor)
Član povjerenstvaJurica Perić (predsjednik povjerenstva)
Član povjerenstvaMilica Klaričić Bakula (č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 obrane2020-12-18, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Matematička logika i računarstvo
Sažetak
U ovom diplomskom radu prezentiramo Hoareovu logiku koja daje pravila za odnos između tvrdnji o vrijednostima varijabli prije i nakon izvršavanja programa napisanog u IMP-u, tj. za provjeru parcijalne korektnosti. Proučavamo probleme utemeljenosti Hoareovih pravila i potpunosti. Obzirom da ona nasljeđuju nepotpunost iskazanu Gödelovim teoremom, u nastavku promatramo potpunost u Cook-ovom smislu i pritom odvajamo nepotpunost jezika Assn od nepotpunosti uzrokovane aksiomima i pravilima izgradnje programa. Postupno gradimo složenije sustave dodavajući nova pravila te im provjeravamo potpunost u Cook-ovom smislu i utemeljenost. Osim za while programe, dodajemo pravila za procedure bez parametara (za rekurzivne i nerekurzivne procedure), deklaraciju varijabli i osvrćemo se na problem s neinicijaliziranim varijablama, subskriptne varijable i mehanizme parametara, kod kojih promatramo poziv po imenu procedure
Sažetak (engleski)
In this thesis, we present Hoare’s logic that provides rules for the relationship between assertions about the values of variables before and after the execution of a program written in IMP, i.e., to check partial correctness. We study the problems of the validity of Hoare’s rules and completeness. Since they inherit the incompleteness expressed by Gödel’s theorem, we observe the completeness in Cook’s sense below and separate the incompleteness of the Assn language from the incompleteness caused by axioms and rules of program construction. In addition to while programs, we add rules for non-parameter procedures (for recursive and non-recursive procedures), declaration of variables, and consider the problem with uninitialized variables, subscript variables, and parameter mechanisms, in which we observe the call by the name of the procedure.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:166:264314
Studijski programNaziv: Matematika; smjerovi: teorijski, računarski, nastavnički, statistika i računarstvo
Smjer: računarski
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 pohrane2021-02-02 17:30:34