<?xml version="1.0" encoding="utf-8"?>
<Gradivo ID="83715" NadgradivoID="0" NRID="9151783" OceID="0" DomainUrl="https://repozitorij.uni-lj.si/" IzpisPolniUrl="https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&amp;id=83715" StOgledov="2646" StPrenosov="565" StOcen="0" VsotaOcen="0" DatumIzvoza="2026-09-15 16:54:39" OcenaSkupna="0" StPodgradiv="0" StudijskiProgramEvsID="1000425" JeIndeksirano="0" JeVecAvtorjev="0" DovoliZahtevkeZaDostop="0">
  <PID Url="http://hdl.handle.net/20.500.12556/RUL-83715">20.500.12556/RUL-83715</PID>
  <Naslov>Chaitinova konstanta Omega - od definicije do danes</Naslov>
  <Podnaslov></Podnaslov>
  <TujJezik_Naslov>Chaitin&#039;s constant Omega - from definition to present</TujJezik_Naslov>
  <TujJezik_Podnaslov></TujJezik_Podnaslov>
  <Opis>V delu je predstavljena problematika, ki je privedla do odkritja Chaitinove konstante Ω, ki je verjetnost ustavitve univerzalnega samoomejenega Turingovega stroja. Podana je njena definicija. Predstavljene so tudi njene zanimivejše lastnosti, med katerimi sta najpomembnejši naključnost in neizračunljivost. Konstanta Ω vnaša naključnost in neizračunljivost v različna področja matematike in računalništva, kar je velika težava za tradicionalen pristop k problemom, ki je še vedno prevladujoč. Predstavljene so tri prevedbe znanih problemov z različnih področij matematike, ki povezujejo bite konstante Ω z rešitvami teh problemov. V nalogi so povzete tudi novejše raziskave v zvezi s konstanto Ω, predvsem na področju računanja točnih začetnih bitov tega v celoti neizračunljivega števila. Na koncu pa je navedenih še nekaj primerov verjetnosti ustavitve pri praktičnih primerih. Predstavitev Chaitinove konstante Ω skuša biti kar se da intuitivna in ob uporabi le najnujnejšega matematičnega aparata še vedno natančna.</Opis>
  <TujJezik_Opis>Problems, that led to the discovery of Chaitin&#039;s constant Ω are presented in this work. The constant Ω is the halting probability of the universal self-delimited Turing machine. Its definition is given. Its interesting features are presented, among which randomness and uncomputability are the most important. The constant Ω brings randomness and uncomputability to different areas of mathematics and computer science. This is a great problem for the traditional approach to problem solving. Three transformations of famous problems from different areas of mathematics, which relate bits of Ω to solutions to these problems, are given. Recent researches connected whit the constant Ω, mainly about computing its exact initial bits, are presented. A few examples of the halting probability in practise are listed. The presentation of Chaitin&#039;s constant Ω tries to be as intuitive as possible and still exact, while using only the necessary mathematics.</TujJezik_Opis>
  <KljucneBesede>
    <Beseda>Omega</Beseda>
    <Beseda>Chaitinova konstanta</Beseda>
    <Beseda>verjetnost ustavitve</Beseda>
    <Beseda>problem ustavitve</Beseda>
    <Beseda>neizračunljivost</Beseda>
    <Beseda>naključnost</Beseda>
    <Beseda>Turingov stroj</Beseda>
  </KljucneBesede>
  <TujJezik_KljucneBesede>
    <Beseda>Omega</Beseda>
    <Beseda>Chaitin&#039;s constant</Beseda>
    <Beseda>halting probability</Beseda>
    <Beseda>halting problem</Beseda>
    <Beseda>uncomputability</Beseda>
    <Beseda>randomness</Beseda>
    <Beseda>Turing machine</Beseda>
  </TujJezik_KljucneBesede>
  <Potrjeno>true</Potrjeno>
  <JeZaklenjeno>false</JeZaklenjeno>
  <JeRecenzirano>false</JeRecenzirano>
  <Zaloznik></Zaloznik>
  <Izvor></Izvor>
  <Jezik ID="1060" ISO639-3="slv">Slovenski jezik</Jezik>
  <TujJezik ID="1033" ISO639-3="eng">Angleški jezik</TujJezik>
  <Povezave></Povezave>
  <Pokrivanje></Pokrivanje>
  <CasovnoPokritje></CasovnoPokritje>
  <AvtorskePravice></AvtorskePravice>
  <VrstaGradiva ID="m5" DRIVER="info:eu-repo/semantics/bachelorThesis">Diplomsko delo</VrstaGradiva>
  <DatumVstavljanja>2016-06-23 15:20:05</DatumVstavljanja>
  <DatumObjave>2016-06-23 15:20:06</DatumObjave>
  <DatumSpremembe>2022-08-02 00:13:45</DatumSpremembe>
  <DatumTrajnegaHranjenja>0000-00-00 00:00:00</DatumTrajnegaHranjenja>
  <LetoIzida>2016</LetoIzida>
  <LetoIzidaDo>0</LetoIzidaDo>
  <KrajIzida></KrajIzida>
  <LetoIzvedbe>0</LetoIzvedbe>
  <KrajIzvedbe></KrajIzvedbe>
  <Opomba></Opomba>
  <StStrani></StStrani>
  <StevilcenjeNivo1></StevilcenjeNivo1>
  <StevilcenjeNivo2></StevilcenjeNivo2>
  <Kronologija></Kronologija>
  <Patent_Stevilka></Patent_Stevilka>
  <Patent_DatumVeljavnosti>0000-00-00</Patent_DatumVeljavnosti>
  <VerzijaDokumenta>NiDoloceno</VerzijaDokumenta>
  <StatusObjaveDrugje>NiDoloceno</StatusObjaveDrugje>
  <VrstaStroskaObjave>NiDoloceno</VrstaStroskaObjave>
  <DatumPoslanoVRecenzijo>0000-00-00</DatumPoslanoVRecenzijo>
  <DatumSprejetjaClanka>0000-00-00</DatumSprejetjaClanka>
  <DatumObjaveClanka>0000-00-00</DatumObjaveClanka>
  <EmbargoDo>1970-01-01</EmbargoDo>
  <VrstaEmbarga ID="1" Naziv="Takojšnja javna objava" OpenAIREDostop="openAccess"></VrstaEmbarga>
  <Osebe>
    <Oseba ID="64045" Ime="METKA" Priimek="SELAK" AltIme="" VlogaID="70" VlogaNaziv="Avtor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
    <Oseba ID="28390" Ime="Borut" Priimek="Robič" AltIme="" VlogaID="991" VlogaNaziv="Mentor" ConorID="" Afiliacija="" ArrsID="4646" ORCID=""></Oseba>
  </Osebe>
  <Identifikatorji>
    <Identifikator ID="16" Sifra="VisID" Naziv="VisID" URL="">17689</Identifikator>
  </Identifikatorji>
  <Datoteke>
    <Datoteka ID="86752" DatotekaNRID="8951785" NamenDatotekeID="2" NamenDatoteke="Predstavitvena datoteka" FormatDatotekeID="2" FormatDatoteke=".pdf" MIME="application/pdf" IkonaFormata="pdf.png" IkonaFormataPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/fileTypes/pdf.png" VelikostDatoteke="622905" VelikostDatotekeKratko="608,31 KB" DatumVstavljanja="2016-06-23 15:20:06" JeZbrisana="false" JeJavnoVidna="true" JeIndeksirana="true" JeVidno="true" VidnoOd="01.01.1970" Zaporedje="0">
      <Naziv>Selak_Metka_-_Chaitinova_konstanta_Omega_-_od_definicije_do_danes.pdf</Naziv>
      <OrgNaziv>Selak_Metka_-_Chaitinova_konstanta_Omega_-_od_definicije_do_danes.pdf</OrgNaziv>
      <URL></URL>
      <Opis></Opis>
      <OpisTujJezik></OpisTujJezik>
      <UrlObdelave></UrlObdelave>
      <FrekvencaAzuriranjaID>1</FrekvencaAzuriranjaID>
      <Verzija></Verzija>
      <MD5>573D28A69E9EB33F9D252B82F2B3044D</MD5>
      <SHA256>d319c5bb6f387a673862e8eed3f2896749c6dd3598bb01554ef4a0be84b06748</SHA256>
      <UUID>5451fbe1-a1ae-11eb-a523-00155dcfd717</UUID>
      <PID>20.500.12556/rul/09d51eaa-6728-45c2-bf57-d3530ca0e6fe</PID>
      <PrenosPolniUrl>https://repozitorij.uni-lj.si/Dokument.php?lang=slv&amp;id=86752</PrenosPolniUrl>
      <Vsebine>
        <Vsebina TipVsebine="GoloBesedilo" JezikID="1060" Oznaka="" Dolzina="83987"></Vsebina>
      </Vsebine>
    </Datoteka>
  </Datoteke>
  <Organizacije>
    <Organizacija OrganizacijaID="25" Kratica="FRI" ZavodEvsID="0000066" Logo="" LogoPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/logo/">Fakulteta za računalništvo in informatiko</Organizacija>
  </Organizacije>
  <OrganizacijeVira>
  </OrganizacijeVira>
  <MetodeZbiranjaPodatkov>
  </MetodeZbiranjaPodatkov>
  <TipologijaDela ID="0" Koda="0" Naziv="Ni določena" SchemaOrg="CreativeWork"></TipologijaDela>
  <Ostalo>
    <StIrodsDatotek>0</StIrodsDatotek>
    <StDatotekPodTrajnimEmbargom>0</StDatotekPodTrajnimEmbargom>
    <StDatotekZOmejenimDostopom>0</StDatotekZOmejenimDostopom>
  </Ostalo>
</Gradivo>
