Online Lambda Calculus Evaluator – Bc. Jakub Kadlecaj
Bc. Jakub Kadlecaj
Bachelor's thesis
Online Lambda Calculus Evaluator
Online Lambda Calculus Evaluator
Anotácia:
Táto bakalárska práca sa zaoberá návrhom a implementáciou interaktívnej učebnej pomôcky určenej k napomáhaniu pochopenia základných princípov lambda kalkulu – formalizmu ktorý je nielen dôležitý v oblasti teoretickej informatiky, ale aj aplikovateľný v reálnych súčasných výpočetných systémoch. Výsledkom tejto práce je online aplikácia prijímajúca termy λ-kalkulu vložené používateľom, umožňujúca ich …viacAbstract:
This thesis deals with the design and the implementation of an interactive learning tool, intended to aid in the understanding of the fundamental principles of lambda calculus—a formalism that is not only important to theoretical computer science, but also has many applications in today’s real-world systems. The product of this work is an online application accepting λ-calculus terms input by a user …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 28. 5. 2018
Identifikátor:
https://is.muni.cz/th/phetv/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2018
- Vedúci: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: RNDr. Vladimír Štill
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: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Artificial Intelligence and Natural Language Processing
Práce na příbuzné téma
-
Application of functional programming in the development of enterprise systems
Tomáš Pastirčák -
Web Application for Construction of Type Derivation Trees
Martin Škrovina -
Logic Puzzle Game Prototype with Semi-Automated Level Design
Jakub Smatana -
The Logic of Edgar Allan Poe's Short Stories
Kateřina Mazlová -
Online editor and simulator of logic circuits
Tomáš Lacko -
Algebraic models for quantum logic
Kadir Emir -
Deduction in Matching Logic
Adam Fiedler -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak