Computer Science

compsci: Programming and Theory

The whole field of computer science is absolutely fascinating, with links to Artificial Intelligence, optimization problems, complexity theory, cryptography, automata, symbolic calculation, category theory... So there should be clear introductions to all of these topics, as well as in-depth readable discussions on them. Any offers?