Filip Peterek
Master's thesis
Implementace jazyka TIL-Script
Implementation of the TIL-Script Language
Abstract:
Cílem práce je implementovat programovací jazyk TIL-Script. Jazyk TIL-Script slouží jako výpočetní varianta logického kalkulu TIL, jenž umožňuje jednoduchý strojový zápis konstrukcí Transparentní intenzionální logiky, ale také jejich následné provedení. Práce dále řeší praktické problémy s interpretací jazyka TIL-Script, a to například definice pojmenovaných funkcí, interakce s databází, apod. Dále …moreAbstract:
The goal of the thesis is the definition and implementation of the TIL-Script language. TIL-Script is a scripting language which serves the purpose of a computational variant of Transparent intensional logic, a logical calculus based on typed lambda calculi. TIL-Script allows for not just representation, but also execution of TIL constructions. This work also deals with practical problems of TIL-Script …more
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2023
Identifier:
http://hdl.handle.net/10084/150066
Thesis defence
- Date of defence: 31. 5. 2023
- Supervisor: Marie Duží
- Reader: Adam Albert
Citation record
Full text of thesis
Accessibility: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS)se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Contents of on-line thesis archive
Published in Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: VŠB – Technická univerzita OstravaVSB – Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
Montaguova logika ve srovnání s Transparentní intenzionální logikou
Daniel Balík -
Pravidla, jazyk a logika.
Petr Kuchyňka -
Logika dynamického diskursu
Ivana Kotová -
Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice
Andrej Gardoň -
Investigations into Transparent Intensional Logic: A Rule-based Approach
Ivo Pezlar -
Use-mention Distinction in Transparent Intensional Logic
Jan Křetínský -
Montaguova logika ve srovnání s Transparentní intenzionální logikou
Daniel Balík -
Dotazování s časovými informacemi nad znalostmi v transparentní intenzionální logice
Andrej Gardoň