CS 210: Discrete Structures I
| Course: | CS 210: Discrete Structures I |
|---|---|
| Semester: | Spring 2022 |
| Dates: | 2022-01-18 to 2022-05-16 |
| Instructor: | Rachel Wil Sha Singh (they/them) |
| Email: | rsingh13@jccc.edu |
| Discord: | RachelThePotato#0085 |
| Rachel's status: | 7 things to prep 54 things to grade |
Section 376
| CRN: | 11482 |
|---|---|
| Method: | Hybrid |
| Times: | Tues/Thurs 12:30 - 1:45 pm |
| Semester: | Spring 2022 |
🧠 Tech literacy
| Key | Assignment | Sections | |
|---|---|---|---|
💻 Projects
| Key | Assignment | Docs | Sections | |
|---|---|---|---|---|
🎥 Lectures
- (Week 1) SPRING 2022 INTRODUCTION / SYLLABUS
- (Week 1) Lecture 1.1: Intro to Propositional Logic
- (Week 1) Lecture 1.2: Conditional Statements (aka Implications)
- (Week 2) Lecture 1.3: Predicates and Quantifiers
- Mathematical Writing (2016 lecture)
- Set definitions and operations (2016 video)
- Cartesian Products, Power Sets, Partitions (2016 video)
- Proof by Contradiction (2016 video)
- Intro to Boolean Algebra
- Logic Circuits and Karnaugh Maps
- Mathematical Induction (2016 video)
- More with Induction (2016 video)
- Intro to Functions and Relations (2016 video)
- Function compositions (2016 video)
🏋️ Exercises
| Key | Assignment | Docs | Sections | |
|---|---|---|---|---|
| [INTRO] | 🏋️ (Week 1) 👋 The first assignment! |  376 | ||
| [ULE1] | 🏋️ (Week 1) Intro to Propositional Logic | 📋 Docs | 376 | |
| [ULE2] | 🏋️ (Week 1) Conditional Statements | 📋 Docs | 376 | |
| [ULE3] | 🏋️ (Week 2) Predicates and Quantifiers | 📋 Docs | 376 | |
| [ULE4] | 🏋️ (Week 2) Laws for Propositional Logic | 📋 Docs | 376 | |
| [C1] | 🏋️ (Week 2) Check-in | 376 | ||
| [ULE5] | 🏋️ (Week 3) Logical Reasoning | 📋 Docs | 376 | |
| [ULTL] | 🏋️ (Week 3) Propositional Logic and Computers | 376 | ||
| [UPE1] | 🏋️ Mathematical Writing (Tuesday) | 📋 Docs | 376 | |
| [UPE2] | 🏋️ Direct Proofs (Thursday) | 📋 Docs | 376 | |
| [C2] | 🏋️ (Week 5) Check-in | 376 | ||
| [USE1] | 🏋️ (Week 6) Set basics | 📋 Docs | 376 | |
| [USE2] | 🏋️ (Week 7) Partitions, power sets, and cartesian products | 📋 Docs | 376 | |
| [UPE3] | 🏋️ Proof by Contrapositive | 📋 Docs | 376 | |
| [UPE4] | 🏋️ Proof by Contradiction | 📋 Docs | 376 | |
| [UBE1] | 🏋️ Boolean Algebra | 📋 Docs | 376 | |
| [UBE2] | 🏋️ Logic Circuits | 📋 Docs | 376 | |
| [UBE3] | 🏋️ Karnaugh Maps | 📋 Docs | 376 | |
| [UBTL] | 🏋️ Boolean Algebra and Logic Circuits | 376 | ||
| [UPE5] | 🏋️ Inductive proofs | 📋 Docs | 376 | |
| [UFE1] | 🏋️ Definitions, Diagrams, and Inverses | 📋 Docs | 376 | |
| [UFE2] | 🏋️ Function Composition | 📋 Docs | 376 | |
| [UFE3] | 🏋️ Properties of Functions | 📋 Docs | 376 | |
| [UFE4] | 🏋️ Properties of Relations | 📋 Docs | 376 | |
| [UFE5] | 🏋️ Equivalence Relations | 📋 Docs | 376 | |
| [UFTL] | 🏋️ Functions and Relations | 376 | ||
✅ Quizzes
| Key | Assignment | Sections | |
|---|---|---|---|
| [ULQ1] | ✅ (Week 1) Intro to Propositional Logic | 376 | |
| [ULQ2] | ✅ (Week 1) Conditional Statements | 376 | |
| [ULQ3] | ✅ (Week 2) Predicates and Quantifiers | 376 | |
| [UPQ1] | ✅ Mathematical Writing (Tuesday) | 376 | |
| [USQ1] | ✅ (Week 6) Introduction to Sets | 376 | |
| [USQ2] | ✅ (Week 6) Unions, Intersections, and Differences | 376 | |
| [USQ3] | ✅ (Week 7) Partitions | 376 | |
| [USQ4] | ✅ (Week 7) Cartesian Products | 376 | |
| [USQ5] | ✅ (Week 7) Power Sets | 376 | |
| [UBQ1] | ✅ Boolean Algebra | 376 | |
| [UBQ2] | ✅ Logic Circuits | 376 | |
| [UBQ3] | ✅ Karnaugh Maps | 376 | |
| [UFQ1] | ✅ Definitions, Diagrams, and Inverses | 376 | |
| [UFQ2] | ✅ Function Composition | 376 | |
| [UFQ3] | ✅ Properties of Functions | 376 | |
| [UFQ4] | ✅ Properties of Relations | 376 | |
📘 Reading
- (Week 1) 1.1: Introduction to Propositional Logic
- (Week 1) 1.2: Conditional Statements (aka Implications)
- (Week 2) 1.3: Introduction to Propositional Logic
- (Week 2) 1.4: Conditional Statements (aka Implications)
- (Week 3) 1.5: Logical Reasoning
- 5.1: Properties of Numbers
- 5.2: Direct Proofs
- 2.1: Introduction to Sets
- 2.2: Unions, Intersections, and Differences
- 2.3: Venn Diagrams
- 2.4: Partitions
- 2.5: Cartesian Products
- 2.6: Power Sets
- Proof by Contrapositive
- Proof by Contradiction
- Boolean Algebra
- Inductive proofs
- Functions and Relations