Výroková a predikátová logika

Cvičení probíhají ve v pátek ve 12:20 v učebně S8.

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.

Domácí úkoly

2. Výroková logika - termín 19. listopadu 2026 ve 12:00, detaily v pdf
3. Predikátová logika - termín 17. prosince 2026 ve 12:00, detaily v pdf

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.