Foundations of Computer Science
From the first paragraph of the first chapter:> But fundamentally, computer science is a science of abstraction — creating the right model for thinking about a problem and devising the appropriate mechanizable techniques to solve it.Too often in computer science education these days, this essential fact is lost.