Announcements

Some Words of Encouragement
May 20, 2015

As we approach the second midterm exam, I thought I'd share two resources that I've found helpful in the past when feeling stressed about math.

First, here's an excellent YouTube video from Mathematigal talking about how not to be afraid of math:

Second, here's an article by a journalism professor dispelling his belief that he was inherently "bad at math."

Hope this helps!

Second Midterm Room Locations
May 15, 2015

Here are the room assignments for the second midterm exam, which are divvied up by last (family) name.

  • Last name Aba - Sow: Go to Hewlett 200.
  • Last name Spe - Zoc: Go to Hewlett 201.

Best of luck on the exam - I hope it goes well!

Midterm Room Locations
April 30, 2015

Here are the room assignments for the first midterm exam, which are divvied up by last (family) name.

  • Last name Aba - Mes: Go to Annenberg Auditorium.
  • Last name Mex - Zoc: Go to Cubberly Auditorium.

Best of luck on the exam tonight - I hope it goes well!

Midterm Logistics
April 22, 2015

The first midterm exam will be next Thursday, April 30 from 7PM - 10PM, location TBA. It's closed-book, closed-computer, and open-one-page-of-notes. You can have one 8.5" × 11" sheet of notes with you when you take the exam. The exam will cover topics up through and including graphs, roughly corresponding to the material from Problem Set One through Problem Set Three.

To help you get more practice for the exam, we'll be holding a practice midterm exam next Monday, April 27 from 7PM - 10PM, location also TBA. The practice exam has a similar structure and form as the actual midterm exam, and TAs will be on hand to answer any questions you might have. If you can't make the alternate exam time, don't worry - we'll post the practice exam up on the course website.

We will also be releasing sets of extra practice problems throughout the week in case you'd like more practice. The first set of extra practice problems is currently available under the "Practice Problems" section of the course website. We'll release solutions on Friday along with another set of review problems. If you'd like more practice on top of this, check out the CS103A website or try some of the exercises from the course notes.

If you cannot make the scheduled exam time, please contact the course staff as soon as possible. We will be holding one alternate exam from 4PM - 7PM on the same day as the main exam, but we need to have an estimated headcount so we know how big of a room to reserve.

As always, feel free to contact us with questions. Good luck!

Problem Set Three
April 17, 2015

Problem Set Three goes out today. The checkpoint assignment is due on Monday, April 20, and the remaining problems are due on Friday, April 24. This problem set explores propositional and first-order logic in some depth, the switches into a brief overview of graph theory. We hope that you have fun with this one!

Good luck!

Problem Set Two
April 10, 2015

Problem Set Two goes out today. The checkpoint assignment is due on Monday, April 13, and the remaining problems are due on Friday, April 17. This problem set is all about induction, its variants, and its applications. I hope that you have a lot of fun on this problem set - some of these problems are among my all-time favorites!

Good luck!

For Fun: Two Mathematical Links
April 6, 2015

If you'd like a fun little diversion, check out Vi Hart's video about Pythagoras and √2.

Also, as mentioned in lecture, if you assume 1 = 0, you can prove anything, including that Winston Churchill is a carrot. Just thought I'd share that gem of wisdom with you.

Enjoy!

Problem Set One
April 3, 2015

The very first problem set of the quarter, Problem Set One, goes out today and is due in two parts. The checkpoint assignment is due this upcoming Monday at 12:50PM and will be graded based on effort. The remaining problems are then due on Friday at 12:50PM. We hope that this problem set gives you a lot of practice with the three main proof techniques we've seen so far and gives you a sense of what you can do in the realm of discrete math. If you have any questions, please feel free to reach out to us!

We're using Scoryst this quarter for assignment submissions. To sign up for Scoryst, please have each group member register using the link under the "resources" tab, then list everyone on the submission. Let us know if you have any trouble submitting

Good luck!

Welcome to CS103!
March 30, 2015

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.

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

See you soon!

Handouts

25R: Midterm 2 Regrade Form
17R: Midterm 1 Regrade Form
09: Guide to Induction
08: Indirect Proofs
07: Guide to Proofs
05: Honor Code Policies
04: Problem Set Policies
03: How to Succeed
02: Set Theory Definitions
01: Syllabus
00: Course Information

Assignments

Problem Set Eight
Problem Set Seven
Problem Set Six
Problem Set Five
Problem Set Four
Problem Set Three
Problem Set Two
Problem Set One

Practice Problems

Practice Midterm 2
Practice Problems 6
Practice Problems 5
Practice Problems 4
Practice Midterm 1
Practice Problems 3
Practice Problems 2
Practice Problems 1

Resources

Course Reader
CS103A Website
Scoryst Signup
Office Hours Schedule
Theorem and Definition Reference
Truth Table Tool
First-Order Logic Parser
Binary Relation Editor
Where to Get Solutions
DFA/NFA Editor
Regex Editor
CFG Editor
Turing Machine Editor

Lectures

24: P and NP
   Slides | Condensed
23: Unsolvable Problems III
   Slides | Condensed
22: Unsolvable Problems II
   Slides | Condensed
21: Unsolvable Problems I
   Slides | Condensed
20: Turing Machines III
   Slides | Condensed | Quine Code
19: Turing Machines II
   Slides | Condensed
18: Turing Machines I
   Slides | Condensed
17: Context-Free Grammars
   Slides | Condensed
16: Nonregular Languages
   Slides | Condensed
15: Regular Expressions
   Slides | Condensed
14: Finite Automata III
   Slides | Condensed
13: Finite Automata II
   Slides | Condensed
12: Finite Automata I
   Slides | Condensed
11: Binary Relations
   Slides | Condensed
10: Unequal Cardinalities
   Slides | Condensed
09: Functions
   Slides | Condensed
08: Graphs
   Slides | Condensed
07: Mathematical Logic III
   Slides | Condensed
06: Mathematical Logic II
   Slides | Condensed
05: Mathematical Logic I
   Slides | Condensed
04: Induction II
   Slides | Condensed
03: Induction I
   Slides | Condensed
02: Indirect Proofs
   Slides | Condensed
01: Direct Proofs
   Slides | Condensed
00: Set Theory
   Slides | Condensed