Browsing Fakulta informačních technologií by Subject "lambda calculus"

Now showing items 1-1 of 1

    • Implementace vyhodnocovače lambda výrazu 

      Author: Jan Sliacký; Supervisor: Máj Petr; Opponent: Scholtzová Jiřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-15)
      l-kalkul je stěžejní koncept počítačových věd. Jako takový je učen na většině univerzit vyučujících informatiku a počítačové vědy včetně FIT ČVUT. Pro mnoho studentů může být studium l-kalkulu a pochopení jeho významu a ...