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!

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 3

Discussion Problems 2

Discussion Problems 1

Problem Set Four

(feedback link)

Problem Set Three

(feedback link)

Problem Set Two

(feedback link)

Problem Set One

(feedback link)

Course Reader

Lecture Videos

Assignment Submissions

Office Hours Schedule

Truth Table Tool

Blocks World

Theorem and Definition Reference

Relation Editor

**
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)
**