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 |
| 3.10.2012 | Výroková logika, logika prvního řádu, normální tvary formulí | [PDF] | [PDF] | [PDF] |
| 10.10.2012 | Konstrukce SAT řešiče, DPLL, učení klauzulí, backtracking řízený konflikty | [PDF] | [PDF] | [PDF] |
| 17.10.2012 | Binární rozhodovací diagramy (BDD) | [PDF] | [PDF] | [PDF] |
| 24.10.2012 | GSAT, WalkSAT, algoritmy posílání zpráv, výstrahami inspirovaná decimace | [PDF] | [PDF] | [PDF] |
| 31.10.2010 | Odpadá - cesta na veletrh Gaudeamus | |
||
| 7.11.2010 | Odpadá - zahraniční konference | |
||
| 14.11.2012 | Logika s rovnosí a neinterpretovanými funkcemi | [PDF] | [PDF] | [PDF] |
| 21.11.2012 | Nekonala se - nemoc | |
||
| 28.11.2012 | Konstrukce ekonomické domény pro logiku s rovností | [PDF] | [PDF] | [PDF] |
| 5.12.2012 | Logika pro bitové vektory | [PDF] | [PDF] | [PDF] |
| 12.12.2012 | Logika pro pole a ukazatele | [PDF] | [PDF] | [PDF] |
| 19.12.2012 | Ukazatelové struktury | [PDF] | [PDF] | [PDF] |
| 2.1.2013 | Kombinování rozhodovacích procedur | [PDF] | [PDF] | [PDF] |
| 9.1.2013 | Integrace SAT řešiče a jiných rozhodovacích procedur | [PDF] | [PDF] | [PDF] |
|
Copyright © 2003-2014 |
|