prikaz prve stranice dokumenta Strogo tipiziran jezik za opis deduktivnih sustava
Rad nije dostupan
diplomski rad
Strogo tipiziran jezik za opis deduktivnih sustava
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2015. urn:nbn:hr:168:350390
Perleta, Frano
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Perleta, F. (2015). Strogo tipiziran jezik za opis deduktivnih sustava (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:350390

Perleta, Frano. "Strogo tipiziran jezik za opis deduktivnih sustava." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2015. https://urn.nsk.hr/urn:nbn:hr:168:350390

Perleta, Frano. "Strogo tipiziran jezik za opis deduktivnih sustava." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2015. https://urn.nsk.hr/urn:nbn:hr:168:350390

Perleta, F. (2015). 'Strogo tipiziran jezik za opis deduktivnih sustava', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 18.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:350390

Perleta F. Strogo tipiziran jezik za opis deduktivnih sustava [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2015 [pristupljeno 18.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:350390

F. Perleta, "Strogo tipiziran jezik za opis deduktivnih sustava", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2015. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:350390

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:350390
Podaci o radu
NaslovStrogo tipiziran jezik za opis deduktivnih sustava
Naslov (engleski)A strongly typed language for specification of deductive systems
AutorFrano Perleta
MentorSiniša Srbljić (mentor)
Član povjerenstvaSiniša Srbljić (predsjednik povjerenstva)
Član povjerenstvaDejan Škvorc (član povjerenstva)
Član povjerenstvaAnte Đerek (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2015-02-18, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Predstavljen je L•, jezik za opis deduktivnih sustava. Korištenjem ovisnih tipova, točnije indeksiranih familija, L• može modelirati elemente domene diskursa, propozicije nad njima, dokaze te shematske aksiome i pravila zaključivanja, u skladu s načelom "propozicije kao tipovi". Lambda-apstrakcija nije dostupna, ekvivalencija objekata i tipova je trivijalna. Formalno su opisani algoritmi za unifikaciju (prvog reda) i pretraživanje. Također je predstavljen thingy, interpreter za L• ostvaren u programskom jeziku Haskell. Opisana je arhitektura sustava, konkretna sintaksa, različite interne reprezentacije sintakse te druge tehnike korištene u razvoju. Sustav je primjenjiv na automatsku provjeru dokaza i logičko programiranje.
Sažetak (engleski)
The system L• is presented as a language for defining deductive systems. By utilizing dependent types, more precisely indexed families, L• may be used to model the domain of discourse, propositions over its elements, proofs, as well as axiom schemata and rules of inference, in accordance with the "propositions as types" principle. Lambda-abstraction is not present in the language, object equivalence and type equivalence are trivial. A formal description of (first-order) unification and proof search is given. An interpreter for L• called thingy is implemented in the Haskell programming language. Its architecture and surface syntax are discussed, as well as several internal syntax representations and techniques. The described system is applicable to automated proof checking and logic programming.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:350390
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2019-03-13 23:50:39