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 ↑