Logické usuzování a programování

• Stránky předmětu: Logical reasoning and programming
• Přednášející: Karel Chvalovský, Ondřej Kuželka
• Cvičící: Karel Chvalovský, Radomír Černoch

Části:

1. Týden 1-4: Propositional satisfiability, satisfiability modulo theories
   • Přednášející a cvičící: Karel Chvalovský
2. Týden 5-8: Prolog
   • Přednášející: Ondřej Kuželka
   • Cvičící: Radomír Černoch
3. Týden 9-13: Answer set programming, first-order logic reasoning, proof assistants
   • Přednášející a cvičící: Karel Chvalovský