CS 30 - Discrete Mathematics for Computer Science


For those who got a grade of 4.0, you may take the removal exam on 10 January 2017 (Tuesday), 9-10:30am, CLR2.


FINAL EXAM will be at the ERDT Room, 1:45-4:45pm, 09 Dec 2016.

Prefinal: THX WFR WFU
  • December 02, 2016 - FINALS will be on Dec 9 (FRI) 1:45-4:45pm. 
      • Will update this page once your LE2/LE3 results are done. Just check this page regularly. Thanks and sorry for the delay.
  • November 11, 2016 - Homework for next week here
      • Write all your solutions in a pad paper.
      • For THX, submit at Room 319. I'll be leaving an envelope by the door, where you can place your submissions. Note that the envelope will be there only up to 4pm of Nov17.
      • For WFR/WFU, submit during class hours.
  • October 27, 2016 - LE1 results: WFU WFR THX
  • September 21, 2016 - Reminder for those who have not submitted bluebooks for the exam: Please submit one bluebook next meeting. Write your name at the BACK only.
    • FIRST LONG EXAM schedule
      • THX (Sep 27, 2:30-4pm)
      • WFR (Sep 28, 8:30-10am)
      • WFU (Sep 28, 10-11:30am)
  • September 13, 2016 - Read Chapter 6 (6.1-6.3) of Epp to review you on definitions and notations involving SETS. We will be applying the methods of proof we discussed in class to concepts on sets.
  • September 8, 2016 - You may start reading ahead Chapter 5 (5.1-5.6) of Epp. Here are some review questions (disregard those questions for the latter part of the chapter).
  • September 6, 2016 - Aside from reviewing Chapter 4 (4.1-4.7) (Epp), here are some other helpful tips in constructing proofs. Also, here are supplementary exercises you can work on. Again, the key to survive this course is PRACTICE...LOTS OF PRACTICE :)
  • August 30, 2016 - THX class, no class today BUT work on the homework due next meeting. (updated: submit during class hour)
  • August 18, 2016 - For all CS 30 classes, please read Epp Chap 2. Thanks.
  • August 9, 2016 - Welcome to the official site of the CS 30 (Discrete Mathematics for Computer Science) class of Nestine Hernandez. Here you will find materials you may need for the class and announcements regarding future activities. 
  • Consultation Hours: TTh 4-6pm; WF 1-3pm (but please email me beforehand)

 DateLesson Homework Slides
 Aug 11/12
IntroductionReviewEppChap 1
Aug 16/17
Logic of Compound Statements
submitHWnext mtgDay 2 slides 
Aug 18/24 Rules of Inference  ReviewEppChap2Day 3 slides 
 Aug 23/26Quantified Statements  ReviewEpp Chap3Day 4 slides 
 Aug 25/31Logic of Quantified Statements THX , WFR/WFUDay 5 slides 
 Sept 1/2
Sept 6/7
Methods of Proof see slides for HW
ReviewEpp Chap4 
Day 6 slides
Day 7 exercises 
 Sept 8/9
Sept 13/14
Mathematical Induction submit HW  
submit HW
 Day 8 slides
Day 9 exercises
 Sep 15/16On Sets  submit HW Day10exercises
Sep 20/21  On Functions
Correctness of Algo(Loop)

Day 11 slides
 Sep 22/23 Consultation Time Day12exercises 
 Sep 27(THX)
Counting Principles  ReviewEpp9.2-9.7
have HW to submit
 Oct6/7Pigeonhole Principle   Day15slides
 Oct13/14Objects to Boxes

 Oct21/25Catalan Numbers  Day 19 [1,2]
Oct26/27   Day20exercises 
EXAM 2    
Nov8/9Graph Intro
 Nov10/11Matrix Representation
Nov14/16-do HW-
 Nov 25/29 Trees  Day25slides
Dec 1/2EXAM 3 Reviewer

  • Syllabus can be downloaded here.