Výroková a predikátová logika

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 25.10. zadejte své preference na problémy, do konce listopadu odevzdejte hotový projekt jako odkaz na repozitář do SISu.

Příklady na cvičení

1. Úvod do výrokové logiky	priklady1.pdf	reseni1.pdf
2. Sémantika, vlastnosti teorií	priklady2.pdf	reseni2.pdf
3. Algebra výroků, Problém SAT	priklady3.pdf	reseni3.pdf
4. Tablo metoda	priklady4.pdf	reseni4.pdf
5. Rezoluční metoda	priklady5.pdf	reseni5.pdf
6. Základy predikátové logiky	priklady6.pdf	reseni6.pdf
7. Vlastnosti struktur a teorií	priklady7.pdf	reseni7.pdf
8. Tablo metoda v predikátové logice	priklady8.pdf	reseni8.pdf
9. Příprava na rezoluci v PL	priklady9.pdf	reseni9.pdf
10. Rezoluční metoda v PL	priklady10.pdf	reseni10.pdf

Co bylo probráno

Středa 9:00 S8

30.9.

• První cvičení před přednáškou 🙁
• Organizace, úvod do výrokové logiky
• příklady 1

7.10.

• Pokračování v předchozí hodině
• příklady 1

14.10.

• TBD
• příklady 2

21.10.

• TBD
• příklady 3

28.10.

• Státní svátek – odpadá

4.11.

• TBD
• příklady 4

11.11.

• Test VL
• příklady 5

18.11.

• Nejsem v ČR, cvičení bude suplované
• TBD
• příklady 6

25.11.

• TBD
• příklady 7

2.12.

• TBD
• příklady 8

9.12.

• TBD
• příklady 9

16.12.

• TBD
• příklady 10

6.1.

• Test z PL

Pátek 9:00 S10

2.10.

• První cvičení před přednáškou 🙁
• Organizace, úvod do výrokové logiky
• příklady 1

9.10.

• Pokračování v předchozí hodině
• příklady 1

16.10.

• TBD
• příklady 2

23.10.

• TBD
• příklady 3

30.10.

• TBD
• příklady 4

6.11.

• Sportovní den – odpadá

13.11.

• Test VL
• příklady 5

20.11.

• Nejsem v ČR, cvičení bude suplované
• TBD
• příklady 6

27.11.

• TBD
• příklady 7

4.12.

• TBD
• příklady 8

11.12.

• TBD
• příklady 9

18.12.

• TBD
• příklady 10

8.1.

• Test z PL