Lesson 01
Định nghĩa, thuật toán Euclid (đệ quy + lặp), định lý Bezout.
Lesson 02
Sàng Eratosthenes, Fermat nhỏ, Euler totient, preview RSA.
Lesson 03
`n!`, `A(n,k)`, `C(n,k)`; đếm có/không thứ tự.
Lesson 04
Khai triển `(a+b)^n`, tam giác Pascal, đồng nhất thức tổ hợp.
Lesson 05
Nguyên lý Dirichlet (chuồng bồ câu), nguyên lý bao hàm-loại trừ.
Lesson 06
Quy nạp yếu, mạnh; mẫu chứng minh chuẩn, ví dụ phân loại.
Lesson 07
Mệnh đề, bảng chân trị, tập hợp, ánh xạ đơn/toàn/song, quan hệ.
Lesson 08
Trực tiếp, phản chứng, phản ví dụ — bộ sưu tập chứng minh đẹp.