NAIL062 Výroková a predikátová logika
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)
Bulínovy poznámky [CZ] – asi nejaktuálnější
Pilátovy poznámky [EN]
Poznámky Kuby Smolíka - ručně psané
pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)