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