NAIL062 Výroková a predikátová logika
| K | V |
|---|---|
| Učitel | RNDr. Jakub Bulín, Ph.D. |
| Odkaz do SISu: | NAIL062 |
Poznámky
Bulínovy poznámky [CZ] – asi nejaktuálnější
Pilátovy poznámky [EN]
Testy
Dokumentace
pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)