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.
Assignments
Times listed are in EST. Assignments are released on Thursday mornings, and are due 11:59pm on Wednesdays. Clicking on the Overleaf Template link will open a new Overleaf project, so you can write your homework solutions in LaTeX.
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 | Solution |
HW8 | Overleaf Template | Apr 5 | Apr 11 | Solution |
HW9 | Overleaf Template | Apr 12 | Apr 17 | Solution |
HW10 | Overleaf Template | Apr 19 | Apr 26 | Solution |
Recitation sections are held from Thursday to Sunday, and recitation is due the week after your recitation section. Also, if you need to miss a recitation and need to request an absence, fill out the form here.
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 |
- | - | - | |
Recitation 7 | Overleaf Template | Apr 4 | Solution |
Recitation 8 | Overleaf Template | Apr 11 | Solution |
Recitation 9 | Overleaf Template | Apr 25 | Solution |
- | - | - |
Lectures
Calendar
How do hours work?
CS22 hours are collaborative spaces for students to work together on problems, facilitated by TAs. Hours will be primarily in-person. More details about hours can be found in the Hours and Recitation Policy. Remote hours will be facilitated using tickets handled from Hours.
Here is a link to the course calendar (same as below).
Resources
Course Textbook
Mathematics for Computer Science — Lehman, Leighton, MeyerReading this textbook is not required, though many students in the past have found it helpful in reinforcing what's covered in lecture!
Course Documentation
Important Links
- EdStem
- Gradescope
- Anonymous Feedback Form
- Extension Request Form
- Recitation Absence Form
- Lecture Recordings/Livestream
Homework Resources
For many of you, this is your first time writing proofs, and even for those who have written proofs before, what we consider a good proof in CS22 likely differs from what made a good proof wherever you were writing them before! Check out the proof virtues document below to acquaint yourself with what we consider a good proof in CS22. Your proofs will be graded with respect to this document , so be sure to read it carefully, and come to hours with any questions.
Lean Resources
Math Resources
Sample Proofs
- Bidirectional
- Bijective Proof Sketch
- More Bijective Proof Sketches
- Bijective Strategies
- Cases
- Contradiction
- Contraposition
- Counterexample
- Equivalence Relations
- Induction
- More Induction
- Strong Induction
- Probability
- Set Equivalence
The LaTeX files to all the above resources can be found here.
LaTeX Resources
LaTeX (pronounced la-tek) is a program that you will be using to make your homework solutions look beautiful. The sample proofs above were written in LaTeX to give you an idea of what documents written in LaTeX look like. LaTeX allows you to incorporate mathematical notation into your proofs, and because this class involves a healthy dose of mathematical notation, LaTeX is going to be very useful! Using LaTeX is required after the 2nd homework.
We don't expect you've ever done this whole LaTeX business before, and that's why we're giving you some time to learn it! To get started, we recommend creating an account on Overleaf, an online program for writing and compiling LaTeX. After you do that, here are some links to check out: Honestly, please use Overleaf. It's so much easier than installing anything on your computer. Trust me.
- CS22 LaTeX Cheat Sheet (start here!)
- A Not So Short Introduction to LaTeX
- LaTeX Symbols Guide
- Art of Problem Solving: LaTeX
- LaTeX Intro Wikibook
- LaTeX on Brown CS Systems
- LaTeX Gearup Template
- LaTeX Gearup Completed Handout
In general, a really good resource for learning LaTeX is the web. When you have a question, google it, and you'll likely find someone who had the very same question!
If you'd like to download LaTeX on your computer, here are some resources to do that:
If you're using LaTeX and you just don't know what the code for some symbol is, here is a helpful list to start:
Alternatively, this is a neat site which will return the LaTeX code based on handwritten input (although searching your question on the web is likely more efficient):
Final Exam Resources
The final practice exam is not a substitute for studying the homeworks, recitations, and lectures!
The Final Reference Sheet is what you will have during the actual exam as a "cheat sheet".
Created by the TAs, the Final Review Guide is a study guide for the exam. There is no solution key for the practice problems, but we are happy to help!
Staff
Instructor
Robert Y. Lewis
Instructor | Brookline, MA
he/him
Call me Rob! I'm 50% computer scientist, 40% mathematician, and 10% philosopher, so this course is pretty much my dream.
Office hours (double check on the calendar): Mon 11-12 in person, Thu 10-11 virtual
Fav Dinosaur: Diplodocus carnegii
Head TAs
Allie Masthay
HTA | Simsbury, CT
she/her
Hi guys! I am a junior from Connecticut studying Computer Science, and I am super excited for this semester! When I am not in the CIT, I love going to Bajas, drinking Diet Coke, singing karaoke, or trying to catch the Sci Li rats. Feel free to reach out to me anytime about anything CS22, CS at Brown, or general questions on life. Can't wait to meet you!
Fav Dinosaur: Allosaurus
Carmen Yu
HTA | Sacramento, CA
she/her
Hey! I'm a senior studying Math and Computer Science π¦ In my free time, I enjoy tetris, climbing, and warm weather :) Looking forward to a fun semester with you all!
Fav Dinosaur: carcharodontosaurus
Jania Vandevoorde
HTA | Dubai, United Arab Emirates
she/her
Call me Janj! I'm a junior on the Rugby team studying CS and Statistics! I love reading, traveling, running, and making new Spotify playlists :)
Fav Dinosaur: Arlo from The Good Dinosaur
Joseph Rotella
HTA | Philadelphia, PA
he/him
I'm a senior studying math-CS with interests in logic, programming languages, and formal methods. When not writing proofs in Lean, I can often be found playing piano or reading in the Rock stacks.
Fav Dinosaur: Microraptor
Tyler Gurth
HTA | Parsippany, NJ
he/him
Hey!! I'm a junior studying CS and History of Art and Architecture. When I'm not programming or appreciating art, one can find me watching a late 90s / early 2000s Julia Roberts movie. Self described as "obsessed with Julia Roberts".
Fav Dinosaur: Stegosaurus
UTA-STAs
Grant Landon
UTA-STA | Hamilton, MA
he/him
Hello everyone! I'm a Junior studying Applied Math and Computer Science and I will be one of your joint UTA/STA's this year. When I was 5 years old, my dad bought me a stuffed triceratops named Stuffy after a visit to Boston's Museums of Science. Stuffy still remains on my night stand to this day. I can't wait to meet you all!
Fav Dinosaur: Stuffy the Triceratops
Sam Shulman
UTA-STA | Toronto, Canada
she/her
Hiiiii I'm a junior studying computer science and I really like cheese and hiking and beautiful sunsets <3.
Fav Dinosaur: Giganotosaurus
UTAs
Adela Zhou
UTA | Chongqing, China
she/her
Hi! I'm a junior studying CS and Sociology. A fun fact about me is that I never pulled an all nighter before :p
Fav Dinosaur: pterosaurs
Adithya Sriram
UTA | Chennai, India
he/him
Hi guys, I'm a sophomore concentrating in MATH-CS. In my free time, I enjoy playing poker, trying new foods and traveling.
Fav Dinosaur: Velociraptor
Alyssa Sun
UTA | Wilsonville, OR
she/her
I <3 Bagels.
Fav Dinosaur: Mononykus
Amy Qiao
UTA | Madison, WI
she/her
Hi beautiful people! I'm a sophomore from Madison, WI studying CS & Math. I love all things math and will not shut up about it. In my free time, I love figure skating and overthinking everything :)
Fav Dinosaur: Brachiosaurus
April Xu
UTA | Frisco, TX
she/her
Hi! I'm a senior studying CS. I enjoy walkable cities, waffles, and watching video essays.
Fav Dinosaur: Bambiraptor
Brendan Ho
UTA | Wayland, MA
he/him
Hi y'all! I'm a senior studying computer science and environmental studies. I like baking, hula-hooping, and dino nuggets. Excited to meet everyone!
Fav Dinosaur: Psittacosaurus
Cerulean Ozarow
UTA | Brooklyn, NY
he/him
Hi everyone! I'm cerulean, a junior studying applied math, because the building is nicer than the cit. Ask me about graph theory, educational policy, genealogy, or literally anything else. :)
Fav Dinosaur: archaeopteryx
Dan Fiume
UTA | Odenton, MD
he/him
Hi! I'm a senior studying applied math - computer science. When I'm not working, you can find me playing games, taking photos, or eating ice cream. Looking forward to meeting everyone this semester!
Fav Dinosaur: Camarasaurus
Ethan Ohayon
UTA | Rockville, MD
he/him
Hi! I am a Junior studying CS-Econ. In my free time I enjoy playing sports, hanging at the beach, and walking my dog. I also really, really like cheeseburgers. I'm looking forward to working with everyone this spring!
Fav Dinosaur: Brachiosaurus
Ilan Brauns
UTA | South Orange, NJ
he/him
Hi everyone, I'm Ilan! I am a sophomore studying Applied Math - Computer Science and Mathematics. In my free time I like to play sports, work out, and hang with friends. I love my dog Ruby and you can find me impatiently waiting for fantasy football season. I'm so excited for the semester and feel free to reach out about CS22 or anything else!
Fav Dinosaur: Indominus Rex
Jason Eveleth
UTA | Albany, NY
he/him
I'm a 5th year masters student in CS. My news years resolution is to learn how to moonwalk.
Fav Dinosaur: Velociraptor
Jean Yoo
UTA | Salt Lake City, UT
she/her
Hi! I'm a junior studying CS. I like coffee, NYT crosswords, tennis, playing guitar, and anything with Snoopy and Woodstock on it.
Fav Dinosaur: Stegosaurus
Jen Chen
UTA | Livingston, NJ
she/her
hi! I'm a junior studying CS on a premed track. I love listening to podcasts, food, and art! My favorite food is dinosaurs--so good!
Fav Dinosaur: Yoshi
Jiahua Chen
UTA | Hong Kong & Shanghai, China
he/him
Hi! I'm a senior from HK and Shanghai studying Math & CS! Talk to me about art, photography, or board games!
Fav Dinosaur: Triceratops
Justin Shin
UTA | Bremen, GA
he/him
https://youtu.be/QwLvrnlfdNo?si=-405FOa75iag4OkM
Fav Dinosaur: Micropachycephalosaurus
Kai Zuang
UTA | Frisco, TX
he/him
I like sunsets, stargazing, and cooking :).
Fav Dinosaur: dino nuggets
Kristen Cai
UTA | Vernon Hills, IL
she/her
I'm a junior studying APMA-CS. Recently I've been loving coffee, hawthorn, and playing guitar.
Fav Dinosaur: Pterodactyl
Linus Sun
UTA | Berkeley, CA
he/him
senior (.5er π€―π€―π€―π€―π€―) studying cs + music!!! big fan of climbing + music + sleeping + being awake!!! ππππππ
Fav Dinosaur: Anchiornis (fake) Aerodactyl (real)
Michael Sun
UTA | East Brunswick, NJ
he/him
I'm a junior studying comp-bio. I love coffee/matcha, swimming, and playing my wooden stringed violin instrument.
Fav Dinosaur: Xenoceratops
Serena West
UTA | Houston, TX
she/her
I really enjoy trying different hobbies and food (current hobby is attempting roller skating), also have a cute little chihuahua named Poppie :)!
Fav Dinosaur: Saurolophus
Tiger Lamlertprasertkul
UTA | Bangkok, Thailand
he/him
I enjoy indoor bouldering and just picked up ice skating this past winter break!
Fav Dinosaur: Elasmosaurus
Truman Cunningham
UTA | Austin, TX
he/him
I am a senior studying Art History and CS. I love all things photography and bees! Ask me about my birb collection!
Fav Dinosaur: Chicken
Vignesh Pandiarajan
UTA | San Ramon, CA
he/him
Hi! Iβm a senior concentrating in CS. I enjoy spicy food and puzzle. I also love cheese but have been cursed with lactose intolerance.
Fav Dinosaur: Brachiosaurus
Zachary Wang
UTA | College Station, TX
he/him
Howdy! I'm a sophomore studying apma + cs. ask me about the 2017-2018 houston rockets.
Fav Dinosaur: Brachiosaurus