Browsing by Author "Čačková Lenka"

Now showing items 1-2 of 2

    • Algoritmy generující bispeciální faktory v D0L systémech 

      Author: Čačková Lenka; Supervisor: Starosta Štěpán; Opponent: Klouda Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Táto diplomová práca pojednáva o non-pushy a cirkulárnych D0L-systémoch. Poskytujeme v nej prehľad hlavných výsledkov týkajúcich sa D0L-systémov, hlavne metódy popisujúcej všetky bišpeciálne faktory v pevnom bode morfizmu. ...

    • Modely Peanovy aritmetiky a jejích fragmentů 

      Author: Čačková Lenka; Supervisor: Trlifajová Kateřina; Opponent: Kůrka Petr
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-09-05)