Also haven't used it, but this link from there [0] regarding intro to CS-style discrete math proofs seems somewhat lacking. There doesn't seem to be enough foc

Also haven't used it, but this link from there [0] regarding intro to CS-style discrete math proofs seems somewhat lacking. There doesn't seem to be enough focus on teaching proof techniques, and skips straight to discrete math content. Could be a decent beginner resource if combined with something that teaches proof techniques though. EDIT: the MIT book also listed is actually good [1] [0]: https://cims.nyu.edu/~regev/teaching/discrete_math_fall_2005/dmbook.pdf https://cims.nyu.edu/~regev/teaching/discrete_math_fall_2005... [1]: https://courses.csail.mit.edu/6.042/spring17/mcs.pdf https://courses.csail.mit.edu/6.042/spring17/mcs.pdf