Update: 6th Mar 2018
Copyright © 2003-2013
Rozhodovací procedury a verifikace - Cvičení
 |
Na této stránce budou postupně zveřejňovány materiály ke cvičení.
| Datum | Téma | Úlohy |
| 7.10.2009 | Tseitinovo kódování, modelování | [PDF] |
| 14.10.2009 | Modelování, průběh DPLL, implikační graf | [PDF] |
| 21.10.2009 | BDD, logika s rovností | [PDF] |
| 28.10.2009 | Státní svátek | |
| 4.11.2009 | Odpadne (zahraniční konference) | |
| 11.11.2009 | Ekvivalence, složitost | [PDF] |
| 18.11.2009 | Adekvátní domény proměnných | [PDF] |
| 25.11.2009 | Obecný simplex | [PDF] |
| 2.12.2009 | Aritmetika bitových vektorů | [PDF] |
| 9.12.2009 | Logika pro pole a ukazatele | [PDF] |
| 2.12.2009 | Ukazatelové struktury, rozhodování ukazatelů | [PDF] |
| 6.1.2010 | Nelson-Oppenova procedura, QBF-formule | [PDF] |
| 16.1.2010 | Snaživé kódování, rozhodování teorií pomocí SAT řešiče | [PDF] |
|
Copyright © 2003-2014 |
|