Unlike calculus, which deals with continuous change, discrete mathematics focuses on distinct, separated values. This is the native language of computers (0s and 1s). 6120A bridges the gap between abstract math and practical computation. The Core Modules
Assume the opposite of what you want to prove, then show it leads to an impossible situation. which deals with continuous change
Mathematics is a language. If you can’t read the symbols ( discrete mathematics focuses on distinct
Write a recursive function and see how the base case mirrors the base case of your proof. which deals with continuous change
Their Mathematics for Computer Science course is a gold standard.
Use tools like Lurch or Coq (for the advanced) to verify your logical steps. Final Thoughts