Instructor: James R. Glenn, Ph.D.
Office: AKW 013
Office Phone: TBD
Office Hours: Tue 3:30-5:30pm
e-mail: [first name][dot][last name]@yale.edu

TF and ULAs: (see Ed Discussion for hours)

• Arthur Oliveira Vale (TF)
• David Cheng
• Matt Cline
• Christian Martinez
• Thomas Sottosanti
• June Yoo

Course Webpage:
Ed Discussion: https://us.edstem.org/courses/34974/discussion/ (sign up through Canvas)

Class Meeting: Lecture Tue, Thu 1:00pm – 2:15pm in LUCE 101

Prerequisites: none

Recommended Textbooks:

• Discrete Mathematics with Applications by Susanna Epp (any edition will do; current is 5th, ISBN 978-1337694193, retail price $216)
• Notes on Discrete Mathematics by Prof. James Aspnes (free online PDF)

Other Resources:

Catalog Description:
Introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra. Emphasis on applications to computer science: recurrences, sorting, graph traversal, Gaussian elimination.

Course Outcomes: Students will be able to

• identify the logical form of statements in propositional and predicate logic
• write proofs, including inductive proofs, of properties of numbers, sets, functions, relations, and graphs
• understand the steps of some cryptographic algorithms
• perform elementary matrix operations

Academic Dishonesty: Please see Yale College's general Undergraduate Regulations and regulations regarding Academic Integrity.

The implications for this course:

• Problem Sets (from Dan Spielman's Spring 2017 version of CPSC365): You should strive to solve these problems on your own. But sometimes even understanding the problems poses a challenge. You are welcome to discuss the problems with your classmates to achieve understanding of the problems and to consider small examples. After you understand the problems, you should try to solve them on your own. If you need help, you can discuss the problems with the course staff. You may also ask others to find mistakes in your attempted solutions, and you may help find mistakes in your classmates' solutions. If you are truly stuck, you may discuss the problems with a few other students. If you do this, you must follow Stan Eisenstat's "Gilligan's Island Rule":

  When discussing an assignment with other students, you may write on a board or a piece of paper, but you may not take that or any other written or electronic record away from the discussion. Moreover, you must engage in a full hour of mind- numbing activity (e.g., watching back-to-back episodes of Gilligan's Island) before you work on the assignment again. This will ensure that you can reconstruct what you learned from the discussion, by yourself, using your own brain.

  You must write your solutions independently and report your collaborators for every problem set. Failure to list people with whom you have discussed a problem set is considered a violation of academic honesty.

  Similarly, if your solution draws on books or websites other than the required textbook and the course website then you must cite those sources as well. But it is a violation to access books or websites that offer complete solutions to the homework problems whether you cite those sources or not.

• Exams: each student must work individually.

Grading:

• Problem Sets: 50%
• Midterm Exam: 20%
• Final Exam: 30%

Late Policy:

Late submissions will be accepted until 48 hours after each due date. At that point, solutions will be posted and no submissions will be accepted. Each student may submit late up to three times during the semester with no penalty. After that, each late submission will incur a 25% penalty. Dean's Extensions do not count towards your late submissions. Dean's Extensions do not extend the late deadline. For Dean's Extensions beyond 48 hours, we will substitute an alternative assignment.

For assignments with both a Canvas and Gradescope component, we count one free late submission if either or both components are late. For late submissions beyond the three free late submissions, the 25% penalty is assessed only on the component that is late.

Schedule (subject to change):

Week of	Topics	Reading E=Epp, A=Aspnes	Events
			Sun	Mon	Tue	Wed	Thu	Fri	Sat