Mathematics Computation A Compilation of Lecture Notes in Theoretical Computer Science? July 18, 2025