Networks and circuits as models of computation Theory of computing mathematics