prikaz prve stranice dokumenta Programsko sučelje za prirodnu dedukciju
  Preuzmi
PDF 1.23 MB
diplomski rad
Programsko sučelje za prirodnu dedukciju
2016. urn:nbn:hr:200:885609
Škrobo, Ivica
Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
Zavod za zajedničke predmete
Katedra za matematiku, fiziku i strojarstvo

Citirajte ovaj rad

Škrobo, I. (2016). Programsko sučelje za prirodnu dedukciju (Diplomski rad). Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, Ivica. "Programsko sučelje za prirodnu dedukciju." Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2016. https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, Ivica. "Programsko sučelje za prirodnu dedukciju." Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, 2016. https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, I. (2016). 'Programsko sučelje za prirodnu dedukciju', Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, citirano: 27.10.2024., https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo I. Programsko sučelje za prirodnu dedukciju [Diplomski rad]. Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek; 2016 [pristupljeno 27.10.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:885609

I. Škrobo, "Programsko sučelje za prirodnu dedukciju", Diplomski rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek, Osijek, 2016. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:200:885609

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:200:885609
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovProgramsko sučelje za prirodnu dedukciju
Naslov (engleski)User interface for natural deduction
AutorIvica Škrobo
MentorTomislav Rudec (mentor)
MentorAlfonzo Baumgartner (mentor)
Član povjerenstvaTomislav Rudec (predsjednik povjerenstva)
Član povjerenstvaAnita Katić (član povjerenstva)
Član povjerenstvaAlfonzo Baumgartner (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište Josipa Jurja Strossmayera u Osijeku
Fakultet elektrotehnike, računarstva i informacijskih tehnologija Osijek
(Zavod za zajedničke predmete)
(Katedra za matematiku, fiziku i strojarstvo)
Osijek
Datum i država obrane2016-09-26, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Obradba informacija
Sažetak
Tema ovog diplomskog rada je izrada programskog sučelja za prirodnu dedukciju. A svrha samog diplomskog rada je omogućiti korisniku korištenje progamskog sučelja kako bi mogao kreirati dokaze za prirodnu dedukciju kroz aplikaciju. U prvom poglavlju objašnjen je koncept prirodne dedukcije i simbolizmi korišteni u istoj, kao i jezik prirodne dedukcije. Objašnjeno je dokazivanje i način zapisivanja istog. Nakon toga opisana su pravila prirodne dedukcije koja je potrebno postaviti za pravila programa. Drugo poglavlje se bavi samim sustavom u kojem je sučelje izrađeno, odnosno Android sustavom i Java programskim jezikom. Objašnjena je povijest sustava i zašto je sam sustav izabran za ovaj rad. Treće poglavlje odnosi se na izradu i na rad same aplikacije.
Sažetak (engleski)
The theme of this paper is creation of an interface for natural deduction. And the purpose of the paper itself is to enable the users of the interface to create natural deduction proofs through the use of the application. The first chapter explains the concept of natural deduction, as well as the symbols used. The same chapter explains argumentation and the way it is written. After the argumentation chapter explains the rules of the natural deduction that are necessary for the application. Second chapter is about the the system in which the interface is made, Android system and the Java programming language. It briefly explains the history of the system and why it was choosen for this assignment. Third chapter refers to the creation of the application and on how the application works.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:200:885609
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 pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2018-11-08 12:03:38