Výroková a predikátová logika

Cvičení probíhají ve středu v 9:00 v S6.

Požadavky na zápočet

Zápočet bude udělen za získání 140 bodů za semestr. Body lze získat třemi způsoby:

• domácí úkoly - budou zadány celkem dva úkoly po 5 bodech
• projekt na SAT solver - 35 bodů
• testy - budeme psát dva testy, za každý bude možné získat 100 bodů, zároveň potřebujete z každého získat alespoň 40 bodů (každý test můžete jednou opakovat)
• aktivita - můžete získat až 5 bodů za aktivitu - pokud budete aktivní na dvou různých cvičeních, dostanete 1 bod

Co to znamená býti aktivní? Hlavním cílem je vás motivovat k tomu, abyste se ptali nebo odpovídali na mé otázky, aktivita je tedy definována celkem široce, např. vyřešení příkladu, odpověď na otázku (nezávisle na správnosti, pokud se snažíte správně odpovědět), nebo i položení otázky týkající se probírané látky.

Další zdroje

• Skripta Jakuba Bulína
• Moje poznámky k přednášce (anglicky)

Příklady ze cvičení

Na cvičení budeme používat především příklady z webů cvičení Petra Gregora a Jakuba Bulína. Odkazy na příklady níže se týkají právě jich, pro cvičení Petra Gregora používám zkratku PG, pro Jakuba Bulína JB.