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 …moreAbstract:
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
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
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á fakultaPalacký University Olomouc
Faculty of ScienceBachelor programme / field:
Computer Science / Computer Science - Specialization in General Computer Science
Theses on a related topic
Name
Posted by
Uploaded/Created
Rights