6.120a Discrete Mathematics And Proof For Computer Science <FAST 2024>