====== Logické usuzování a programování ======
FIXME
  * Stránky předmětu: TBA
  * Přednášející: TBA
  * Cvičící: TBA

===== Cvičení =====



===== Zkouška =====


~~DISCUSSION~~