Matematički dokaz pomoću računala

Mihael, Lukaš

prikaz prve stranice dokumenta Matematički dokaz pomoću računala

Download
PDF 725.11 KB

undergraduate thesis

Matematički dokaz pomoću računala

Varaždin: University of Zagreb, Faculty of Organization and Informatics, 2018. urn:nbn:hr:211:743176

Mihael, Lukaš

University of Zagreb
Faculty of Organization and Informatics
Department of Quantitative Methods

Cite this document

APA 6th Edition

Mihael, L. (2018). Matematički dokaz pomoću računala (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:743176

MLA 8th Edition

Mihael, Lukaš. "Matematički dokaz pomoću računala." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2018. https://urn.nsk.hr/urn:nbn:hr:211:743176

Chicago 17th Edition

Mihael, Lukaš. "Matematički dokaz pomoću računala." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2018. https://urn.nsk.hr/urn:nbn:hr:211:743176

Harvard

Mihael, L. (2018). 'Matematički dokaz pomoću računala', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 01 May 2024, https://urn.nsk.hr/urn:nbn:hr:211:743176

Vancouver

Mihael L. Matematički dokaz pomoću računala [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2018 [cited 2024 May 01] Available at: https://urn.nsk.hr/urn:nbn:hr:211:743176

IEEE

L. Mihael, "Matematički dokaz pomoću računala", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2018. Available at: https://urn.nsk.hr/urn:nbn:hr:211:743176

Cite this item: https://urn.nsk.hr/urn:nbn:hr:211:743176

Please login to the repository to save this object to your list.

Metadata

Title	Matematički dokaz pomoću računala
Title (english)	Computer-assisted mathematical proof
Author	Lukaš Mihael
Mentor	Zlatko Erjavec (mentor) MBZ: 246891
Committee member	Damir Horvat MBZ: 264435
Granter	University of Zagreb Faculty of Organization and Informatics (Department of Quantitative Methods) Varaždin
Defense date and country	2018-09-24, Croatia
Scientific / art field, discipline and subdiscipline	SOCIAL SCIENCES Information and Communication Sciences Organization and Informatics
Abstract	Razvoj računala ima veliku važnost u dokazivanju matematičkih tvrdnji. Kombinacijom numeričkih, formalnih, heurističkih i simboličkih metoda na računalu se stvaraju novi matematički dokazi koji prije nisu bili mogući. S umjetnom inteligencijom računala, uz malu pomoć čovjeka, automatizirano dokazuju matematičke tvrdnje. Zajedno s ovim metodama, koristi se verifikacija pomoću računala koja pomaže pri provjeravanju istinitosti nekog dokaza. Navedene metode i verifikacija mogu biti veoma kompleksne, pa čak i do tolike mjere da naprave zastoj kod superračunala. Zato je potrebno znati iskoristiti matematičke metode da bi olakšali rad računala, jer svako računalo ima svoje granice. Matematički dokazi kao što su Flyspeck projekt i rješenje Booleovog problema bojanja Pitagorinih trojki bez superračunala ne bi bili ostvarivi. Oni zato predstavljaju najveće matematičke dokaze stvorene pomoću računala.
Keywords
Language	croatian
URN:NBN	urn:nbn:hr:211:743176
Study programme	Title: Business Systems Study programme type: university Study level: undergraduate Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike)
Type of resource	Text
File origin	Born digital
Access conditions	Open access
Terms of use
Repository	Faculty of Organization and Informatics - Digital Repository
Created on	2019-03-04 11:31:36

Nacionalna i sveučilišna knjižnica u Zagrebu

Dabar