Nástroj na vyhodnocování lambda kalkulu
Lamda calculus evaluation tool
Type of document
bakalářská prácebachelor thesis
Author
Václav Málek
Supervisor
Polách Radomír
Opponent
Máj Petr
Field of study
Teoretická informatikaStudy program
InformatikaInstitutions assigning rank
katedra teoretické informatikyRights
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item recordAbstract
Tato bakalářská práce se zabývá analýzou, návrhem a implementací nástroje pro vyhodnocování lambda kalkulu. Vytvořený nástroj, nazvaný LambdaEvaluator, podporuje normální a aplikativní vyhodnocování, symbolické názvy a přímé vyhodnocení matematických a logických výrazů. Největším přínosem nástroje je schopnost zobrazit uživateli detailní informace o průběhu vyhodnocování, díky čemuž může být použit při studiu lambda kalkulu. LambdaEvaluator je úspěšně otestován na příkladech z předmětu Programovací paradigmata.Na přiloženém CD se nalézá nástroj LambdaEvaluator, jeho zdrojové kódy a manuál k použití. This bachelor thesis deals with analysis, design and implementation of lambda calculus evaluation tool. The evaluation tool, called LambdaEvaluator, supports normal-order and applicative-order evaluation, symbolic names and direct evaluation of math and logic expressions. The main benefit of the tool is the ability to display detailed information about the evaluation process to the user, therefore it can be used to study the lambda calculus. LambdaEvaluator is successfully tested on examples from course Programming paradigms. On the attached CD, there are the LambdaEvaluator tool, its source code, and user manual.
Collections
- Bakalářské práce - 18101 [349]
Related items
Showing items related by title, author, creator and subject.
-
Využití povrchových akustických vln pro monitorování mazací vrstvy mezi valivými elementy a dráhou ložiska
Author: Jakub Chmelař; Supervisor: Dynybyl Vojtěch; Opponent: Němček Miloš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-03-01)Tato disertační práce se zabývá tématem snímání mazací vrstvy v ložiskách s valivými elementy. Problémy s mazáním jsou dle statistik nejčastější příčinou selhání valivých ložisek a zdrojem nákladných servisních zásahů. ... -
Doporučovací systém pro chytré domácnosti
Author: Cyril Urban; Supervisor: Štepaník Radim; Opponent: Vančura Vojtěch
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-04)Tato diplomová práce se zabývá vytvořením nezávislé služby pro systémy domácí automatizace, která dokáže na základě IoT senzorických dat doporučovat nastavení chytré domácnosti. Hlavním účelem této služby je poskytovat ... -
Jádro-jaderné srážky
Author: Ondřej Lomický; Supervisor: Bielčík Jaroslav; Opponent: Křelina Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-09-04)Jádro-jaderné srážky vedou k zformování nového skupenství hmoty – kvark-gluonového plazmatu. Fázový přechod z hadronové fáze do kvark-gluonového plazmatu je cílem současného intenzivního zkoumání. Jedno z míst, kde se vědci ...