Prohlížení Bakalářské práce - 18101 dle autora "Trlifajová Kateřina"

Zobrazují se záznamy 1-3 z 3

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

      Autor: Martin Slávik; Vedoucí práce: Trlifajová Kateřina; Oponent práce: Š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 ...

    • Modely Peanovy aritmetiky a jejích fragmentů 

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

    • Predikce počtu odpovědí na inzerát 

      Autor: Šmíd Martin; Vedoucí práce: Kordík Pavel; Oponent práce: Trlifajová Kateřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-16)
      Tato práce se zabývá metodami prediktivního modelování a vytěžování znalostí z textu. Na základě dat o pracovních inzerátech je cílem predikovat počet odpovědí na inzerát. Jednotlivé atributy jsou prozkoumány a zajímavé ...