Přednáška 2
Konstrukce SAT řešiče, DPLL, učení klauzulí, backtracking…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (1.11 MB)
11. 12. 2011
Přednáška 1
Výroková logika, logika prvního řádu, normální tvary…
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (873.2 kB)
11. 12. 2011
Seminář 11
Snaživé kódování, rozhodování teorií pomocí SAT řešiče
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (549.72 kB)
11. 12. 2011
Seminář 10
Nelson-Oppenova procedura, QBF-formule
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (636.82 kB)
11. 12. 2011
Seminář 9
Ukazatelové struktury, rozhodování ukazatelů
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (533.48 kB)
11. 12. 2011
Seminář 8
Logika pro pole a ukazatele
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (515.08 kB)
11. 12. 2011
Seminář 7
Konstrukce struktur pro logiku s rovností
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (441.17 kB)
11. 12. 2011
Seminář 6
E-learning (bitové vektory, pevná desetinná čárka)
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (440.57 kB)
11. 12. 2011
Seminář 5
Logika s rovností, redukce, ekvivalence obvodů
Rozhodovací procedury a verifikace [NAIL094]
UK v Praze
PDF (454.84 kB)
11. 12. 2011