Announcements

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!

Handouts

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

Assignments

Problem Set 3

Problem Set 2 Problem Set 1 Problem Set 0

Practice Problems

Practice Midterm 4
  (solutions)
Practice Midterm 3
  (solutions)
Practice Midterm 2
  (solutions)
Practice Midterm 1
  (solutions)
Extra Practice Problems 1
  (solutions)

Exams

Resources

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

Lectures

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