Jump to content
  • Advertisement
Sign in to follow this  
TheUnbeliever

Looking to buff up on formal Comp.Sci.

This topic is 4073 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

I'm looking to buff up on my (patchy -- decent in some regions, but virtually nonexistent elsewhere) formal Computer Science over the Summer holidays and was looking for some recommendations as regards good introductory and intermediate texts. In terms of particular areas that I've been interested in recently, I was looking at programming language theory, theory of computation and category theory (I'm particularly fond of math-based formalisms and abstractions). EDIT: For example, I was looking at this list which looked promissing; but I am of course poorly equipped to judge what may or may not be good. EDIT2: I've got a bit of knowledge I've picked up by osmosis of set theory and some basic proof methods, but any sources to increase breadth and depth of knowledge there, if necessary, are good too.

Share this post


Link to post
Share on other sites
Advertisement
Sign in to follow this  

  • Advertisement
×

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

We are the game development community.

Whether you are an indie, hobbyist, AAA developer, or just trying to learn, GameDev.net is the place for you to learn, share, and connect with the games industry. Learn more About Us or sign up!

Sign me up!