NAIL062 Výroková a predikátová logika

KV
UčitelRNDr. Jakub Bulín, Ph.D.
Odkaz do SISu:NAIL062
Diskuze:Discord kanál

Stop doing logic

Poznámky

Testy

Videa

Dokumentace

  • pycosat - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)