書本目錄: “... cryptosystems; 7. Number theory; 8. Euclid's algorithm; 9. Some uses of perfect secrecy; 10. Computational...”

書本目錄: “... -- Pascal's triangle -- Algebra -- Euclid's algorithm -- Logic -- Proof -- Sets -- Calculus -- Constructions...”

書本目錄: “... loop invariants -- Abstract data types -- Narrowing the search space: binary search -- Iterative...”