CSCI 0220

Discrete Structures and Probability

CSCI 0220 meets Mondays, Wednesdays, and Fridays from 1:00 - 1:50 pm in Salomon DECI.

I don't know about you, but we're feeling 22! This class, usually offered during the spring semester at Brown University, gives you the tools to explore interesting questions and convince yourself and others of their answers. You'll be introduced to new worlds of ideas and ways of thinking. We'll learn about Set Theory, Logic, Number Theory, Combinatorics, and Probability. If these topics sound unfamiliar, not to fearβ€”you're in exactly the right place! This course assumes no prior experience with these topics.

Important info before the semester starts:

  • Exams are in person: March 15 and May 9.
  • Lectures will be streamed and recorded; attendance is strongly encouraged but not required.
  • Attendance at weekly recitation sections is required.
This year, we're taking proofs prehistoric! Rawr!

Assignments

chai
Homework Template Released Due Solutions
HW0 - Jan 24 Jan 31 -
HW1 Overleaf Template Feb 1 Feb 7 Solution
HW2 Overleaf Template Feb 8 Feb 14 Solution
HW3 Overleaf Template Feb 16 Feb 23 Solution
HW4 Overleaf Template Feb 22 Feb 28 Solution
HW5 Overleaf Template Feb 29 Mar 6 Solution
HW6 Overleaf Template Mar 15 Mar 22 -
HW7 Overleaf Template Mar 22 Apr 5 -
HW8 - Apr 4 Apr 10 -
HW9 - Apr 11 Apr 17 -
HW10 - Apr 18 Apr 24 -
Recitation Template Released Solution
Recitation 1 - Feb 1 Solution
Recitation 2 Overleaf Template Feb 8 Solution
Recitation 3 Overleaf Template Feb 15 Solution
Recitation 4 Overleaf Template Feb 22 Solution
Recitation 5 Overleaf Template Feb 29 Solution
Recitation 6 Overleaf Template Mar 7 Solution
- - Apr 4 -
- - Apr 11 -
- - Apr 18 -
- - Apr 25 -
- - May 2 -

Lectures

chai
Lecture Date Topic Recording
1 Jan 24 Intro Video
2 Jan 26 Statements, Proofs, and Contradictions Video
3 Jan 29 Propositional Logic: Connectives, Truth Tables Video
4 Jan 31 Formal Proofs in Propositional Logic Video
5 Feb 2 Propositional Proofs and Validity Video
6 Feb 5 First Order Logic (Quantifiers) Video
7 Feb 7 Formal Proofs in FOL Video
8 Feb 9 Language of Set Theory Video
9 Feb 12 Proof about Sets Video
10 Feb 14 Binary Relations Video
11 Feb 16 Injectivity, Surjectivity, Bijectivity Video
- Feb 19 President's Day - NO CLASS -
12 Feb 21 More Properties of Relations Video
13 Feb 23 Induction Video
14 Feb 26 Induction Variants Video
15 Feb 28 Number Theory -- Division Video
16 Mar 1 Division Algorithm Video
17 Mar 4 Modular Arithmetic Video
18 Mar 6 Multiplicative Inverses Video
19 Mar 8 Number Theory in Lean Video
20 Mar 11 Message Passing, RSA Video
21 Mar 13 Encryption and Ethics Video
- Mar 15 MIDTERM - IN CLASS -
22 Mar 18 Intro to Counting Video
23 Mar 20 Division Rule and Subsets Video
24 Mar 22 Binomial Theorem Video
- Mar 25 Spring Recess - NO CLASS -
- Mar 27 Spring Recess - NO CLASS -
- Mar 29 Spring Recess - NO CLASS -
25 Apr 1 Pigeonhole Principle Video
26 Apr 3 Counting Trees Video
27 Apr 5 Intro to Probability Video
28 Apr 8 Probability and Independence Video
29 Apr 10 Random Variables, Expectation Video
30 Apr 12 Conditional Expectation Video
31 Apr 15 Bayes' Rule Video
32 Apr 17 Variance Video
33 Apr 19 Linearity of Expectation Video
34 Apr 22 TBD Video
35 Apr 24 Induction and Proofs on Data Video
- May 9 FINAL EXAM - IN PERSON -

Calendar

chai

Resources

chai

Staff

chai

Instructor

Robert

Head TAs

Allie
Carmen
Jania
Joseph
Tyler

UTA-STAs

Grant
Sam

UTAs

Adela
Adithya
Alyssa
Amy
April
Brendan
Cerulean
Dan
Ethan
Ilan
Jason
Jean
Jen
Jiahua
Justin
Kai
Kristen
Linus
Michael
Serena
Tiger
Truman
Vignesh
Zachary