Discrete Mathematics And Proof For Computer Science Fix | 6120a

6120a uses a precise set language. Programming intuition fails here because 2,2,3 is still 2,3 in math—sets have no duplicates.

By the end, a student should be able to read, write, and critique formal proofs; model computational problems using discrete structures; and recognize the mathematical underpinnings of program correctness, complexity, and logic. 6120a uses a precise set language

The course code (often associated with ) focuses on the mathematical foundations necessary for advanced computer science. The primary goal is to master formal mathematical proofs 3 is still 2