![Screenshot of courses.csail.mit.edu: Mathematics for Computer Science (2018) [pdf]](https://hn.urlbox.com/shots/renders/2026/1/9/ae2aa14e-4a6c-4954-86ba-c8b6fc82ba70.jpg)
Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)
366 points by vismit2000 | 62 comments
PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.
![Screenshot of rohansawhney.io: Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]](https://hn.urlbox.com/shots/renders/2025/5/30/157b8d0d-0db2-4ef7-9dbe-153a9929e5cd.jpg)
First screen, captured .
Looks similar
![Screenshot of mathcs.holycross.edu: Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]](https://hn.urlbox.com/shots/renders/2025/11/23/e229c1d5-fc4e-4c18-b5f1-458787f9acf1.jpg)
Calculus for Mathematicians, Computer Scientists, and Physicists [pdf](mathcs.holycross.edu)
332 points by o4c | 70 comments
A free PDF textbook by Andrew D. Hwang, 'Calculus for Mathematicians, Computer Scientists, and Physicists: An Introduction to Abstract Mathematics'.
![Screenshot of vfxforth.com: Compiling Prolog to Forth [pdf]](https://hn.urlbox.com/shots/renders/2026/3/7/f5a104a8-c3cd-4d0e-9f60-aec6e0bebed6.jpg)
Compiling Prolog to Forth [pdf](vfxforth.com)
114 points by PaulHoule | 9 comments
![Screenshot of cs.cornell.edu: Type theory and functional programming. (1999) [pdf]](https://hn.urlbox.com/shots/renders/2025/10/1/c857d85d-1f99-434e-a047-5b20b08f4fe9.jpg)