Logika a logické programování

Požadavky na studenta

Tento předmět je ukončen zápočtem (z témat na cvičeních) a zkouškou (z témat na přednáškách). Jsou stanoveny tyto požadavky:

Zápočet:

  • účast na cvičeních min. 75 %
  • splnění zápočtových testů min. 50 % bodů

Zkouška:

  • zkouškový test min. 50 % bodů, z témat probíraných na cvičení