Pavel Surynek's Archival Academic Page (no longer maintained)

Rozhodovací procedury a verifikace - Přednáška

Na této stránce budou postupně zveřejňovány materiály k přednášce.

Datum	Téma	Slidy 1x1	Slidy 2x2	Slidy 3x2
7.10.2009	Výroková logika, logika prvního řádu, normální tvary formulí	[PDF]	[PDF]	[PDF]
14.10.2009	Konstrukce SAT řešiče, DPLL, učení klauzulí, sledované literály	[PDF]	[PDF]	[PDF]
21.10.2009	Binární rozhodovací diagramy (BDD), logika s rovností, logika s neinterpretovanými funkcemi	[PDF]	[PDF]	[PDF]
28.10.2009	Státní svátek
4.11.2009	Odpadne (zahraniční konference)
11.11.2009	Rozhodovací procedury pro logiku s rovností, převod do výrokové logiky	[PDF]	[PDF]	[PDF]
18.11.2009	Konstrukce struktur pro logiku s rovností, ekonomická doména proměnných	[PDF]	[PDF]	[PDF]
25.11.2009	Lineární aritmetika, obecný simplex, metoda větví a mezí	[PDF]	[PDF]	[PDF]
2.12.2009	Logika aritmetiky bitových vektorů, pevná desetinná čárka	[PDF]	[PDF]	[PDF]
9.12.2009	Logika pro pole, logika pro ukazatele, model paměti, sémantika ukazatelů	[PDF]	[PDF]	[PDF]
16.12.2009	Ukazatelové struktury, rozhodovací procedury pro ukazatele, důkazy pomocí pravidel	[PDF]	[PDF]	[PDF]
6.1.2010	Kombinování logických teorií, Nelson-Oppenova metoda, kvantifikované formule, rozhodování QBF	[PDF]	[PDF]	[PDF]
13.1.2010	Využití SAT řešiče při rozhodování obecných teorií, integrace s DPLL, líné a snaživé kódování	[PDF]	[PDF]	[PDF]