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