プログラミングの理論の項があるべきだと思いこの本を追加させていただきます。

「計算機プログラムの構造と解釈」
プログラミングの根幹をなす様々な理論を学び、実践する力も得られる教科書です。
楽しく、明快に、かつ実践を通して学ぶというMITの信念を体現したような本です。
MITや多くの最高レベルのCS Departmentで教科書として読まれています。