Key Dates

It's likely that the topics will change, but very UNlikely that the dates of homeworks, recitations, or quizzes will. Please note the dates you're expected to be present in lecture (otherwise, our CS1800 Attendance Policy Applies.

Friday, October 3. Quiz one in lecture (two questions).
Friday, October 24. Quiz two in lecture (two questions).
Friday, November 14. Quiz three in lecture (two questions).
Friday, December 5. Quiz four in lecture (one question).
Friday, December 12, 8-10am OR Saturday December 13 1-3pm (Optional final exam in Blackman Auditorium.)

Lecture Attendence & Videos

Lectures and recitations are in-person and attendance is expected. We don't want or expect anyone to come to class when they're sick, though, so we'll post supplementary videos each week that you can use to catch up on any missed material. If you miss class for any reason, we recommend watching the videos for that week and stopping by professor office hours to get caught up.

These supplementary videos were recorded in previous semesters. They will not use the same examples or cover material in the same order as we'll do in our lectures. We hope they're helpful for days when you need to miss class, but they will definitely NOT be an identical experience!

Week	Topics	Materials	HW	Quiz
1. 9/5	Intro & Welcome Overview of CS1800 No Recitation	Videos Gradescope Intro CS1800 Overview Lecture Notes Day One Slides Q & A Notes (Sec 1 , Sec 2)
2. 9/9, 9/12	Propositional Logic Compound Logic Statments Truth Tables Logical Equivalence Recitation 1, solns	Handouts Logic, Predicates, Quantifiers Lecture Notes Lecture Slides (9/9) Slides w/Notes (9/9) Lecture Notes (9/9) Lecture Notes (9/12) Videos Propositional Logic Logical Equivalence
3. 9/16, 9/19	Introduction to Proofs Predicate Logic Representation of Numbers Binary Numbers & Two's Complement Recitation 2, solns	Handouts Representation of Numbers Two's Complement Videos Predicate Logic Representation of Numbers Lecture Notes Lecture Notes (9/16) Lecture Slides (9/16) Lecture Notes (9/19)	HW1 (due 9/23 @ 9pm)
4. 9/23, 9/26	Circuits and Logic Logic Gates and Arithmetic Intro to Sets Set Operations and Logic Recitation 3, solns	Handouts Sets & Set Equality Videos Circuits & Logic Sets Lecture Notes Lecture Notes (9/23) Slides (9/23) Lecture Notes (9/26)	HW2 (due 9/30 @ 9pm)
5. 9/30, 10/3	Set Equality Cardinality of Sets Set Functions Fri - Quiz 1 Recitation 4, solns	Lecture Notes Lecture Notes (9/30) Lecture Slides (9/30)		Quiz 1
6. 10/7, 10/10	Intro to Combinatorics Sum Rule, Product Rule Permutations, Combinations Problem-Solving Techniques Recitation 5, solns	Handouts Counting Intro Videos Sets & Counting Permutations & Combinations Lecture Notes Lecture Slides (10/7) Slides w/Notes (10/7) Lecture Notes (10/7) Lecture Notes (10/10)	HW3 (due 10/14 @ 9pm)
7. 10/14, 10/17	Counting cont'd Overcounting & Indistinguishable Objects Pigeonhole Prinicple Intro to Probability Recitation 6, solns	Handouts Counting w/Repetition Pigeonhole Principle Basic Probability Videos Stars & Bars Pigeonhole Principle Lecture Notes Lecture Slides (10/14) Slides w/Notes (10/14) Lecture Notes (10/14) Lecture Notes (10/17) Lecture Slides (10/17)	HW4 (due 10/21 @ 9pm)
8. 10/21, 10/24	Probability cont'd Dependent, Independent Events Expected Value Fri - Quiz 2 Recitation 7, solns	Handouts Probability Conditional Probability and Expected Value Videos Conditional Probability Lecture Notes Lecture Notes (10/21)		Quiz 2
9. 10/28, 10/31 🎃	Probability Cont'd Conditional Probabilities Bayes Rule Intro to Sequences Recitation 8, solns	Videos Bayes EV Practice Sequences Handouts Sequences & Summations Lecture Notes Lecture Notes (10/28) Lecture Notes (10/31)	HW5 (due 11/4 @ 9pm)
10. 11/4, 11/7	Sequences & Summations Mathematical Induction Recitation 9, solns	Videos Summations Mathematical Induction Handouts Mathematical Induction Lecture Notes Lecture Notes (11/4) Lecture Notes (11/7)	HW6 (due 11/13 @ 9pm) <== extra time due to 11/11 holiday
11. 11/14	Tue - No Class! Fri - Quiz 3 Recitation 10, solns			Quiz 3
12. 11/18, 11/21	Proof by Indcution Cont'd Induction Categories Graphs Overview Recitation 11, solns	Videos Graphs Intro Lecture Notes Lecture Notes (11/18) Lecture Notes (11/21)	HW7 (due 12/2 @ 9pm) <== extra time due to holiday
13. 11/25	Tue - Optional Lecture Fri - no class! No Recitation	Lecture Notes Slides from 11/25
14. 12/2, 12/5	Growth of Functions CS1800 Wrap-Up Fri - Quiz 4 Recitation 12, solns	Lecture Notes Lecture Notes (12/2)	Second-Chance HW due 12/5 9pm	Quiz 4
Finals Week	Optional Final Exam Fri 12/12 8-10a Sat 12/13 1-3pm You can join the either final exam slot, whichever works best for your schedule. There will be 7 questions on the final, each of which can replace your score on the corresponding quiz question.