STE005: Mathematical Reasoning

Definitions, theorems, and proof: learn to state ideas precisely, read structure, and write arguments you can stand behind.

01

Definitions — Being Precise

Week 1 · Module 5 · Lesson 1

Pin concepts down so informal language cannot slip past you: what a definition is for and how to use it.

Lesson slides

M5 · L1 — Definitions: Being Precise

Open lesson
02

Theorems, Lemmas, Propositions & Corollaries

Week 2 · Module 5 · Lesson 2

Understand how different kinds of results fit together in a mathematical paper or proof.

Lesson slides

M5 · L2 — Theorems, Lemmas, Propositions, Corollaries

Open lesson
03

Proof Structures

Week 3 · Module 5 · Lesson 3

Direct proof, contradiction, and induction: recognize the skeleton of an argument before you fill in the details.

Lesson slides

M5 · L3 — Proof Structures

Open lesson
04

Common Proof Techniques in RS/ML

Week 4 · Module 5 · Lesson 4

Techniques that show up often in retrieval and machine learning work: how to spot and apply them.

Lesson slides

M5 · L4 — Common Proof Techniques in RS/ML

Open lesson
05

Writing Your First Proof

Week 5 · Module 5 · Lesson 5

Turn a clear idea into written steps: structure, language, and checks that keep your proof readable.

Lesson slides

M5 · L5 — Writing Your First Proof

Open lesson