Schedule (subject to change):

Study the assigned reading before class. Read bits of Chapter 1, on your own, as needed to reinforce mathematical notations from lectures.

Week	Date	Topic	Reading	Lecture	Homework Due
1	Jan 14	Class Policies & Overview	Syllabus	1
	Jan 16	Proofs, Propositions, & Calculuses	§6.1-6.4	2
2	Jan 21	No Class (MLK Day)
	Jan 23	WFFs = Combinational Circuits	§13.1	3	HW1 Thinking Logically
3	Jan 28	Theorems & Proofs	§6.5	4
	Jan 30	Inference Rules	§6.6	5	HW2 WFFs/Truth Tables
4	Feb 4	Inference Rules Galore	§13.2.1-13.2.3	6
	Feb 6	Reasoning with Equations	§6.7	7	HW3 Natural Deduction
5	Feb 11	More Equations & The Big Surprise	§7.1-7.2	8
	Feb 13	Predicate Calculus	§7.3-7.4	9	HW4 Deduction/Equations HW3 Natural Deduction
6	Feb 18	Reasoning with Predicates	Ch 2	10	HW4 Deduction/Equations
	Feb 20	A Little Bit of Set Theory	Ch 3	11	HW5 Equations
7	Feb 25	Exam 1	Above ↑
	Feb 27	Algebras	Ch 8	12
8	Mar 4	Induction	Ch 4	13	HW6 Predicates
	Mar 6	Induction & Mechanical Logic	—	14
9	Mar 11	Axioms & Theorems	—	15	HW7 Induction
	Mar 13	Patterns of Computation	—	16
10	Mar 18	No Class (Spring Break)
	Mar 20	No Class (Spring Break)
11	Mar 25	Circuit Minimization	—	17	HW7 Induction HW8 Induction
	Mar 27	Strong Induction	—	18
12	Apr 1	Computation Time and the Big O	—	19	HW8 Induction HW9 Sets/Karnaugh Maps
	Apr 3	Exam 2	Above ↑
13	Apr 8	Numeral Systems	—	20
	Apr 10	Binary Adders	§13.2.3-13.2.4	21
14	Apr 15	Ripple-Carry Adders	§13.2.5	22
	Apr 17	Search Trees	§13.3	23	HW10 Induction
15	Apr 22	More Search Trees	§12.1-12.5	24
	Apr 24	Building Search Trees	§12.5-12.6	25	HW11 Binary Arithmetic
16	Apr 29	Building Search Trees, Part Two	§12.7	26
	May 1	Review	Above ↑		HW12 Search Trees
Finals	May 10, 8:00am to 10:00am	Final Exam	↑ ALL ↑