For future lectures, this is a *tentative* schedule. The
exact contents are subject to change. Links to future materials
may also be broken.

Week 1

Topic

Week 1

Week 2

Lecture 4

(Mon, Apr 3)

Boolean algebra, Canonical Forms

Lecture 5

(Wed, Apr 5)

Canonical Forms, Predicate Logic

Lecture 6

(Fri, Apr 7)

Predicate Logic, Inference

Week 3

Lecture 7

(Mon, Apr 10)

Propositional & Predicate Logic Proofs

Lecture 8

(Wed, Apr 12)

Predicate Logic Proofs, English Proofs

Lecture 9

(Fri, Apr 14)

English Proof Strategies, Number Theory

Week 4

Lecture 11

(Wed, Apr 19)

Applications of Modular Arithmetic, Prime Factorization, GCD

Lecture 12

(Fri, Apr 21)

Modular Equations, Exponentiation, Set Theory

Week 5

Lecture 14

(Wed, Apr 26)

Induction

Lecture 15

(Fri, Apr 28)

Strong Induction and Recursion

Week 6

Lecture 16

(Mon, May 1)

Recursively Defined Sets and Structural Induction

Lecture 17

(Wed, May 3)

More Structural Induction

Lecture 18

(Fri, May 5)

Strings and Regular Expressions

Week 7

Lecture 19

(Mon, May 8)

Context-Free Grammars (CFGs)

Lecture 20

(Fri, May 12)

CFGs and Relations

Week 8

Lecture 21

(Mon, May 15)

Directed Graphs, Finite State Machines (FSMs)

Lecture 22

(Wed, May 17)

Finite State Machine Design

Week 9

Lecture 25

(Wed, May 24)

The Limitations of DFA/NFA/RegExp

Section 9

(Thurs, May 25)

FSM Minimization, NFAs, Subset Construction, Irregularity

Week 10

(Mon, May 29)

Exam Week

Final Exam

(Mon, Jun 5)

Final exams are scheduled at 2:30-4:20 pm and 4:30-6:20 pm in JHN 102 rather than our regular classroom.

(You will need to select one of these two times to take your exam and confirm your choice by Saturday June 3.)

(You will need to select one of these two times to take your exam and confirm your choice by Saturday June 3.)

This course website heavily follows the example of the website of CSE373 2019 Spring.