CPSC 203: Mathematical Foundations of Computing Spring 2026

Course schedule

The topics and reading assignments are tentative and subject to change. The reading assignments are from Rosen.

Week Date Topics Reading Homework
1 Jan. 21, 23 Propositional logic §§1.1–1.4 Homework 1
2 Jan. 26, 28, 30 Proof techniques §§1.6–1.8 Homework 2
3 Feb. 2, 4, 6 Sets, functions and sequences §§2.1–2.4 Homework 3
4 Feb. 9, 11, 13 Algorithms and complexity §§3.1–3.3
5 Feb. 16, 18
Feb. 19, 20
Integer and modular arithmetic
Trinity Days
§§4.1–4.3

6 Feb. 23 (Mon.)
Feb. 25, 27
Exam 1, in class
Cryptography

§§4.4–4.6

Homework 4
7 Mar. 2, 4, 6 Relations §§9.1, 9.5
8 Mar. 9, 11, 13 Induction §§5.1, 5.2
Mar. 16–20 Spring vacation
9 Mar. 23, 25, 27 Recursion and program correctness §§5.3–5.5
10 Mar. 30, Apr. 1, 3 Counting §§6.1–6.3
11 Apr. 6 (Mon.)
Apr. 8, 10
Exam 2, in class
Discrete Probability

§§7.1, 7.2
12 Apr. 13, 15, 17 Recurrences §§8.1–8.3
13 Apr. 20, 22, 24 Graphs §§10.1–10.5
14 Apr. 27, 29 Trees §§11.1, 11.2
May 6 (Wed.) Final exam


* CPSC 203 home page
Valid HTML 4.01!