Instructor
Ting Gu
Office: Haberlin 309
Extension: 3762
Email: tgu@holycross.edu P>

Office Hours:

Lecture times
Swords 330, Tu/Th, 11:00 a.m. - 12:15 p.m.
The lecture may be switched to online session using Zoom ID: 974 4046 7990 when in-person class is unable to carry on.

Course description
An introduction to discrete structures for computer science. Students are expected to develop skills in the propositional and predicate calculi and use the skills in applications that arise in computer science.

Please check Canvas for the most updated course materials and schedule.

Prerequisites
There are no prerequisites for this course.

Textbook
A Logical Approach to Discrete Math by D. Gries and F. Schneider, First edition, 3rd “corrected” printing.

It is recommended that Holy Cross students will have textbooks and other required class materials in order to achieve academic success. If you are unable to purchase course materials, please go to the Financial Aid office where a staff member will be happy to provide you with information and assistance.

Homework Assignments
There will be approximately eight to ten homework assignments during the semester. Homework assignments will be posted and submitted through Canvas.

Quizzes
There will be approximately eight to ten short quizzes during the semester. Quizzies will be posted and submitted through Canvas.

Ting Gu--tgu@holycross.edu
Computer Science 135--Discrete Structures