Browsing Fakulta informačních technologií by Subject "lambda calculus evaluation"
Now showing items 1-1 of 1
-
Nástroj na vyhodnocování lambda kalkulu
; Supervisor: Polách Radomír; Opponent: Máj Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)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 ...