4 ms·
Perhaps Knuth's "The Art of Computer Programming" and Sedgewick's (Knuth's student) "An Introduction to the Analysis of Algorithms". Also, Ben-Ari's "Mathemati
by mpiedrav 7y ago
Perhaps Knuth's "The Art of Computer Programming" and Sedgewick's (Knuth's student) "An Introduction to the Analysis of Algorithms".
Also, Ben-Ari's "Mathematical Logic for Computer Science" and Pierce's "Software Foundations".
- ipnon 7y agoThis is my first time hearing of any of these authors besides Knuth, thanks.
- streetcat1 7y agoYou might also want to check out David Gries, the science of programming: https://www.springer.com/gp/book/9780387964805 https://www.springer.com/gp/book/9780387964805