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