Comment by jdthedisciple

This fits squarely into theoretical computer science.

Going through any introductory TCS textbook will help you understand most of this stuff.

CS students do this in their first or second year of their studies, and yes it's tough (at my uni this was among the most feared exams).