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

• Přednáška a loňská přednáška doc. Gregora

• Cvičení doc. Gregora, dr. Vomlelové, a dr. Hrice

Zápočet

• Podmínky pro získání zápočtu
• předběžný termín 1. zápočtového testu (výroková logika): 18.11. Vzorový test: výroková logika
• předběžný termín 2. zápočtového testu (predikátová logika): 6.1. Vzorový test: predikátová logika
• předběžný termín opravného testu: v prvních dvou týdnech zkouškového období

Č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.