V zimním semestru akademického roku 2014/2015 vedu jedno cvičení k přednášce Výroková a predikátová logika. Cvičení se koná v úterý od 12:20 v S11 na Malé Straně.

Informace týkající se průběhu cvičení budou postupně zveřejňovány na této stránce.

Požadavky na zápočet jsou aktivita na cvičení, řešení domácích úloh, docházka a napsání (pravděpodobně dvou) zápočtových písemek.

První zápočtová písemka se bude psát 11.11.2014. Náplní může být cokoli probrané do termínu písemky na cvičení či přednášce.

Náhradní zápočtová písemka se bude psát na základě individuální dohody.

Náhradní cvičení je rozvrženo na pátek 19.12. od 14:00 v učebně S11.

Druhá zápočtová písemka se bude psát 6.1.2015. Náplní může být cokoli probrané do termínu písemky na cvičení či přednášce.