[home]

Výroková a predikátová logika (2024/2025)

Cvičení k přednášce Výroková a predikátová logika

Organizace

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.

SAT projekt

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í.

Co bylo probráno

Zde bude krátké shrnutí každé hodiny včetně PDF se zadáním příkladů.

Po 30.9., Út 1.10.
Po 7.10., Út 8.10.
Po 14.10., Út 15.10.
Po 21.10., Út 22.10.
Po 4.11., Út 29.10.
Po 11.11., Út 12.11.
Po 18.11., Út 19.11.
Po 25.11., Út 26.11.
Po 2.12., Út 3.12.
Po 9.12., Út 10.12.
Po 16.12., Út 17.12.
Po 6.1., Út 7.1.