Prohlížení Bakalářské práce - 18101 dle autora "Michal Dvořák"
-
Resoluce pro predikátovou logiku
Autor: Michal Dvořák; Vedoucí práce: Starý Jan; Oponent práce: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)Výroková logika je rozhodnutelná – existuje algoritmus, který pro zadanou výrokovou formuli rozhodne, zda je splnitelná. Predikátová logika rozhodnutelná není – žádný algoritmus, který by v plné obecnosti rozhodoval o ... -
Vyhledávání opsaných programů
Autor: Michal Dvořák; Vedoucí práce: Vagner Ladislav; Oponent práce: Balík Miroslav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Plagiátorství zdrojových kódů je problematika, se kterou se musí potýkat nejeden vysokoškolský kurz programování. Tato bakalářská práce se zaměřuje na vylepšení detekce opsaných programů pro systém ProgTest, portál pro ...