Prohlížení dle autora "Chvalovský Karel"

Zobrazují se záznamy 1-3 z 3

    • Architektury neuronových sítí pro heuristické funkce v obecných plánovacích problémech 

      Autor: Vítězslav Šimek; Vedoucí práce: Pevný Tomáš; Oponent práce: Chvalovský Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-05)
      Tato bakalářská práce porovnává architektury neuronových sítí pro heuristické funkce v obecných plánovacích problémech. Zkoumá různé metody kódování plánovacích problémů a využití grafových neuronových sítí. Dále navrhuje ...

    • Konvergence Double Oracle algoritmu 

      Autor: Vojtěch Outrata; Vedoucí práce: Horčík Rostislav; Oponent práce: Chvalovský Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-09)
      Má bakalářská práce je soustředěna na specifickou sekci teorie her zvanou hry s nulovým součtem. Zaměřuji se na Double Oracle algoritmus vyvinutý pro hledání Nashova ekvilibria ve hrách s nulovým součtem, kde jeden nebo ...

    • Strojové ověření konstruktivního důkazu úplnosti klasické výrokové logiky 

      Autor: Jáchym Šimon; Vedoucí práce: Lávička Tomáš; Oponent práce: Chvalovský Karel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-29)
      Cílem této práce je strojové ověření důkazu o úplnosti klasická výrokové logiky. Nejdříve si řekneme něco o klasické výrokové logice a uvedeme si zákldní pojmy. Druhá kapitola pojednává o dokazovači Lean. Ukážeme si, jak ...