Syntax highlighting of NAIL062

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

<{Box(infobox)}>
|K    |V    |
|-----|-----|
| Učitel | [RNDr. Jakub Bulín, Ph.D.](https://jbulin.github.io/) |
| **Odkaz do SISu:** | [NAIL062](https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL062) |

![Stop doing logic](/NAIL062/stop-doing-logic.jpg)
<{/Box}>

## Poznámky
- [Bulínovy poznámky](https://raw.githubusercontent.com/jbulin-mff-uk/nail062/main/lecture/lecture-notes/lecture-notes.pdf) \[CZ\] – asi nejaktuálnější
- [Pilátovy poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf) \[EN\]
- vitkolos.cz – [poznámky](https://www.vitkolos.cz/node/view/notes-ipp/main/semestr3/vyrokova-predikatova-logika/zkouska.md) a [kartičky](https://www.vitkolos.cz/node/cards/notes-ipp/main/semestr3/vyrokova-predikatova-logika/zkouska.md) (2023/2024)

## Testy
- [Ř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)