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

Zimní semestr 2018/19

Rozvrh: Pátek 12:20-13:50, posluchárna S7.
Vyučující: Petr Gregor (gregor(at)ktiml.mff.cuni.cz)
Informace o přednášce: 2/2 Zk/Z NAIL062 v SISu, na stránce k přednášce

Procvičované příklady
Zde budou postupně zveřejňovány, z loňských cvičení jsou zde.

Hodnocení
Bude založené na bodech získaných za dva testy psané v průběhu semestru, za domácí úkoly a aktivitu na cvičeních.