Obsah

Logické usuzování a programování

FIXME

Cvičení

Zkouška