Výroková a predikátová logika - cvičení

Rozvrh: Středa 14:00-15:30, posluchárna S6.
Vyučující: Petr Gregor (gregor(at)ktiml.mff.cuni.cz)
Informace o přednášce: 2/2 Zk/Z NAIL062 v SISu, na stránce k přednášce

Procvičované příklady

• Cvičení 1 - 04. 10.: Vyjadřování formulemi různých řádů.
• Cvičení 2 - 11. 10.: Univerzálnost spojek, reprezentovatelnost, DNF a CNF.
• Cvičení 3 - 18. 10.: 2-SAT a Horn-SAT, sémantika vzhledem k teoriím.
• Cvičení 4 - 25. 10.: Analýza teorií s konečně prvovýroky, tablo metoda.
• Cvičení 5 - 01. 11.: Rezoluce ve výrokové logice.
• Cvičení 6 - 15. 11.: Test 1, syntax predikátové logiky
• Cvičení 7 - 22. 11.: Sémantika predikátové logiky.
• Cvičení 8 - 29. 11.: Podstruktury, extenze, definovatelnost.
• Cvičení 9 - 06. 12.: Tablo metoda v PL.
• Cvičení 10 - 13. 12.: Kompaktnost, prenexní tvar.
• Cvičení 11 - 20. 12.: Extenze o definice. Skolemizace. Herbrandovy modely.
• Cvičení 12 - 03. 01.: Rezoluce v PL.
• Cvičení 13 - 10. 01.: Test 2, izomorfismy, kategoričnost, kompletnost.

Hodnocení
Bude založené na bodech získaných za dva testy psané v průběhu semestru, za domácí úkoly a aktivitu na cvičeních.