V zimním semestru akademického roku 2015/2016 vedu jedno cvičení k přednášce Výroková a predikátová logika. Cvičení se koná v pátek od 10:40 v S6 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.