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
Nahoru