NAIL062 Výroková a predikátová logika: cvičení
Zde najdete informace k mému cvičení.
Program cvičení
0. cvičení (30.9.)
- Program: Úvod. Vyjadřování různých vlastností ve výrokové a predikátové logice. Připomenutí matematických pojmů.
- Materiály: cviceni0.pdf
1. cvičení (7.10.)
- Program: Syntaxe a sémantika výrokové logiky. Univerzálnost logických spojek.
- Materiály: cviceni1.pdf
2. cvičení (14.10.)
- Program: Syntaxe a sémantika výrokové logiky, převod do CNF a DNF.
- Materiály: cviceni2.pdf
3. cvičení (21.10.)
- Program: Počítání výroků až na ekvivalenci (Lindenbaum-Tarského algebra). 2-SAT a implikační graf. Horn-SAT a jednotková propagace. Algoritmus DPLL. Kódování problémů do SAT.
- Materiály: cviceni3.pdf, ukázka SAT solveru včetně řešiče Glucose
5. cvičení (4.11.)
- Program: Tablo metoda ve výrokové logice.
- Materiály: cviceni5.pdf
6. cvičení (11.11.)
- Program: Rezoluce ve výrokové logice. Aplikace věty o kompaktnosti. Hilbertův kalkulus.
- Materiály: cviceni6.pdf
7. cvičení (18.11.)
- 1. zápočtový test
- Program: Syntaxe a sémantika predikátové logiky.
- Materiály: cviceni7.pdf
8. cvičení (25.11.)
- Program: Struktury a podstruktury. Extenze teorií, extenze o definice. Definovatelné množiny.
- Materiály: cviceni8.pdf
9. cvičení (2.12.)
- Program: Tablo metoda v predikátové logice, jazyky s rovností.
- Materiály: cviceni9.pdf
10. cvičení (9.12.)
- Program: Aplikace věty o kompaktnosti. Převod do PNF. Skolemizace. Herbrandova věta.
- Materiály: cviceni10.pdf
11. cvičení (16.12.)
- Program: Unifikace. Rezoluce v predikátové logice.
- Materiály: cviceni11.pdf
13. cvičení (6.1.)
- 2. zápočtový test
- Program: Vybraná témata z teorie modelů
- Materiály: cviceni13.pdf
Užitečné odkazy
Zápočet
Často kladené dotazy
-
Co mám dělat, pokud mám otázku ke cvičení? – Podívejte se sem do ČKD. Pokud nenajdete odpověď, napište mi email; do předmětu zprávy, prosím, napište “nail062” a “cvičení”.
-
Co mám dělat, pokud chci konzultaci? – Domluvte se se mnou po cvičení, přijďte na rozvržené konzultační hodiny, nebo si domluvme termín konzultace emailem.