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íceAbstract:
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
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
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á fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Informatika - specializace Obecná informatika
Práce na příbuzné téma
Název
Vložil
Vloženo
Práva