Logické usuzování a programování
-
Přednášející: Karel Chvalovský, Ondřej Kuželka
Cvičící: Karel Chvalovský, Radomír Černoch
Části:
Týden 1-4: Propositional satisfiability, satisfiability modulo theories
Týden 5-8: Prolog
Týden 9-13: Answer set programming, first-order logic reasoning, proof assistants
Cvičení
Zkouška
Winter semester 2021/2022 - PDF
The exam consists of two parts, prolog and FOL.
The exam was written, consisted of 14 tasks, totally 50 points.
Note for future: prolog was very easy and can give you easy points. So rewise few parts:
Nahoru