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