Can't See Something Here You Were Expecting (Like Forum Access)? Make Sure You Login To The Site Using Your UCSC Credentials At The Bottom Of The Page!


Lots Of Important Links Off To The Left!

Your Teaching Staff:

Instructor: Tracy Larrabee    Instructor Tracy

Office hours: TBA or send me email or use the webforum.

Office: 237 Jack Baskin Engineering

Office Hours: Thursday 9:30 am.



TA Andrea

Teaching Assistants:


Andrea David

       DIS 01F W 09:20AM-10:25AM    Porter Acad 148

       DIS 01G W 10:40AM-11:45AM    Porter Acad 148TA Kyle

Kyle Ebding

       DIS 01C  Th 08:30AM-09:35AM   Kresge Clrm 327

       DIS 01D W 10:40AM-11:45AM     Kresge Clrm 327

Chris VillalpandoTA Chris

       DIS 01A  M 08:00AM-09:05AM    Kresge Clrm 327

       DIS 01B  M 01:20PM-02:25PM    Kresge Clrm 327

Alex Spaeth TA Alex

       DIS 01E W 01:20PM-02:25PM     Kresge Clrm 327

       DIS 01H W 12:00PM-01:05PM    Porter Acad 148

MSI Tutors. The MSI sections are in the MSI portable near Cowell. If you go from the Cowell apartments down the main road to OPERS, the MSI portable will be the brown one on your right. It says LAS on it. The Conference room is the room straight through the main entrance to the back.  If you are going for the 5% extra credit from MSI/section attendance, you can only get 2% of it from Section attendance

Locations: all the sessions after 5:00 are in ARC 116 all the sessions before 5:00 are in the Oakes Learning Center 

Kyle Parkman

tutor Kyle

Monday: 2:45 - 3:45 pm

Wednesday: 12 - 1 pm and 1:30 - 2:30 pm

Thursday: 1:30 - 2:30 pm

Friday: 2:40 - 3:40 pm

Gabriella CinquiniTutor Gabriella

 Monday: 5:30 - 6:30 and  7:15 - 8:15

Tuesday: 7:15 - 8:15 

Wednesday: 5:30 - 6:30 and 7:15 - 8:15 

Thursday: 10:00 - 11:00 

Cassia ArtanegaraTutor Cassia

 Monday: 12:00 - 1:00 and 1:30 - 2:30 

Tuesday: 3:30 - 4:30 and 5:30 - 6:30 

Wednesday: 2:45 - 3:45 and 4:00 - 5:00 


We Have ACE Sections For CE16 This Quarter

Class Locations And Dates

Class location:Classroom Unit 2

Class time: T Th 11:40-1:15pm

FINAL EXAM: Tuesday, Dec 11 9:00-11:00 AM (that’s one hour later than the scheduled time, because it is a 2-hour exam)


Check Your Grades! 






Our book is Book of Proof, by Richard Hammack.  We are using the second edition, but I don't know yet if it matters.  You can buy it for cheap on Amazon, and I believe the book is available as a pdf online (legally and legitimately).

Another book some students find helpful is The Nuts and Bolts of Proofs by Antonella Cupillari. You don't need to buy this book if you don't want to, but many who have been intimidated by proofs (especially inductive proofs) have found it useful. 


  • Week 1: Introduction, sets, summations
  • Week 2: Sets & logic
  • Week 3: Intro to proofs
  • Week 4: More proofs and Induction
  • Week 5: More Induction 
  • Week 6: Induction and Counting
  • Week 7: Counting 
  • Week 8: Functions and Recurrence relations
  • Week 9: Functions and Cardinality
  • Week 10: Recurrence Relations

Assignments And Quizzes

Your grade will be 45% from the weekly quizzes, 10% from the homework, which should largely cover the quiz material,  45% from the final exam (which you have to pass to pass the course) and 5% extra credit for MSI attendance (you can get up to 2% from Section attendance, but to get the full 5% you have to go to MSI). We don't have the manpower to give you detailed feedback on the homework, but we will always publish a solution to the homework before the weekly quiz. It is in your interests to understand the homework, because I often use problems straight off the homework for the weekly quiz. Make sure to keep up with the required readings listed on the quiz preparation tab at the left.

There are no makeup quizzes in this class! However, your grade will come from your best 7 quizzes, so that should cover the odd family event or work emergency that causes you to miss a couple of quizzes.


Please feel free to tell either the professor or the TA about any comments or suggestions you might have about how to improve the class. The best way to do this is by electronic mail, If you want to communicate anything to either of us anonymously, this is a good way to do it. You are always welcome to broadcast your opinions by using the webforum.

Don't worry we don't do this!

Disability Resource Center Student Accomodations

I welcome DRC students. Make sure you talk to me at the beginning of the quarter about your needs. As a note, I far prefer your emailing me a PDF of your DRC form instead of giving me a piece of paper.



I hate to talk about cheating, because I like to assume there will be none, but the School of Engineering says I must: If a TA finds or I find conclusive evidence that you have cheated on a quiz or exam, you will fail that quiz or exam. If you touch a cellphone or unapproved calculator during a quiz or final exam, you will fail that quiz or exam. It will not be possible to pass this course with a grade of 0 on the final exam. You should know that if you have been officially charged with cheating, and the provost has ruled that you have cheated, you get a black mark on your record: this could lead to either suspension or expulsion from this university.

To receive credit for a weekly quiz, you must sit in one of the installed seats of the lecture hall, and you must put the names of your right and left neighbor on the top of your quiz page (put something like "end of row" if there is no one on one side). After you turn in your test, you must leave the lecture hall immediately, and if you have forgotten your backpack or other materials, you may not retrieve them until class time is over. You may not talk to anyone during the test time but the instructor or one of the TAs. Violations of this rule will result in a quiz score of zero on the part of the person doing the talking.

Just as something to keep in mind, you will have an assigned seat for the final exam. Don't grow too dependent on sitting with your friends during examinations.

This all sounds ominous, but honestly, it is just so we all know that everyone is on a level playing field.