Výuka v ZS 2016/2017:

Výroková a predikátová logika - cvičení

Výroková a predikátová logika - pokročilé cvičení