(Soft question) how should I learn theoretical computer science as a maths major?
Hi, hope this question is OK for this sub.
I’m an undergraduate studying pure maths at a uni which has undergraduate compsci program geared for software engineering. As a result, there is sparingly little theory taught. I’ve been enamoured with the ideas of complexity classes and problem reductions since learning about them in high school.
Which textbooks do you recommend for self-learning the basics of theoretical computer science? What about more advanced textbooks?
Are there any relatively accessible papers for an undergrad to read to learn about the field?
Some follow up questions (I hope these are OK!)
Is it common/feasible to study mathematics in a bachelors/masters and go on to do computer science research? Say, in a phd or beyond.
What sort of mathematics do TCS people use? (Maybe this differs across subfields, but, for example, I know that the physics guys at my uni like Lie groups a lot)
Thanks so much :)