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

Institucijski repozitorij: Repozitorij Fakulteta organizacije i informatike

Citirajte ovaj rad

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

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

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

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

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 19.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:743176

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
Podaci o radu
NaslovMatematički dokaz pomoću računala
Naslov (engleski)Computer-assisted mathematical proof
AutorLukaš Mihael
MentorZlatko Erjavec (mentor)
MBZ: 246891
Član povjerenstvaDamir 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 obrane2018-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
Jezikhrvatski
URN:NBNurn:nbn:hr:211:743176
Studijski programNaziv: 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 resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Imenovanje-Nekomercijalno-Bez prerada 3.0 (CC BY-NC-ND 3.0)
Datum i vrijeme pohrane2019-03-04 11:31:36