CSCI 135 / Fall 2025

Discrete Structures

Home | | Policies | | Schedule

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

Office Hours:

  • Tuesday: 1:30 PM - 3:00 PM
  • Wednesday: 1:00 PM - 2:00 PM
  • Thursday: 1:30 PM- 3:00 PM
  • or by appointment.

    • Lecture times
    Swords 328, Tu/Th, 11:00 AM - 12:15 PM

    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.

    The textbook for CSCI 135 is available through the Holy Cross library. Search the title of the text book, "A Logical Approach to Discrete Math" from the library website. You should then get to the SpringerLink page for the textbook where you can download a PDF of the textbook from the publisher.

    Homework Assignments

  • There will be approximately ten homework assignments during the semester.
  • Homework are due at class time (11:00 AM) unless otherwise noted.
  • Important: For proofs, do not use theorems with larger numbers to prove theorems with smaller numbers, unless stated otherwise. For example, if a problem is asking you to prove Theorem 3.15, do not use Theorem 3.45 in your arguments, you must stick to theorems and Axioms numbered strictly less than 3.15.
  • Be sure to review the collaboration and lateness policy.

    • Quizzes
    There will be three quizzes during the semester.

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