Syntax highlighting of NAIL062

# **NAIL062** Výroková a predikátová logika

<{Box(infobox)}>
|K    |V    |
|-----|-----|
| Učitel | [doc. Mgr. Petr Gregor, Ph.D.](https://ktiml.mff.cuni.cz/~gregor/) |
| **Odkaz do SISu:** | [NAIL062](https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL062) |
<{/Box}>

## Poznámky
- [Pilátovy poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf)
- [Řešené písemky](https://docs.google.com/document/d/1eZFQWMl9gHtISmeJ0v6BCBj3vDoY27dFCB4N_w1OpRU/edit)

## Dokumentace
- [pycosat](https://rhettinger.github.io/einstein.html) - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)