Prohlížení Bakalářské práce - 18101 dle předmětu "resoluční metoda"
Zobrazují se záznamy 1-1 z 1
-
Resoluce pro predikátovou logiku
; 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 ...