本页记录我读过的一些很好的教科书。

  1. [1]
    Software Foundations: Logical Foundations · Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey softwarefoundations.cis.upenn.edu
    PL-FM
    awesome
  2. [2]
    Software Foundations: Programming Language Foundations · Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey softwarefoundations.cis.upenn.edu
    PL-FM
    reading
  3. [3]
    Computer Systems: A Programmer's Perspective · Randal E. Bryant, David R. O'Hallaron ISBN 9787111544937
    Sys
    awesome
  4. [4]
    Computer Networking: A Top-Down Approach · James F. Kurose, Keith W. Ross ISBN 9787111712367
    Sys-Network
    awesome
  5. [5]
    Computer Architecture: A Quantitative Approach · John L. Hennessy, David A. Patterson ISBN 9787115565693
    Sys-Arch
    reading
  6. [6]
    Computer Organization and Design: The Hardware/Software Interface · David A. Patterson, John L. Hennessy ISBN 9787111727972
    Sys-Arch
    reading
  7. [7]
    Concrete Mathematics: A Foundation for Computer Science · Ronald L. Graham, Donald E. Knuth, Oren Patashnik ISBN 9787115308108
    Math
    awesome
  8. [8]
    Algebra: Chapter 0 · Aluffi ISBN 9780821847817
    Math
    reading
  9. [9]
    Proofs from THE BOOK · Martin Aigner, Günter Ziegler ISBN 9787040585001
    Math
    reading
  10. [10]
    数学分析 · 伍胜健
    Math
    awesome
  11. [11]
    抽象代数 · 赵春来, 徐明曜
    Math
    normal