Logické usuzování a programování

Čá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ý

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:

courses/b4m36lup.txt · Poslední úprava: 2022/01/20 16:25 autor: wingrs
Nahoru
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0