Write out the formal definition of a statement before you try to prove it. 2. Conquer Mathematical Induction
Each proof must be prefaced by :
When debugging code, you step through it line by line to check the state of variables. Do the exact same thing with your proofs. For every single line you write, ask yourself: "What mathematical definition or axiom justifies this step?" If you cannot name the rule, your proof has a bug. Build a "Symbol Dictionary"
Recurrences, Asymptotic Notation (Big-O), Algorithm Analysis. Probability: Discrete Probability and Counting. Part 1: How to "Fix" Your Approach to Proofs Write out the formal definition of a statement
If you are struggling with 6120A, you do not need to rewrite your entire study strategy. Instead, you need targeted "fixes" for the specific conceptual bottlenecks that hold students back. The Core Challenges of 6120A
Master equivalence relations and partial orderings. 2. Induction and Invariants
Look up playlists by TrevTutor or Kimberly Brehm. They break down discrete proofs step-by-step in a highly visual manner. 4. Exam Strategy: How to Maximize Partial Credit Do the exact same thing with your proofs
For , always start with: "Assume the contrary, that statement X is false." For Contraposition , rewrite the goal: instead of proving
Fixing your performance in 6120A requires moving away from memorization and moving toward logical structure. By treating proofs as logical algorithms and mastering definitions, you will not only pass the course but also build the exact mental frameworks required to excel in data structures, algorithms, and software engineering.
You are trying to read math like a novel or memorize it like history. Math requires active derivation, not passive reading. Probability: Discrete Probability and Counting
CSC 6120A is designed to equip students with the mathematical maturity necessary to analyze algorithms, verify software correctness, and understand the theoretical limits of computation. Unlike continuous mathematics (calculus), this course focuses on discrete structures—objects that assume distinct values—and the logical frameworks used to prove properties about these structures.
. Tip: Always explicitly state where you use the Inductive Hypothesis in your algebra. Combinatorics and Counting
Discrete math is learned by writing, not reading. Work through the 6.1200J problem sets.