Prohlížení Bakalářské práce - 18101 dle předmětu "resolution"

Zobrazují se záznamy 1-1 z 1

    • 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 ...