CS 70 at UC Berkeley

# Discrete Mathematics and Probability Theory

Lecture: TuTh 3:30-5:00pm, Wheeler 150

## Professor Alistair Sinclair

sinclair (at) berkeley (dot) edu

Office Hours: M 1:15-2:15PM, W 1:15-2:15PM, 677 Soda Hall

## Professor Yun S. Song

yss (at) berkeley (dot) edu

Office Hours: W 11am-12pm, 629 Soda Hall; Th 5:15-6:15pm, 304B Stanley Hall

### Week 0 Overview

## Welcome to CS70!

### Week 1 Overview

## Propositional Logic, Proofs, Induction

- Note 2 : Proofs
- Note 3 : Induction
- Discussion 1 (solution)
- Discussion 2 (solution)
- Discussion 2b
- Homework 00 (TeX) (solution)
- Homework 1 (TeX) (solution)

### Week 2 Overview

## Stable Marriage, Graph Theory

- Note 4 : Stable Marriage
- Note 5 : Graph Theory
- Discussion 1b (solution)
- Discussion 2 (solution)
- Discussion 2b
- Homework 1 (TeX) (solution)
- Homework 2 (TeX)

## Notes

There is no textbook for this class. Instead, there is a set of comprehensive lecture notes. Make sure you revisit the notes after every lecture, and multiple times thereafter: **you should be aware that it will likely take several readings before you fully understand the material.** Each note may be covered in one or more lectures. See Policies for more information.

- Note 0: Review of Sets, Notation
- Note 1: Propositional Logic
- Note 2: Proofs
- Note 3: Induction
- Note 4: Stable Marriage
- Note 5: Graph Theory

## Discussions

The discussion sections are specifically designed to consolidate the material covered in lectures and in the notes. It is highly recommended that you attend both discussions each week. You may attend any discussion section, but we recommend that you settle on a weekly two-section pair (with the same TA) as early as possible in the semester. If a particular section is too full, then students will be admitted on a first-come first-served basis and others will have to attend an alternative section. All sections are equivalent: they all cover the same material. See Policies for more information.

- Discussion 1: Propositional Logic, Proofs (solution)
- Discussion 1b: Quiz (Logic, Proofs) (solution)
- Discussion 2: Induction, Stable Marriage (solution)
- Discussion 2b: Induction, Stable Marriage

## Homeworks

There will be weekly required homeworks, again designed to consolidate your understanding of the course material. It is highly recommended that you attempt all homeworks. Your lowest two homework scores will be dropped, but these drops should be reserved for emergencies. No additional allowances will be made for late or missed homeworks: please do not contact us about missed homeworks or late submissions. See Policies for more information.

- HW 00: Course Logistics (TeX) (Sol)
- HW 1: Propositional Logic, Proofs (TeX) (Sol)
- HW 2: Induction, Stable Marriage (TeX)