Sign in to follow this  

Looking to buff up on formal Comp.Sci.

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

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