Matematički dokaz pomoću računala

Mihael, Lukaš

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

Preuzmi
PDF 725.11 KB

završni rad

Matematički dokaz pomoću računala

Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2018. urn:nbn:hr:211:743176

Mihael, Lukaš

Sveučilište u Zagrebu
Fakultet organizacije i informatike
Katedra za kvantitativne metode

Citirajte ovaj rad

APA 6th Edition

Mihael, L. (2018). Matematički dokaz pomoću računala (Završni rad). Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:743176

MLA 8th Edition

Mihael, Lukaš. "Matematički dokaz pomoću računala." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2018. https://urn.nsk.hr/urn:nbn:hr:211:743176

Chicago 17th Edition

Mihael, Lukaš. "Matematički dokaz pomoću računala." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2018. https://urn.nsk.hr/urn:nbn:hr:211:743176

Harvard

Mihael, L. (2018). 'Matematički dokaz pomoću računala', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 18.04.2024., https://urn.nsk.hr/urn:nbn:hr:211:743176

Vancouver

Mihael L. Matematički dokaz pomoću računala [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2018 [pristupljeno 18.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:743176

IEEE

L. Mihael, "Matematički dokaz pomoću računala", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2018. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:743176

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:211:743176

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.

Podaci o radu

Naslov	Matematički dokaz pomoću računala
Naslov (engleski)	Computer-assisted mathematical proof
Autor	Lukaš Mihael
Mentor	Zlatko Erjavec (mentor) MBZ: 246891
Član povjerenstva	Damir Horvat MBZ: 264435
Ustanova koja je dodijelila akademski / stručni stupanj	Sveučilište u Zagrebu Fakultet organizacije i informatike (Katedra za kvantitativne metode) Varaždin
Datum i država obrane	2018-09-24, Hrvatska
Znanstveno / umjetničko područje, polje i grana	DRUŠTVENE ZNANOSTI Informacijske i komunikacijske znanosti Organizacija i informatika
Sažetak	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.
Ključne riječi
Jezik	hrvatski
URN:NBN	urn:nbn:hr:211:743176
Studijski program	Naziv: Poslovni sustavi Vrsta studija: sveučilišni Stupanj studija: preddiplomski Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (univ.bacc.inf.)
Vrsta resursa	Tekst
Način izrade datoteke	Izvorno digitalna
Prava pristupa	Otvoreni pristup
Uvjeti korištenja
Repozitorij	Repozitorij Fakulteta organizacije i informatike
Datum i vrijeme pohrane	2019-03-04 11:31:36

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

Dabar