Cvičení k přednášce Výroková a predikátová logika
K získání zápočtu je třeba získat celkem alespoň 140 bodů (z 250 možných), a zároveň alespoň 40 bodů z každého z testů.
V průběhu semestru budou dva zápočtové testy (na 45 minut). První (zhruba v polovině semestru) bude pokrývat část přednášky “Výroková logika” (vzorový test), druhý (ke konci semestru) část přednášky “Predikátová logika”(vzorový test). Za každý z testů lze získat maximálně 100 bodů. Pro každý z testů budete mít nárok na jeden opravný pokus na začátku zkouškového období. Žádné další opravné možnosti nebudou. Kromě testů lze získat až 40 bodů za projekt na aplikaci SAT solveru a 10 bodů za aktivitu na hodinách.
Účast na cvičení není povinná, nicméně je velice doporučovaná, protože se na cvičení většinou dozvíte užitečné rady, které vám usnadní řešení zápočtových písemek i projektu.
Podrobné zadání projektu naleznete zde. Do 20. 10. zašlete své preference a problémy, do 17. 11. odevzdejte hotový projekt.
Je zakázáno o úkolech až do termínu odevzdání jakýmkoliv způsobem komunikovat s kýmkoliv kromě cvičícího. Řešení musí být 100% vaší vlastní prací, a je vaší povinností zajistit, že žádná další osoba nebude mít přístup k vašemu řešení.
Zde bude krátké shrnutí každé hodiny včetně PDF se zadáním příkladů.