Sign in to follow this  

Looking to buff up on formal Comp.Sci.

This topic is 3860 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

This topic is 3860 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.

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Sign in to follow this