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