Zpět na vyhledávání

Martin HOLUB

Bachelor's thesis

Topologická teorie datových typů

Topological theory of data types
Abstract:
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 …more
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 …more
 

Keywords

topologie datových typů reprezentace reálných čísel vyčíslitelnost
 
Language used: Czech
Date on which the thesis was submitted / produced: 5. 5. 2024

Thesis defence

  • Date of defence: 29. 5. 2024
  • Supervisor: doc. RNDr. Michal Krupka, Ph.D.

Citation record

Cite this text
The right form of listing the thesis as a source quoted

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

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakulta
https://stag.upol.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=294729 Reference to the local database file of the institution

Palacký University Olomouc

Faculty of Science

Bachelor programme / field:
Computer Science / Computer Science - Specialization in General Computer Science

Theses on a related topic

List of theses with an identical keyword.
 
Name
Posted by
Uploaded/Created
Rights
Theses g0v9cd g0v9cd/2
3/6/2024
Folders
Files
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í.