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.2010 | Tseitinovo kódování, modelování | [PDF] |
| 14.10.2010 | Modelování, průběh DPLL, implikační graf | [PDF] |
| 21.10.2010 | BDD, WalkSat, GSAT, faktorové grafy | [PDF] |
| 28.10.2010 | Státní svátek | |
| 4.11.2010 | E-learning: obecný simplex, Gomoryho řezy | [PDF] |
| 11.11.2010 | E-learning: pokračování | |
| 18.11.2010 | Logika s rovností, redukce, ekvivalence obvodů | [PDF] |
| 25.11.2010 | E-learning (bitové vektory, pevná desetinná čárka) | [PDF] |
| 2.12.2010 | Konstrukce struktur pro logiku s rovností | [PDF] |
| 9.12.2010 | Logika pro pole a ukazatele | [PDF] |
| 16.12.2010 | Ukazatelové struktury, rozhodování ukazatelů | [PDF] |
| 6.1.2011 | Nelson-Oppenova procedura, QBF-formule | [PDF] |
| 13.1.2011 | Snaživé kódování, rozhodování teorií pomocí SAT řešiče | [PDF] |
|
Copyright © 2003-2014 |
|