Zpět na vyhledávání

Martin HOLUB

Bakalářská práce

Topologická teorie datových typů

Topological theory of data types
Anotace:
Topologická teorie datových typů dává do souvislosti problémy z teorie vyčíslitelnosti s problémy z topologie, a přináší tak na ně nový úhel pohledu. V této práci tuto teorii zformulujeme s pomocí výpočetního modelu částečně rekurzivních funkcí. Topologickou teorii datových typů stavíme na nově vytvořené definici datového typu, která zohledňuje způsob jeho reprezentace v počítači. Na základě této teorie …více
Abstract:
The topological theory of data types links problems from the computability theory to problems from topology, and thus brings a new perspective to them. In this thesis, we formulate this theory using a computational model of partially recursive functions. We build the topological theory of data types on a newly developed definition of a data type that takes into account the method of its representation …více
 

Klíčová slova

topologie datových typů reprezentace reálných čísel vyčíslitelnost
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 5. 5. 2024

Obhajoba závěrečné práce

  • Obhajoba proběhla 29. 5. 2024
  • Vedoucí: doc. RNDr. Michal Krupka, Ph.D.

Citační záznam

Citovat tuto práci
Jak správně citovat práci

HOLUB, Martin. Topologická teorie datových typů. Olomouc, 2024. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta
https://stag.upol.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=294729 Odkaz na soubor do lokálního úložiště instituce

UNIVERZITA PALACKÉHO V OLOMOUCI

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Informatika / Informatika - specializace Obecná informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
 
Název
Vložil
Vloženo
Práva
Theses g0v9cd g0v9cd/2
3. 6. 2024
Složky
Soubory
thesis kidiplom.pdf
MARKLOVÁ, E.
4. 6. 2024

  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.