Now showing items 1-2 of 2

    • Cantor, Gödel, Turing a paradox lháře 

      Author: Martin Slávik; Supervisor: Trlifajová Kateřina; Opponent: Šolcová Alena
      (Č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á vysvětlením jednotlivých problémů, zasazením do souvislostí a rozborem důkazů. Cantorova věta, Gödelova věta a problémem zastavení Turingova stroje jsou tři důležitá negativní tvrzení z ...
    • Zpracování POSIX regulárních výrazů 

      Author: Oleksandr Zaporozhchenko; Supervisor: Guth Ondřej; Opponent: Trávníček Jan
      (Č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)
      Rozšířením tradiční syntaxe regulárních výrazů o zpětné reference vznikne mocný prostředek, kterým lze popsat jazyky silnější než regulární. Tato bakalářská práce se zabývá problémem zpracování regulárních výrazů se zpětnými ...