Pset1 posted!

April 6, 2018

Pset1 is out. Please note that the checkpoint portion (the first few warm-up problems) are due MONDAY April 9, 2:30pm.

Pset0 posted!

April 2, 2018

Your first problem set is now posted. It is due FRIDAY April 6! It is quick, but be sure to keep that deadline.

Welcome to CS103!

April 2, 2018

Welcome to CS103, an introduction to discrete mathematics, computability theory, and complexity theory! We have an great quarter ahead of us filled with interesting and exciting results in the power and limits of computation, and I hope that you're able to join us.

I'll see you for our first day of class 3:00 PM - 4:20 PM in STLC 111! (STLC is the Old Chemistry building near the Oval.)

If you have any questions in the meantime, feel free to email me at cbl@cs.stanford.edu.

See you soon!

21: Preparing for the Exam

18: Discrete Structures Checklist

17: Guide to Discrete Structures

14: Logic Translation Checklist

12: Proofwriting Checklist

11: Ten Techniques to Get Unstuck

10: Guide to Indirect Proofs

09: Mathematical Vocabulary

08: Guide to Proofs

07: Set Theory Definitions

06: How to Succeed

05: Problem Set Policies

04: Honor Code

02: Math Prereqs

01: Syllabus

00: Course Information

Practice Midterm 4

(solutions)

Practice Midterm 3

(solutions)

Practice Midterm 2

(solutions)

Practice Midterm 1

(solutions)

Extra Practice Problems 1

(solutions)

Course Reader

CS103A Website

Guide to ∈ and ⊆

Qt Creator

Office Hours Calendar

Truth Table Tool

Guide to Negations

Guide to Logic Translations

Guide to Cantor's Theorem

**
10: Graphs I
Slides (Part 1)
Slides (Part 2)
**

**
09: Cardinality
Slides
**

**
08: Binary Relations III
Slides
**

**
07: Binary Relations II
Slides
**

**
06: Binary Relations
Slides
**

**
05: More Predicate Logic
Slides
**

**
04: Predicate Logic
Slides
**

**
03: Propositional Logic
Slides
**

**
02: Indirect Proofs
Slides
**

**
01: Proof-Writing
Slides
**

**
00: Set Theory
Slides
**