Browsing katedra počítačů by Subject "počítání vážených modelů v logice prvního řádu"

Now showing items 1-1 of 1

    • Počítání vážených modelů pro některé doménově-liftovatelné jazyky 

      Author: Václav Kůla; Supervisor: Tóth Jan; Opponent: 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-12)
      Tato práce studuje počítání vážených modelů v logice prvního řádu. Počítání vážených modelů v logice prvního řádu může být použito k řešení mnoha praktických problémů a bylo dokázáno, že pro určité logické fragmenty je ...