Browsing Bakalářské práce - 18101 by Subject "splnitelnost"
Now showing items 1-1 of 1
-
Resoluce pro predikátovou logiku
; Supervisor: Starý Jan; Opponent: 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 ...