CSCI 2011: Course Schedule and Materials
University of Minnesota
Spring 2018
Schedule and Course Materials
| Week | Date | Lecture Topic | Links | Textbook | Wednesday Disc | Assignments |
|---|---|---|---|---|---|---|
| 1-1 | 6/12 | Intro, Propositional Logic | Slides | 1.1 - 1.3, 12 | Dis01: Logic | Agreement |
| Course Mechanics | Mechanics | Solution | ||||
| 1-2 | 6/14 | Predicate Logic with Quantifiers | Slides | 1.4 - 1.5 | A01 | |
| 2-1 | 6/19 | Proof Techniques | Slides | 1.6 - 1.8 | Dis02: Proofs | A02 |
| Practice Quiz | Practice | Solution | ||||
| Slides | ||||||
| 2-2 | 6/21 | Quiz 1 | ||||
| Proofs wrap-up, Sets | ||||||
| 3-1 | 6/26 | Basic Discrete Structures | Slides | 2.1 - 2.5 | Dis03: Sets/Algs | A03 |
| Solution | ||||||
| 3-2 | 6/28 | Quiz 2 | Practice | |||
| Algorithms and Big-O | Slides | 3.1 - 3.3 | ||||
| 4-1 | 7/03 | Number Theory and Cryptography | Slides | 4.1 - 4.6 | No Discussion | A04 |
| 7/04 | July 4 Holiday: No Discussion | |||||
| 4-2 | 7/05 | Induction and Recursion | Slides | 5.1 - 5.3 | ||
| 5-1 | 7/10 | Recursive Algorithm Correctness | 5.4 - 5.5 | Dis05: Induction | A05 | |
| Solution | ||||||
| 5-2 | 7/12 | Quiz 3 | Practice | Slides | ||
| Counting Techniques | Slides | 6.1 - 6.5, 8.5 | ||||
| 6-1 | 7/17 | Discrete Probability | Slides | 7.1 - 7.4 | Dis06: Counting | A06 |
| Slides | ||||||
| 6-2 | 7/19 | Quiz 4 | Practice | Solution | ||
| Recurrence Relations | Slides | 8.1 - 8.3 | ||||
| 7-1 | 7/24 | Mathematical Relations | Slides | 9.1 - 9.5 | Dis07: Relations | A07 |
| Solution | ||||||
| Slides | ||||||
| 7-2 | 7/26 | Quiz 5 | Practice | |||
| Graphs | Slides | 10.1 - 10.6 | ||||
| 8-1 | 7/31 | Graph Wrap-up, Evals | Dis08: Review | A08 | ||
| 8-2 | 8/02 | Final Exam: Thu 8/2 12:20-2:20pm | Practice |
Other Links
None yet