CS 1800 - Discrete Structures

Spring 2024

 

Date Topic
Topic 1 - Formal Logic
1/15 MLK - No Class
1/17 Course Introductions
Make sure that you read the syllabus and purchase access to the textbook.
1/19 Chapter 1.1 - Propositions and logic operations
1/22 Chapter 1.2 - Evaluating compound propositions
1/24 Chapter 1.3 - Conditional statements
1/26 Chapters 1.4 and 1.5 - Logical equivalence and laws or propositional logic
1/29 Chapters 1.6 and 1.7 - Predicates and quantified statements
1/31 Chapter 1.8 - De Morgan's Law for quantified statements
2/2 Chapters 1.11 and 1.12 - Rules for inference
2/5 CD 1 [Study Guide]
Topic 2 - Proofs
2/7 Chapters 2.1 and 2.2 - Mathematical definitions and an introduction to proofs
2/9 Chapters 2.3 and 2.4 - Best Practices and Direct Proof
2/12 Chapters 2.5 - Proof by Contrapositive
2/14 Chapters 2.6 - Proof by Contradiction
2/16 Chapters 2.7 - Proof by Cases
2/19 Practice Day [A sample CD]
2/21 CD 2 [A set of study/practice problems]
Topic 3- Sets
2/23 Chapter 3.1
2/26 Chapters 3.2 and 3.3
2/28 Chapters 3.4 and 3.5
Topic 4- Functions
3/1 Chapter 4.1
3/4 Chapters 4.3 and 4.4
3/6 Chapter 4.5
3/6 Group Retake for CD #2 - 2:00-3:00 in our classroom or by arrangement.
3/8 CDs 3 and 4 [Study Guide]
Topic 5 - Counting and Probability
3/18 Chapters 10.1 and 10.2
3/20 On your own: Chapters 10.3 and 10.4
3/22 On your own: Chapters 10.5 and 10.6
3/25 Chapter 10.7
3/27 Chapters 10.10 and 10.11
  Group Retake for CD #3 and 4 - 2:00-3:00 in our classroom or by arrangement.
3/29 Chapter 12.1
4/1 Chapter 12.2
4/3 Chapters 12.3 and 12.4
4/5 CD 5 [Study Guide]
Topic 6 - Graphs and Trees
4/8 Chapter 13.1
4/10 Chapter 13.2
4/12 Chapter 13.3
4/15 Chapter 14.1
  Group Retake for CD #5 - 2:00-3:00 in our classroom or by arrangement.
4/17 Chapter 14.2
4/19 Chapter 14.3
4/22 CD 6 [Study Guide]
Topic 7 - Additional Topics
4/24 Chapters 7.1 and 7.2
4/26 Chapter 7.3
4/29 Chapters 8.1 and 8.2
  Group Retake for CD #6 - 2:00-3:00 in our classroom or by arrangement.
5/1 Chapters 8.4 and 8.5
5/3 Chapters 8.6 and 8.8
5/7 Final Competency Demo, 1:00-2:50