Mathematical Expression and Reasoning — the course that teaches you to think like a computer scientist, not just code like one.
Logic, proofs, induction — I'll make the abstract concrete so you stop guessing and start reasoning.
✨ First Hour FREE!
CSC students expect to write code. CSC165 asks you to write proofs in formal mathematical language. Most students have never done this before — the whole mental model has to shift.
Mathematical induction is the #1 stumbling block. Students struggle with the structure: assuming P(k) to prove P(k+1) feels like assuming the thing you're proving. It is not — and once that clicks, everything opens up.
In CSC165, vague is wrong. "It is obvious that..." earns zero marks. Every step must be justified, every quantifier placed correctly, every logical gap explicitly closed. Examiners are ruthless about rigor.
Every proof type has a skeleton. I give you the blueprint — the exact structure you fill in — so you're never staring at a blank page. Direct proof, contrapositive, contradiction, induction: each has a template.
We work through actual CSC165-style problems together. I annotate every step, flag every justification, and make the grader's expectations explicit — so your written proofs earn full marks.
CSC165 exams recycle patterns: induction on divisibility, predicate negation, bijection proofs. I know the recurring question types and drill you on them until the structure is automatic.
CSC165 is not abstract for its own sake. I connect proofs to algorithm correctness, Big-O reasoning, and the foundations of CSC236 and CSC263 so you understand why this matters beyond the course.
CSC165 is a prerequisite for nearly every upper-year CS course. Nail the foundations now — book a free first session.
📚 Book Free First SessionNo commitment. See if we're a good fit first.
That is the most common CSC165 student profile. Programming ability does not transfer directly to proof writing. The good news: proof writing is a learnable skill with clear patterns. We will build yours.
First hour is FREE! After that:
Yes. One focused session on proof blueprints and induction structure can meaningfully move your marks. Message me now and we will build a crash plan for the exam topics.
Directly. CSC236 (Theory of Computation) builds on everything in CSC165 — induction, predicate logic, asymptotic notation. Solid CSC165 foundations make CSC236 significantly easier.