General topics in theory of computing Theory of computing mathematics