Math 2300, Spring 2024 Class
Schedule, Lecture Notes
Note: Schedule is subject to
change, please check frequently
|
WK |
Class/Date |
Topic |
Book
Chapter |
Assignments |
Reading |
| 1 |
F 1/26 |
Syllabus - No class meeting |
Write down 2
questions about the syllabus |
Syllabus |
|
|
2 |
M 1/29 |
Logical Form and Logical Equivalence | 2.1 |
HW1 Assigned | Section 2.1 Handout |
|
W 1/31 |
Logical Form and Logical Equivalence | 2.1 |
|||
|
F 2/2 |
Logical Form and Logical Equivalence | 2.1 |
|||
3 |
M 2/5 |
Logic: Conditional Statements | 2.2 |
HW1
Due HW2 Assigned |
|
| W 2/7 |
Logic: Valid and Invalid Arguments | 2.3 |
|||
| F 2/9 |
Logic: Valid and Invalid Arguments | 2.3 |
HW2 Due HW3 Assigned |
||
4 |
M
2/12 |
Logic: Digital Logic Circuits | 2.4 |
HW4 Assigned | |
| W 2/14 |
Watch:
Claude Shannon - Father of the Information Age No Class meeting |
Watch
video and answer: 1. What is the difference between a Shannon bit and a Tukey bit? 2. Who wrote "Beat the Dealer"? 3. What did you find most interesting? 4. What is you find most confusing or what do you want to learn more about? Due February 19 - upload to Canvas |
https://www.youtube.com/watch?v=z2Whj_nL-x8 |
||
| F 2/16 |
Predicates and Quantified Statements I | 3.1 |
HW3 Due | ||
|
5 |
M 2/19 |
Predicates and Quantified Statements I | 3.1 |
HW4 Due HW5 Assigned |
|
|
W 2/21 |
Predicates and Quantified Statements II | 3.2 |
HW6 Assigned | ||
|
F 2/23 |
Predicates
and Quantified Statements II Statements with Multiple Quantifiers |
3.3 |
HW5 Due HW7 Assigned |
||
|
6 |
M 2/26 |
Arguments with Quantified Statements | 3.4 |
HW6 Due HW8 Assigned |
|
|
W 2/28 |
Quiz Review for
Chapter 2 |
2 |
See
Canvas |
||
|
F 3/1 |
Direct Proof and Counterexample I: Introduction | 4.1 |
HW7 Due | ||
|
7 |
M 3/4 |
Quiz 1 on Chapter 2 - in person -
review in Canvas |
2 |
||
|
W 3/6 |
Watch: First Order Logic (FOL) and Knowledge Base Agents
(Logical) (KBA) and a Bit of Entailment - No Class Meeting |
HW8 Due FOL and KBA Reflection Assigned in Canvas |
https://www.youtube.com/watch?v=73AUBVOW-sM https://www.youtube.com/watch?v=zOCTxedhf_c |
||
|
F 3/8 |
Direct
Proof and Counterexample I: Introduction Direct Proof and Counterexample II: Writing Advice |
4.1, 4.2 | |||
|
8 |
M 3/11 |
Work on your own | |||
|
W 3/13 |
Direct Proof and Counterexample III: Rationals | 4.3 |
FOL and KBA Reflection Due HW9 Assigned |
||
|
F 3/15 |
Quiz 2 on Chapter 3 review | Quiz 2 |
|||
|
9 |
M 3/18 |
Direct Proof and Counterexample III:
Rationals Direct Proof and Counterexample IV: Divisibility |
4.3 4.4 |
HW10 Assigned |
|
|
W 3/20 |
Direct Proof and
Counterexample IV: Divisibility Direct Proof and Counterexample V: Q-R and Cases |
4.4 4.5 |
HW9
Due |
||
|
F 3/22 |
Proof worksheet | 4.1-4.4 |
|||
|
|
|
Proof worksheet - answers | 4.1-4.4 |
HW10 Due |
|
|
W 3/27 |
Direct Proof and Counterexample V: Q-R and Cases | 4.5 |
|||
|
F 3/29 |
Direct Proof and Counterexample VI: Floor and Ceiling | 4.6 |
|||
| Spring Break: April 1-5 | |||||
|
11 |
|
Direct Proof and
Counterexample VI: Floor and Ceiling Indirect Proof: Contradiction and Contraposition |
4.6 4.7 |
HW11 Assigned | |
|
W 4/10 |
Indirect Proof: Contradiction and Contraposition | 4.7 |
|||
|
F 4/12 |
Sequences | 5.1 |
HW11 Due HW12 Assigned |
||
|
12 |
|
Sequences Mathematical Induction: Proving Formulas |
5.1 5.2 |
||
|
W 4/17 |
Mathematical
Induction: Proving Formulas Mathematical Induction: Applications |
5.2 5.3 |
|||
|
F 4/19 |
Mathematical Induction: Applications | 5.3 |
HW12 Due HW13 Assigned |
||
|
13 |
|
Mathematical Induction: Strong | 5.4 |
||
|
W 4/24 |
HW13 Due |
||||
|
F 4/26 |
|||||
|
14 |
|
||||
|
W 5/1 |
|||||
|
F 5/3 |
|||||
| 15 |
M 5/6 |
||||
| W 5/8 | |||||
| F 5/10 |
|||||
| 16 |
M 5/13 |
||||
| W 5/15 |
|||||
| F 5/17 |
Reading Day | ||||
| |
Monday 5/20 |
FINAL EXAM |
|