I expect students to come to class, and come on time. Attendance is mandatory. While the class is large, class participation and questions will be encouraged. Also, while our textbooks will be very helpful, they are an imperfect substitute for in-class learning, which is the fastest (and easiest) way to learn the material. If you miss a class, please get the notes and work through the material from a fellow student.

Lab A3: Wed 1-2PM, MCS B23

Lab A4: Wed 2-3PM, MCS B21

Lab A5: Wed 3-4PM, COM 213

Labs will be an invaluable part of the course involving interactive problem-solving sessions, tips on homework questions, and supplemental material not covered in lecture. Attendance is mandatory and will be taken. There will be no lab on Wed Jan 21 -- labs will start on Wed Jan 28.

Homepage: http:// www.cs.bu.edu/fac/byers

Email: byers @ cs . bu . edu [preferred]

For technical questions beyond what Piazza can answer (see below), or when you are really stuck on a problem.

During office hours, if it's not too busy, I'll answer my phone at 617-353-8925.

Other times, I generally let phone calls go to voicemail. Please send email instead.

Right before regular office hours. For casual questions, or just to say hi.

Everyone is required to stop by Coffee Hours or come to Office Hours at least once during the semester. Earlier in the semester is better!

Homepage: cs-people.bu.edu/md

Email: md @ cs . bu . edu

Office Hours: Thurs 2:30 - 5:30 in the undergrad lab, EMA 302.

He also has tutoring hours TBD in EMA 302, but those might be more crowded.

Matthew will lead the discussion sessions. The objective is to reinforce the concepts covered in the lectures through problem-solving, and provide clarifications regarding the homework assignments. The purpose of the office hours of the Instructor and Teaching Fellows is to answer specific questions or clarify specific issues. Office hours are not to be used to fill you in on a class you skipped or to re-explain entire topics. Please come to class and to your discussion session.

We will use two primary sources for this course.

At the beginning of the term, we will learn the basics of logic, set notation, and elementary proof techniques. To do so, we will cover material from the first few chapters from the following textbook, which I'll refer to as "HTPI": How To Prove It: A Structured Approach, by Daniel Velleman, 2006. Available on Amazon and at the campus bookstore.

At that point, we will switch over to our primary reference, the following set of online notes used for MIT's CS 6.042 course,
Together with your lecture notes, the above material will be more than
sufficient, but there are many other discrete mathematics books out there
that some CS 131 students have found helpful in years past,
for example __Discrete Mathematics and Its Applications__, by Kenneth H. Rosen,
and __Discrete Mathematics__, by Richard Johnsonbaugh. There are also
tons of extra practice problems online, just a Google search away.

- Problem sets: 30%
- Midterms: 35%
- Final exam: 30%
- Attendance and participation: 5%

Incompletes for this class will not be granted.

**
Exams:
**
There will be two in-class midterms held during the
middle of the semester, tentatively Thursday, Feb 18 and
Thursday April 2.
The cumulative final will be held during the normal
two-hour final exam slot for classes in our time block:
Fri, May 8 from 12:30-2:30PM. Please make your
end-of-semester travel plans accordingly!

**Homework Assignments, Submission, and Late Policy:**
Assignments will typically be due Fridays at 5PM.
You must submit a hardcopy no later than 5PM
in the drop box on the first floor of the MCS building, near
the CS department office. From the CS office, walk toward the shorter end
of the hallway, and turn right. Drop box is immediately on your right.
Assignments must go *in the box*, not on the shelves
above, which is where we will *return* assignments.
Plan on assignments being due every week, except right after a midterm,
tentatively Jan 30, Feb 6, Feb 13, Feb 27, Mar 20, Mar 27,
Apr 10, Apr 17, May 1.

We will post solutions at the 5PM deadline, so
homework assignments will not be accepted late.

To compute your homework grade, we will automatically drop the
lowest score from the 9 assignments, so one bad homework grade
is not the end of the world. However, we strongly recommend
putting forth your best effort on all assignments, as they
provide the best preparation for the exams.
As you likely already know, assignments requiring substantial creativity
can take more time than you expect, so plan to finish a day early.

**Regrading Procedure:**
If, after reviewing the posted solutions, you still believe a portion
of your homework was graded in error, you may request a regrade. Please
write, on a PostIt, the problem number and a brief description of the
incorrect deduction, stick it on your homework, and give it to Prof.
Byers for a regrade. Note that when we regrade a problem, your score
may go up or down.

** Attendance: **
It is expected that you will attend lecture and the
laboratory section for this course and I will take attendance at the beginning
of lecture on occasion. Some material covered in lecture and lab will not be covered by
our textbooks. I also ask that you arrive in class on time,
since it is disruptive to have students flowing in throughout the class
period. Moreover, when students are at a borderline between grades, I will
factor in attendance before making a final determination.

Jan 20, 22 | Introduction to Logic | HTPI and MIT notes, Chapter 1 |

Jan 27*, 29 | Quantificational Logic | Chapters 1 and 2 from HTPI |

Feb 3, 5 | Proofs | HTPI and Ch. 2 from MIT notes |

Feb 10*, 12 | Proof Strategies | Chapter 2, MIT notes (also in HTPI) |

Feb 17 | No class -- Monday schedule | |

Feb 19 | In-class Midterm I | |

Feb 24, 26 | Induction | Chapter 3, MIT notes |

Mar 3, 5 | More induction | Chapter 3, MIT notes |

Mar 10, 12 | No class -- Spring Break | |

Mar 17 | Number theory: GCD, unique factorization, Turing code. | Selections from Chapter 4 |

Mar 19 | Basic Sums and Products | Chapter 9.1 from MIT notes |

SATURDAY Mar 21 | Asymptotic Notation | Chapter 9.7 from MIT notes |

Mar 24, 26 | Asymptotics and Recurrences | Chapter 10 from MIT notes |

Mar 31 | Recurrences | 10.1, 10.2, start of 10.3 |

Apr 2 | In-class Midterm 2 | |

Apr 7 | Master theorem. Counting | 10.4.4, Ch. 11 from MIT notes |

Apr 9 | Counting | Chapter 11 from MIT notes |

Apr 14, 16 | Counting and probability | Chapter 14.1-14.3 from MIT notes |

Apr 21 | Conditional probability | Chapter 15.1-15.4 from MIT notes |

Apr 22 | No Lab (Monday schedule) | |

Apr 23 | Class cancelled (John traveling) | |

Apr 28 | Conditioning and independence | Chapter 16.1 from MIT notes |

Apr 30 | Wrap up independence. Review | |

Fri May 8 | Final Exam, 12:30-2:30PM | |

- You are encouraged to collaborate with one another in studying the textbook and lecture material.
- As long as it satisfies the following conditions, collaboration on the homework assignments is permitted and will not reduce your grade:
- Before discussing each homework problem with anyone else, you must give it an honest half-hour of serious thought.
- You may discuss ideas and approaches with other students in the class, but not share any
written solutions. In other words, the writeups you submit must be entirely your own work.
You must also
**acknowledge clearly in the appropriate portion of your solutions**(e.g., at the top of your writeups) people with whom you discussed ideas for that portion. - You may get help from TFs and undergrad assistants for the class for specific problems. Don't expect them to do it for you, however.
- You may not work with people outside this class (but come and talk to us if you have a tutor), seek on-line solutions, get someone else to do it for you, etc.

- You are not permitted to collaborate on exams.