CS 250 Discrete Structures

Spring 2012

Instructor: Dr. Ragib Hasan

TA: Jennifer Speegle

Class schedule: Tu-TH 12.30-1.45 pm, SSB 227

Office Hours: Tu-Th 2 pm - 3 pm (Dr. Hasan, CH 126)

Textbook: Rosen, "Discrete Mathematics and Its Applications", 7th edition

Syllabus:

(Please note that all the chapter numbers correspond to Rosen 7th edition)

Logic (1.1-1.3, 1.6)
Propositional logic (1.4-1.5)
Predicate logic (1.7-1.8)
Proof I (1.7-1.8)
Sets (2.1-2.2)
Functions (2.3, 2.5)
Sequence (2.4)
Proof II (5.1-5.3)
Matrix (2.6)
Relations (9.1, 9.3-9.6)
Graphs and trees (10.1-10.6, 11.1)
Counting (6.2, 6.4)
Modular arithmetic, primes (4.1, 4.3)
 

Evaluation:

There will be 2 midterms and a final exam, along with 6 homework assignments, with the following percentages of your final score:

Midterm 1 (15%)
Midterm 2 (20%)
Final (30%)
Homework Assignments (6 in total) 30%
Class participation (5%)
 

Homeworks: