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] |