Matematički dokaz pomoću računala

undergraduate thesis

• 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: matematika; dokaz teorema računalom
• 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
• Created on: 2019-03-04 11:31:36