V zimním semestru akademického roku 2009/2010 vedu jedno cvičení k přednášce Výroková a predikátová logika.

Požadavky na zápočet jsou prezence, aktivita (řešení úlohy u tabule, dobrý nápad vyřčený z lavice, ...) a napsání zápočtových písemek, které se budou psát alespoň dvě.

Důležitá zpráva: 2.10.2009 se cvičení konat nebude, neboť v tento termín katedra KTIML pořádá výjezdní zasedání, kterého se účastním.

20.11.2009 se bude psát první zápočtová písemka. Náplní písemky může být vše, co bylo až dosud probráno na přednášce a na cvičení.

4.12.2009 se bude psát opravná písemka za první zápočtovou písemku.

8.1.2010 se bude psát druhá zápočtová písemka. Náplní písemky bude predikátová logika. 18.12.2009 bude také možnost psát opravnou písemku k první písemce.

Na základě dosavadního průběhu cvičení bylo stanoveno, že je třeba získat alespoň 6 bodů za aktivitu. Další opravná první zápočtová písemka se již nebude psát hromadně, možnost napsat si opravnou první zápočtovou písemku bude už pouze na základě individuální dohody (nejspíše ve zkouškovém období).

15.1.2010 se bude psát opravná písemka za druhou zápočtovou písemku.

Další opravná druhá zápočtová písemka (případně i první) se bude psát na základě individuální dohody ve zkouškovém období.

Na základě individuálních žádostí byl stanoven termín náhradní (druhé) písemky na pátek 29.1.2010 na 9:00 (sraz před místností 207).