Zobrazeno 1 - 6
of 6
pro vyhledávání: '"teorija izračunljivosti"'
Autor:
Vasung, Patrik
U ovom dipomskom radu proučavamo izračunljive metričke prostore. Posebnu pažnju pridajemo takozvanim efektivno kompaktnim izračunljivim metričkim prostorima. U prvom poglavlju obrađujemo teoriju izračunljivosti. Uvodimo pojam rekurzivne funkc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3908::51a3eedc5b1e3ab57f538eeef0bb4c0d
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10741
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10741
Autor:
Murtezani, Karlo
David Hilbert objavio je 23 problema koji su doprinijeli razvoju matematike u 20. stoljeću. U Hilbertovom desetom problemu cilj je bio pronaći proces koji u konačnom broju operacija može odrediti ima li bilo koja jednadžba cjelobrojno rješenje.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3908::b4ff3b71cc480e64f7866c488508ffe7
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10158
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:10158
Autor:
Slivnik, Tadej
V delu predstavimo neskončna dvojiška drevesa in neskončne poti v drevesih. Definiramo Cantorjev prostor kot produkt števno neskončno kopij diskretnega prostora 2 = {0, 1}. Na kratko predstavimo Turingove stroje in izračunljivo analizo, v kater
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::606b46c6c764e8dfae210b8f509df72e
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821
Autor:
Pažek, Bojan
U ovom doktorskom radu proučavali su se uvjeti koji omogućuju da skupovi s nepovezanim komplementom sadrže izračunljivu točku, odnosno postaju izračunljivi. Štoviše, istraživanje ove disertacije obuhvaća i skupove koji su homeomorfni skupov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3908::dbae302fd3a8795ceac2d8ab5e5af852
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:5777
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:5777
Autor:
Burnik, Konrad
Glavni problem kojim se bavimo u ovom radu je utvrditi vrijedi li neki analogon implikacije koja je dokazana u [9] za poluizračunljive kompaktne mnogostrukosti M i koja glasi \(\partial M\) izračunljivo kompaktan \(\Rightarrow M\) izračunljivo kom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3908::6b18a3ae40472f42aac381680d9a6c59
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:5726/datastream/PDF
https://repozitorij.pmf.unizg.hr/islandora/object/pmf:5726/datastream/PDF
Autor:
Adžić, Miloš, Milošević, Senka
Publikováno v:
Kultura
U ovom radu bavićemo se dvema granama moderne logike onako kako su se one razvijale u Srbiji, počevši od kraja Drugog svetskog rata pa sve do danas. Reč je o teoriji izračunljivosti i teoriji dokaza. Prva od njih, teorija izračunljivosti, stica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10312::4cfa4e3191a181d80480e98461aa5e4c
http://reff.f.bg.ac.rs/bitstream/id/473/1540.pdf
http://reff.f.bg.ac.rs/bitstream/id/473/1540.pdf