Perhaps Knuth's "The Art of Computer Programming" and Sedgewick's (Knuth's stude... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		_mtkq on Feb 4, 2020 \| parent \| context \| favorite \| on: Collected Papers of Alexander A. Stepanov 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 on Feb 4, 2020 [–]

This is my first time hearing of any of these authors besides Knuth, thanks.

streetcat1 on Feb 5, 2020 | [–]

You might also want to check out

David Gries, the science of programming:

https://www.springer.com/gp/book/9780387964805

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact