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

courses/b4m36lup.txt · Poslední úprava: 2021/01/27 10:28 autor: bartefil
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