Algoritamski nerješivi masovni algoritamski problemi

završni rad

• Naslov (engleski): Algorithmically unsolvable mass algorithmic problems
• Autor: Benko Ilona
• Mentor: Mirko Čubrilo (mentor); MBZ: 135963
• Član povjerenstva: Alen Lovrenčić; MBZ: 218662
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet organizacije i informatike; (Katedra za teorijske i primijenjene osnove informacijskih znanosti); Varaždin
• Datum i država obrane: 2018-08-27, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: DRUŠTVENE ZNANOSTI; Informacijske i komunikacijske znanosti; Organizacija i informatika

Sažetak

Pojam „algoritam“ je suštinski intuitivan. Prilikom opisivanja istog, formalizacija se čini kao korektnija opcija zbog nepreciznosti i problema s interpretacijom govornog jezika. To je učinjeno pomoću Turingovog stoja, koji se ističe kao jedno od pogodnih rješenja imajući u vidu glavna svojstva i zahtjeve koje svaki algoritam mora zadovoljavati. Nadalje, opisan je pojam izračunjivosti po Turingu, pojam univerzalnog Turingovog stroja, te problem zaustavljanja Turingovog stroja. U tom kontekstu, formulirana je metoda dokazivanja algoritamske nerješivosti masovnih algoritamskih problema metodom svodivosti njihove rješivosti na nerješive masovne algoritamske probleme. Metoda je izložena i primijenjena nad nekoliko primjera dokazivanja nerješivosti nerješivih masovnih algoritamskih problema.

• Ključne riječi: pojam algoritma; masovni algoritamski problemi; Turingovi strojevi; univerzalni Turingov stroj, algoritamska nerješivost
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:211:623828
• Studijski program: Naziv: Informacijski 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
• Datum i vrijeme pohrane: 2020-04-27 08:09:05