|
|
|
|
|
|
by s1dev
1133 days ago
|
|
|
I hear good things about this book “how to prove it” I also like Knuth’s art of computer programming book which is more about proving correctness of algorithms In general, stuff like combinatorics, algorithms, etc I find to have a low barrier to entry, so it’s a nice playground https://www.cambridge.org/highereducation/books/how-to-prove... |
|
|