Class Schedule

It's likely that the topics will change, but very UNlikely that the dates of ICAs, homeworks, or exams will.

Homeworks are listed below on the day they are assigned (they will be on Gradescope).Homeworks are due Wednesays at 6pm unless indicated otherwise.

We'll designate a chunk of time during each lecture to work on the In-Class Assignment (ICA). This will be a problem set to gain hands-on practice with today's lecture material and prepare for the upcoming homework assignment. We'll go over 1-2 of the problems in class, and you'll submit your solution to Gradescope for credit.

Lecture Attendence & Videos

Lectures and exams 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.

These supplementary videos were recorded in previous semesters. We do not record lectures in CS5002. If you need to miss class:

Watch the videos and read the notes posted from the given week.
Complete and submit the ICA for that week.
Stop by Laney's or a TA's office hours to make sure you're caught up and feeling confident on the material.
There is no need to notify us about missing class.

These supplementary videos, plus the notes from class, are meant to be helpful for days when you need to miss class, but they will definitely NOT be an identical experience! They should suffice when you miss a class or two due to illness or emergency, but we do not recommend using them as a substitute for regular participation in the in-person lecture.

Week	Topics	Class Materials	ICA	HW
1. 1/10	Overview of CS5002 Intro to problem-solving Translating big ideas to something a computer can understand Propositional Logic Truth Tables	Videos Submitting Work (Gradescope) Foundational Math Review Logic Lecture Notes Day One Slides Lecture Notes (1/10) Material Day One Survey Handout: Foundational Math Handout: Logic and Quantifiers	ICA 1, Soln (due 1/11 @6pm)
2. 1/17	Implications Laws of logical equivalence Predicates, negation quantifiers	Videos Logical Equivalence Predicates and Quantifiers Lecture Notes Lecture Notes (1/17)	ICA 2, Soln (due 1/18 @6pm)	HW 1, Draft Rubric, Soln (due 1/24 @ 6pm)
3. 1/24	Logic gates and circuits Representation of numbers Bases conversion Arithmetic in base b Two's complement	Videos Circuits Representation of Numbers Handouts Representation of Numbers Two's Complement Lecture Notes Slides (1/24) Lecture Notes (1/24)	ICA 3, Soln (due 1/25 @6pm)	HW 2, Draft Rubric, Soln (due 1/31 @ 6pm)
4. 1/31	Intro to sets Set operations Set equality Cardinality of sets Inclusion/Exclusion Principle	Videos Sets and Set Operations Set Equality Handouts Sets and Set Equality Lecture Notes Slides (1/31) Lecture Notes (1/31)	ICA 4, Soln (due 2/1 @6pm)	HW 3, Draft Rubric, Soln (due 2/7 @6pm)
5. 2/7	Intro to combinatorics Sum rule Product rule Permutations Combinations	Videos Product rule, sum rule Permutations, Combinations Handouts Counting Intro Exam #1 Practice Problems Lecture Notes Lecture Notes (2/7)	ICA 5, Soln (due 2/8 @6pm)	HW 4, Draft Rubric, Soln (due 2/14 @ 6pm)
6. 2/14	Combinatorics cont'd Stars and bars Overcounting, undercounting Exam prep!	Videos Stars & Bars Lecture Notes Lecture Notes (2/14) Handouts Exam #1 Practice Solutions
7. 2/21	EXAM ONE			2/23 @6pm: Late deadline! Submit any/all of HW1-4 for full credit
8. 2/28	Pigeonhole Principle Basic probabilities Conditional probabilities Expected Value Bayes Rule	Videos Pigeonhole Principle Basic Probability Conditional Probability Handouts Pigeonhole Principle Basic Probabilities Conditional Probabilities and Expected Value Exam One Sample Solutions Lecture Notes Slides - Pigeonhole Principle Lecture Notes (2/28)	ICA 6, Soln (due 2/29 @6pm)	HW 5, Draft Rubric (due 3/13 @6pm)
9. 3/6	SPRING BREAK :)
10. 3/13	Intro to graphs Graph definitions Graph theory and problem-solving Graph algorithms	Handouts Graph Definitions Videos Graphs Overview Lecture Notes Lecture Notes (3/13)	ICA 7, Soln (due 3/14 @6pm)	HW 6, Draft Rubric (due 3/27 @6pm)
11. 3/20	Laney at a conference TA Office Hours during lecture!
12. 3/27	Proof by induction Structure of an inductive proof Uses of induction proofs Structural induction	Videos Induction intro Induction Example Handouts Mathematical Induction Exam #2 Practice Problems Lecture Notes Lecture Notes (3/27)	ICA 8, Soln (due 3/28 @6pm)	HW 7, Draft Rubric (due 4/3 @6pm)
13. 4/3	Sequences Summations Series Summations and Induction Exam prep	Videos Sequences Handouts Sequences & Summations Exam #2 Practice Solutions Lecture Notes Lecture Notes (4/3)	ICA 9, Soln (due 4/4 @6pm)
14. 4/10	EXAM TWO
15. 4/17	Growth of functions Recurrences - algorithmic Recurrences - sequences Search & Sort			4/17 @6pm: Late deadline! Submit any/all of HW5-7 for full credit
16. 4/24	MAKE-UP EXAM QUESTION