Prohlížení katedra kybernetiky dle autora "Dostál Matěj"

Zobrazují se záznamy 1-2 z 2

    • Vícehodnotová koalgebraická logika 

      Autor: Dostál Matěj; Vedoucí práce: Bílková Marta; Oponent práce: Kurz Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-01-30)

    • Závislé typy a specifikace v teorii typů 

      Autor: Marika Slouková; Vedoucí práce: Dostál Matěj; Oponent práce: Horčík Rostislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
      Vývoj softwaru, který je nejen funkční, ale i formálně prokazatelně korektní, je klíčovou výzvou v informatice. V této bakalářská práce se zaměřujeme na formální dokazování korektnosti algoritmů pomocí důkazového asistenta ...