Lectures, Course Outline, and Learning Objectives

Key to ASCII notation

'{}' = ∅ = "empty set"
'(-' = ∈ = "element of"
'(_' = ⊆ = "subset of" (not strict)
'u' = ∪ = "union"
'n' = ∩ = "intersection"
'~L' = L = "complement of L"
'-]' = ∃ = "there exists"
'\-/' = ∀ = "for all"
'/\' = ∧ = "and"
'\/' = ∨ = "or"
'->' = → = "implies"
'<->' = ↔ = "if and only if (iff)"
'!' = ¬ = "not", e.g., 'a != b' = a ≠ b = "a is not equal to b", 'w !(- L' = w ∉ L = "w is not an element of L", etc.
'\sum' = ∑ = summation sign
'\prod' = ∏ = product sign
'\Sigma' = Σ = capital greek letter Sigma, '\delta' = δ = lowercase greek letter delta, etc.
'|_x_|' = ⌊x⌋ = floor(x)
'|^x^|' = ⌈x⌉ = ceiling(x)
'_' indicates a subscript, e.g., 'q_1' = q₁
'^' indicates a superscript, e.g., 'n^2' = n²
curly braces '{}' surround longer subscripts/superscripts, e.g., '\sum_{0 <= i <= n} 2^{i/2}' = ∑_{0 ≤ i ≤ n} 2^i/2

Lecture summaries

Every week, specific sections of the textbook will be posted as readings. You can read these sections to prepare for the following week's lectures and tutorials.
At the end of each week, a short summary of the material covered during lecture will be posted.

Week 1 (Jan 7–11); readings: section 1.2 (and review chapters 0 as needed).
Week 2 (Jan 14–18); readings: sections 1.2, 1.3.
Week 3 (Jan 21–25); readings: section 1.1.
Week 4 (Jan 28–Feb 1); readings: section 3.2.
Additional examples of well ordering.
Week 5 (Feb 4–8); readings: sections 3.2.
Week 6 (Feb 11–15); readings: sections 3.3, 2.1, 2.2, 2.7.
Week 7 (Feb 25–29); readings: section 2,7, 2.8, 2.3.
Week 8 (Mar 3–7); readings: section 2.4, 2.5.
Additional example of iterative correctness.
Week 9 (Mar 10–14); readings: section 2.6, 7.1.
Week 10 (Mar 17–21); readings: section 7.2, 7.3.
Week 11 (Mar 24–28); readings: section 7.4, 7.6.
Week 12 (Mar 31–Apr 4); readings: section 7.5, 7.7, 8.1, 8.2, 8.3.
Week 13 (Apr 7–11); readings: section 8.5, 8.6.
See the Tests/Exam page for advice about studying for and writing the final exam.

Course outline

Lecture/tutorial topics

The following topics will be covered in this course, in the order listed. For each topic, we have indicated the approximate number of weeks required to cover that topic as well as a list of the relevant sections in the textbook.

Induction (simple, complete, well-ordering, structural) — Chapters 1, 4. [3 weeks]
Algorithm complexity and recurrence relations — Chapter 3. [2 weeks]
Algorithm correctness — Chapter 2. [2 weeks]
Regular languages, finite-state automata, and regular expressions — Chapter 7. [3 weeks]
Context-free languages, context-free grammars, and pushwon automata — Chapter 8. [3 weeks]

Learning objectives

By the end of this course, students should