prikaz prve stranice dokumenta Programsko sučelje za prirodnu dedukciju
  Download
PDF 1.23 MB
master's thesis
Programsko sučelje za prirodnu dedukciju
Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2016. urn:nbn:hr:200:885609
Škrobo, Ivica
Josip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
Department of Core Courses
Chair of Mathematics, Physics and Mechanical Engineering

Institutional repository: Faculty of Electrical Engineering, Computer Science and Information Technology Osijek

Cite this document

Škrobo, I. (2016). Programsko sučelje za prirodnu dedukciju (Master's thesis). Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek. Retrieved from https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, Ivica. "Programsko sučelje za prirodnu dedukciju." Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2016. https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, Ivica. "Programsko sučelje za prirodnu dedukciju." Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, 2016. https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo, I. (2016). 'Programsko sučelje za prirodnu dedukciju', Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, accessed 01 January 2025, https://urn.nsk.hr/urn:nbn:hr:200:885609

Škrobo I. Programsko sučelje za prirodnu dedukciju [Master's thesis]. Osijek: Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek; 2016 [cited 2025 January 01] Available at: https://urn.nsk.hr/urn:nbn:hr:200:885609

I. Škrobo, "Programsko sučelje za prirodnu dedukciju", Master's thesis, Josip Juraj Strossmayer University of Osijek, Faculty of Electrical Engineering, Computer Science and Information Technology Osijek, Osijek, 2016. Available at: https://urn.nsk.hr/urn:nbn:hr:200:885609

Metadata
TitleProgramsko sučelje za prirodnu dedukciju
Title (english)User interface for natural deduction
AuthorIvica Škrobo
MentorTomislav Rudec (mentor)
MentorAlfonzo Baumgartner (mentor)
Committee memberTomislav Rudec (predsjednik povjerenstva)
Committee memberAnita Katić (član povjerenstva)
Committee memberAlfonzo Baumgartner (član povjerenstva)
GranterJosip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
(Department of Core Courses)
(Chair of Mathematics, Physics and Mechanical Engineering)
Osijek
Defense date and country2016-09-26, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Data Processing
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:200:885609
Study programmeTitle: Graduate University Study Programme in Computer Engineering
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2018-11-08 12:03:38