Annotations

Set Theory

Propositional Logic

The kinds of problems so often being solved are ones of automation. The ability to confidently carry out and verify a series of descrete tasks. Tasks which are clearly computational in nature and prone to human error are candidates for automation with easily defendable ROIs.

Graph Theory

https://kubuszok.com/2018/algebras-we-love/

http://vmls-book.stanford.edu/