Patrice Koehl
Department of Computer Science
Genome Center
Room 4319, Genome Center, GBSF
451 East Health Sciences Drive
University of California
Davis, CA 95616
Phone: (530) 754 5121

Discrete Mathematics: Winter 2019

General information

Lecture Time and Location:

Tue and Thu 9:00 AM - 10:20 AM; Max Kleiber Hall 3

Discussion sessions:

A01 W 1:10pm to 2:00pm; Roesler Hall 55
A02 M 9:00am to 9:50am; Olson Hall 118
A03 M 1:10pm to 2:00pm; Roesler Hall 55

Makeup discussion sessions: 2/19/2019 6:10 pm - 7pm 2 Wellman


Prof. Patrice Koehl
koehl at
This is the only email address that will be answered.
Your subject line MUST include “ECS20″.

Course homepage:

Office Hours:

Mon, 4:00 - 6:00pm, Wed, 4:00 - 6:00pm, Thu, 12pm - 1pm, 3059 Kemper

Teaching Assistants (the discussion sessions they are associated with):

Arnav Acharyya (aacharyya at (A02)
Kathleen Blank (keblanck at (A01)
Ayushi Bansal (ayubansal at

TA & Office Hours:

Arnav: Fridays, 4-6 pm, Kemper 47
Kathleen: Wednesdays, 12pm - 2pm, Kemper 53
Ayushi: Mondays, 6-8pm, Kemper 53

Midterm Dates:

Midterm 1: 2/5/2019
Midterm 2: 2/26/2019

Final Date and Time:

Wednesday 03/20 10:30 am - 12:30 pm (Max Kleiber Hall 3)

Information sheet:

PDF document


Optional Textbook

  • Discrete Mathematics and its applications, Kenneth Rosen (any edition would work)


This course covers discrete mathematics for computer science. I covers the concept of logic, logical propositions, and logical operations. We discuss the concept of proofs (what is a valid proof, how to detect fallacies in proofs) and cover the basic methods of proofs, with many applications. We learn how to deal with sets and functions, how to count (pigeon hole principle, combinatorics), as well as basic probabilities. Here is a more detailed list of objectives:

  • Learn basic logic, and how to manipulate logical propositions.

  • Demystify the concept of proofs: validity, fallacies ...

  • Learn a set of methods of proofs, with plenty of applications.

  • Introduce the fundamental concepts of sets, and functions on sets.

  • Learn how to count!

  • Learn recursions, sequences, and proofs by induction

  • Learn basic theory of probability


Here is a message I received from the head of the tutoring club in the CS department:

As you are aware, we provide free tutoring for all students enrolled in CS Classes. Below is the link to the calendar that would provide the names and times of our tutors, along with the classes they tutor for (clicking the Week tab at the top right makes things clearer, but oddly the hyperlink defaults to Month). Active tutors will have their names logged in the whiteboard in Kemper 75.

Calendar for tutoring club

Being responsible for your grades

Regrading Policy

Regrading requests, if any, should be done within a week after the announcement/distribution of the graded papers. All requests must be submitted in writing, specifically explaining why additional credit is requested. Reevaluation may result in a decrease as well as an increase and is not limited to the specific question addressed by the student.

Late policy

If you turn in your homework late, you will only receive partial credit. If it is less than 24 hours late, you will receive 50% credit; if it is between 24 hours to 48 hours late, you will receive 25% credit; if it is more than 48 hours late, you will receive 0 credit. The only exception is when you bring me a doctor's note.

Grade breakdown

Homeworks 20%
Midterm 1 20%
Midterm 2 25%
Final exam 35%

Grades for homework and midterms will be posted one week after the due/exam date. Please go to to check your grades. It is very important you do check your grades.

Email policy

  • All emails must have ECS20 at the start of the subject, for instance an example subject line is: “ECS20, Help with Homework 2″.
  • Email TAs FIRST for all help with homeworks. Even better, go to any discussion sessions or office hours and ask directly!
  • Email Prof. Koehl for more sensitive topics (e.g., illness, letters of accommodation, etc.);

Canvas (

  • Homeworks must be turned in either on Canvas or in the homework box in Room 2131, Kemper Hall by 4:00 pm on the due date.
  • Course gradebook will be maintained on Canvas, it is your responsibility to ensure that the scores recorded there match the scores on materials passed back to you.

Academic Conduct

The rules for conduct in UC Davis classes can be summarized with three principles:

  • Be polite.
  • Don’t cheat.
  • Don’t lie.

Be polite

As adults meeting in a professional context, we should all behave professionally: this means being polite and respectful to everyone we deal with.

As the instructor, it is my responsibility to teach as well as I can and to be available, polite and respectful to you.

You are responsible for treating me and your fellow students politely and with respect.

Don’t cheat

As the instructor, it is my responsiblity to make tests and assignments that are fair, to grade fairly, to look for cheating, and to refer students who cheat to Student Judicial Affairs for possible sanctions. The English department made the largest number of referrals to SJA last year, but Computer Science was in the top 10.

As students, it is your responsibility to avoid cheating and to discourage other students from cheating.

Don’t lie

Cheating is one form of lies, but there are other. Manipulating data, false claim of ownership of an assignment/idea, plagiarism are all forms of lies. Do not lie to the instructor, and even more importantly, do not lie to yourself!


  Page last modified 15 June 2022