The official textbook for the course is Discrete Mathematics and Its Applications (8th edition) by Kenneth H. Rosen.

You can also consult this free online textbook: Discrete Mathematics: An Open Introduction.

Some additional texts that may be useful or interesting to read:

Proofs:

Algorithms: