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