• Nástroj na vyhodnocování lambda kalkulu 

      Autor: Václav Málek; Vedoucí práce: Polách Radomír; Oponent práce: 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 ...
    • Využití praktik OOP a FP pro vývoj iOS mobilní aplikace pro Ace Volleyball Academy 

      Autor: Adam Procházka; Vedoucí práce: Suchánek Marek; Oponent práce: Blizničenko Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)
      Tato bakalářská práce se zabývá vývojem mobilní aplikace pro platformu iOS určené pro organizaci volejbalových tréninků a turnajů v multi-paradigmatickém jazyce Swift. Aplikace umožňuje uživatelům sledovat svůj profil, ...