Filip Peterek
Master's thesis
Implementace jazyka TIL-Script
Implementation of the TIL-Script Language
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 30. 4. 2023
Identifikátor:
http://hdl.handle.net/10084/150066
Obhajoba závěrečné práce
- Obhajoba proběhla 31. 5. 2023
- Vedúci: Marie Duží
- Oponent: Adam Albert
Citační záznam
Plný text práce
Právo: 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.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB – Technická univerzita OstravaVSB – Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / odbor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
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ň