Skip to main content
13 events
when toggle format what by license comment
Apr 13, 2017 at 12:19 history edited CommunityBot
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Feb 16, 2016 at 5:50 comment added galois BTW, I know this is old -- but have you got any actual programming experience?
May 26, 2013 at 16:57 vote accept Clive Newstead
May 21, 2013 at 21:44 comment added Radu GRIGore You might find the Handbook of Logic in Computer Science useful for reference.
May 19, 2013 at 19:16 answer added Kevin A. Wortman timeline score: 4
May 18, 2013 at 12:42 comment added usul Computer Science is quite big; can you narrow it down? It sounds like you are mainly interested in computability, type theory/programming languages, and perhaps complexity theory; does that sound right?
May 17, 2013 at 20:00 history tweeted twitter.com/#!/StackCSTheory/status/335484971152199680
May 17, 2013 at 19:47 answer added Neel Krishnaswami timeline score: 12
May 17, 2013 at 17:46 comment added Sasho Nikolov For computability and basic complexity theory, how about Sipser's Introduction to the Theory of Computation? I am puzzled you have not found mathematically oriented books, because there is plenty of them. For example, Arora and Barak, and Goldreich have recent complexity theory books available online, and I am sure there are plenty of math-y track-b theory books out there.
May 17, 2013 at 17:07 comment added vzn this was answered on mathoverflow computer science for mathematicians but maybe there is room for a TCS.se version
May 17, 2013 at 16:44 comment added Martin Berger Theoretical computer science makes a lot more sense if one is a good, or at least reasonable programmer, because in some sense, all (most) of TCS is a formalisation (and simplification) of what working programmers do. We had a thread about related matters
May 17, 2013 at 16:25 review First posts
May 18, 2013 at 8:57
May 17, 2013 at 16:09 history asked Clive Newstead CC BY-SA 3.0