Introduction to Discrete Structures I
198:205
Sections 5, 6, 7, & 8, Spring, 2019
Phone: (848) 445-7296
Email: allender@cs.rutgers.edu
Office: Hill 442
Click here for current
Office Hours.
Other times by appointment.
Teaching Assistant for Section 5: Pritish Sahu
Email: pritish.sahu AT rutgers.edu
Office: CBIM
Office Hours: Tuesdays 11:00-noon
Teaching Assistant for Section 6: Shuchang Liu
Email: sl1471 AT scarletmail.rutgers.edu
Office: Hill 270
Office Hours: Tuesdays 3:30-4:30
Teaching Assistant for Section 7: Ying Meng
Email: ying.meng AT rutgers.edu
Office: CoRE 246
Office Hours: Thursdays 2:00-3:00
Teaching Assistant for Section 8: Abhishek Modoor
Email: abhishek.modoor AT rutgers.edu
Office: Hill 264A
Office Hours: Tuesdays 7:00-8:30 PM
Text: Kenneth
H. Rosen, Discrete Mathematics and its Applications, 7th edition. Note
that the bookstore is selling a "custom edition" of this textbook (ISBN
1259152154) that contains only the chapters that we will be using. This may
be less expensive than buying a new book. However, you may also be able to
find a used version of the complete book at a low price. Either one is OK.
Click here to find out about homework. There will be frequent in-class quizzes.
The best preparation for the quizzes will be to do the homework.
Click here to find out about what was covered in class, and what material you should read next.
Please be aware of our
Departmental Academic Integrity Policy.
ROUGH COURSE OUTLINE
- Basics and motivation; set notation; relations; functions
(Sections 2.1 - 2.3)
- Propositional Logic
(Sections 1.1 - 1.3)
- Tautologies, Normal Forms, Hardware Implementations
(Sections 12.1 - 12.3)
- First-Order Logic; quantifiers, predicates, truth and validity
(Sections 1.4 - 1.6)
-
Methods of Proof, Induction, Recursive Definitions
(Sections 1.7 - 1.8, 5.1 - 5.3)
-
MIDTERM: March 4
-
Induction; Relations; Graphs
(Sections 9.1 - 9.6)
- Countability; Regular Expressions; Finite Automata; Computability
(Sections 2.5, 13.1 - 13.5)
- Preliminaries for Algorithm Analysis, Cryptography
(Sections 3.2, 4.3 - 4.6)
- Final Exam: Wednesday, May 15, noon-3:00 (PM)