This is reassuring, because for months now I've been searching and searching for a sort of "mathematician's introduction to computer science". Something precise, concise, with elegant and efficient constructions and rigorous argument... possibly in the style of Rudin's classic analysis textbook?
I recently discovered Knuth's TAOCP but the thing is overwhelmingly long and I'm not sure it's what I'm looking for.
I recently discovered Knuth's TAOCP but the thing is overwhelmingly long and I'm not sure it's what I'm looking for.