K získání zápočtu je třeba získat celkem 140 bodů a z každého testu minimálně 40 bodů. V průběhu semestru budou dva zápočtové testy. První (út 3.11.,pá 13.11. ) bude pokrývat část přednášky "Výroková logika", druhý (5.1./8.1.) část přednášky "Predikátová logika". (Část přednášky "Pokročilé partie" se budou testovat u zkoušky.)
- Za každý z testů lze získat maximálně 100 bodů.
- Kromě toho lze získat maximálně 50 bodů aktivitu v hodině, 'teoretické' domácí úkoly a projekt v SAT solveru.
- Za projekt můžete dostat body pouze, pokud do konce listopadu odevzdáte 'rozumně funkční' řešení s vysvětlením postupu řešení, funkčním příkladem vstupů, spuštění a výstupů včetně jejich interpretace a následně v rámci krátké konzultace prezentujete (termíny pro prezentaci budou v prosinci a lednu).
- Volba tématu projektu se otvírá ???(dohodneme na cvičeních, např.14.10. v 7:30).
- Projekt (link na github) nutné odevzdat do konce listopadu do SIS Průběžné mezivýsledky a někdy (později) na konzultaci předvést.
- Témata a zákaz AI i cizí pomoci můžete studovat už nyní sat-projekt.pdf
Na konci semestru bude možnost opravit každý test jednou napsáním opravného testu. Termín by měl být v prvních dvou týdnech zkouškového období.
Zápočty z loňského roku se neuznávají.