Update: 6th Mar 2018
Copyright © 2003-2013
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.2010 | Výroková logika, logika prvního řádu, normální tvary formulí | [PDF] | [PDF] | [PDF] |
| 14.10.2010 | Konstrukce SAT řešiče, DPLL, učení klauzulí, backtracking řízený konflikty | [PDF] | [PDF] | [PDF] |
| 21.10.2010 | Binární rozhodovací diagramy (BDD), GSAT, WalkSAT, algoritmy posílání zpráv, výstrahami inspirovaná decimace | [PDF] | [PDF] | [PDF] |
| 28.10.2010 | Státní svátek | |
||
| 4.11.2010 | Odpadne (zahraniční konference) - Samostudium formou E-learningu: Lineární aritmetika, obecný simplex, metoda větví a mezí | [PDF] | [PDF] | [PDF] |
| 11.11.2010 | Odpadne (zahraniční konference) - Pokračování samostudia formou E-learningu | |
||
| 18.11.2010 | Logika s rovností a neinterpretovanými funkcemi, redukce na výrokovou logiku, rozhodování logiky s rovností | [PDF] | [PDF] | [PDF] |
| 25.11.2010 | Odpadne (zahraniční konference) - Samostudium formou E-learningu: bitové vektory, pevná desetinná čárka | [PDF] | [PDF] | [PDF] |
| 2.12.2010 | Konstrukce struktur pro logiku s rovností, ekonomická doména pro logiku s rovností | [PDF] | [PDF] | [PDF] |
| 9.12.2010 | Logika pro pole, logika pro ukazatele, model paměti, sémantika ukazatelů | [PDF] | [PDF] | [PDF] |
| 16.12.2010 | Ukazatelové struktury, rozhodovací procedury pro ukazatele, důkazy pomocí pravidel | [PDF] | [PDF] | [PDF] |
| 6.1.2011 | Kombinování logických teorií, Nelson-Oppenova metoda, kvantifikované formule, rozhodování QBF | [PDF] | [PDF] | [PDF] |
| 13.1.2011 | 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] |
|
Copyright © 2003-2014 |
|