Announcements

Problem Set Four Released
October 17, 2014

Problem Set Four goes out today. It will be our final problem set on discrete structures (functions, cardinality, relations, and the pigeonhole principle) before we begin talking about computability. The checkpoint problem is due on Monday, October 20 at 2:15PM, and the full problem set is then due on Monday, October 27 at 2:15PM as well. That way, you won't have a problem set due during the middle of our midterm week.

Good luck!

Review Problems Released
October 15, 2014

We've released a set of midterm review problems that you can use to practice for the upcoming midterm exam. We'll release solutions to these problems, along with additional practice problems, on Friday.

Hope this helps!

Problem Set Three Released
October 10, 2014

Problem Set Three goes out today. It covers graphs and mathematical logic. The problem set consists of two parts - a checkpoint problem due Monday, October 13 at the start of class, and a remaining set of problems due on Friday, October 17.

Good luck!

Problem Set Two Released
October 3, 2014

Problem Set Two goes out today. It's all about induction and variations on induction, and we hope that you have fun with it! The problem set consists of two parts - a checkpoint problem due Monday, October 6 at the start of class, and a remaining set of problems due on Friday, October 10.

Along with this handout, we've released a guide to inductive proofs that covers some specific tips and tricks for writing inductive proofs and thinking about induction. We hope you find it useful!

Good luck!

For Fun: Two Mathematical Links
September 30, 2014

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!

Office Hours Start Monday
September 28, 2014

Office hours will start this Monday morning. We've posted our office hours schedule under the "Resources" header. We're still finalizing room times and locations, so please check in periodically for more information.

Our office hours are working office hours in which you're welcome to stop on by and ask any questions you'd like. You can ask clarifying questions on problem sets, get feedback on your previous problem sets, review the lecture content, etc. In past quarters of CS103, a large fraction of students attended at least one section of office hours, so please don't hesitate to stop on by!

Some of the time blocks listed on the schedule are labeled DS for Discussion Section. These are optional discussion sections in which you can stop by to work through problems related to each week's problem set questions. We'll release a set of discussion questions and solutions each week. We highly recommend these discussion sections, as they'll give you more practice working through the types of problems that will come up in CS103 and beyond.

Some of our office hours are specifically marked as SCPD office hours. These office hours sections are for remote SCPD students only, and the link to enter them online will be sent out to the SCPD students mailing list right before those office hours start.

Problem Set One Released
September 26, 2014

The first problem set of the quarter goes out today. It covers direct proofs, indirect proofs, and set theory. It consists of two parts - a checkpoint problem due Monday, September 29 at the start of class, and a remaining set of problems due on Friday, October 3.

Along with this handout, we've released a handout of our problem set policies, a handout with our Honor Code policies, a handout with formal set theory definitions, our guide to proofs and proofwriting, and a special handout talking about how to write indirect proofs. We strongly recommend taking the time to read through these handouts, especially the handouts on problem set policies and Honor Code policies, before starting the problem sets. We hope that the Guide to Proofs gives you a better sense of our style expectations, and the handout on indirect proofs and set theory definitions might come particularly in handy on this problem set.

Good luck!

Change to First Midterm Time
September 24, 2014

The first midterm has been shifted back an hour to 6PM - 9PM. It will still be on Thursday, October 23. Sorry about that - CS103 has grown so large that we couldn't find enough rooms to hold everyone during our planned exam time!

Welcome to CS103!
September 18, 2014

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

18: Practice Midterm Exam
17: Review Problems 3
16: Review Problems 2
14: Review Problems 1
10: Guide to Induction
07: Guide to Indirect Proofs
06: Guide to Proofs
04: Set Theory Definitions
03: Honor Code
02: Problem Set Policies
01: Syllabus
00: Course Information

Discussion Problems

Discussion Problems 3
Discussion Problems 2
Discussion Problems 1

Assignments

Problem Set Four
   (feedback link)
Problem Set Three
   (feedback link)
Problem Set Two
   (feedback link)
Problem Set One
   (feedback link)

Resources

Course Reader
Lecture Videos
Assignment Submissions
Office Hours Schedule
Truth Table Tool
Blocks World
Theorem and Definition Reference
Relation Editor

Lectures

12: Binary Relations
   Slides (Condensed)
11: Cardinality
   Slides (Condensed)
10: Pigeonhole Principle, Functions
   Slides (Condensed)
09: Mathematical Logic III
   Slides (Condensed)
08: Mathematical Logic II
   Slides (Condensed)
07: Mathematical Logic I
   Slides (Condensed)
06: Graphs
   Slides (Condensed)
05: Mathematical Induction, Part III
   Slides (Condensed)
04: Mathematical Induction, Part II
   Slides (Condensed)
03: Mathematical Induction, Part I
   Slides (Condensed)
02: Indirect Proofs
   Slides (Condensed)
01: Direct Proofs
   Slides (Condensed)
00: Set Theory
   Slides (Condensed)