Links
bookS
Book, Kleinberg & Tardos, Algorithm Design (Pearson).Book, Dasgupta & Papadimitriou & Vazirani, Algorithms (McGraw-Hill).
Book, Cormen & Leiserson & Rivest, Introduction to Algorithms (MIT Press).
Book, Sanjeev Arora and Boaz Barak, Complexity Theory: A Modern Approach.
Online Stuff
History: Turing,
Algorithms.Complexity Zoo, Scott Aaronson.
Blog, Lance Fortnow.
------------------------------------------------------
Algorithms are the computational content of proofs.
-- Robert Harper, Benjamin C. Pierce et al., Software Foundations.