Bakalářská práce
Získaná ocenění: Cena děkana FI za vynikající závěrečnou práci

Online Lambda Calculus Evaluator

Jakub Kadlecaj, učo 445344
Anotace

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 …více

Abstract

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 …více

Klíčová slova
lambda calculus web application functional programming type theory JavaScript logic
Zadání práce
Cílem práce je vytvořit systém pro vyhodnocování výrazů lambda kalkulu, který bude mimo jiné sloužit jako výuková pomůcka pro předmět IA014 Advanced Functional Programming. Požadovaná funkcionalita: - webové rozhraní - odvozování po krocích - volba vyhodnocovací strategie - možnost zavedení aliasů pro častěji používané výrazy - podpora netypovaného LC, jednoduše typovaného LC a systému HM - možnost tisku, ukládání a exportu do LaTeXu
Administrativní informace
Práce zkontrolována:
29. 5. 2018 10:09, doc. Mgr. Jan Obdržálek, PhD., učo 1552
Plný text práce
1,1 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
28. 6. 2018
Práce byla úspěšně obhájena

Vedoucí

doc. Mgr. Jan Obdržálek, PhD., učo 1552
KTP FI MU

Oponent

RNDr. Vladimír Štill, Ph.D., učo 373979
KTP FI MU

Literatura

  • PIERCE, Benjamin C. Types and programming languages. Cambridge, Massachusetts: The MIT Press, 2002, xxi, 623. ISBN 9780262162098.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.