| Office: | PETR 428 | ||
| Phone: | (979) 845-4259 | ||
| Email: | chen@cse.tamu.edu | ||
| Web: | https://people.engr.tamu.edu/j-chen3/ | ||
| Office hours: | T+TR 2:00 pm-3:30 pm or by appointment. |
Teaching Assistant: Evan Kostov
| Office: | EABC Cubicle 6 | ||
| Phone: | (469) 996-5494 | ||
| Email: | evankostov@tamu.edu | ||
| Office hours: | MW 4:00 pm - 5:00 pm |
Textbook
K. H. Rosen:
Discrete Mathematics and Its Applications, 8th ed.,
McGraw-Hill, NY, 2019.
Supplementary Reading Materials
Course Progress
| Date | Topics | Lectures | Book Sections | Announcement |
|---|---|---|---|---|
| Aug. 20 | Introduction and proof by induction | Handout #1 | Section 5.1 | |
| Aug. 22 | Proof by Induction | Lecture Notes #1 | Section 5.2 | |
| Aug. 27 | Proof by contradiction, other proof methods | Lecture Notes #2 | Sections 1.7-1.8 | |
| Aug. 29 | Propositional calculus | Sections 1.1-1.3 | Homework #1 posted | |
| Sept. 3 | Inference rules | Section 1.6 | ||
| Sept. 5 | Predicates and quantifiers | Checklist in Logic | Sections 1.4-1.5 | Solutions to HW-1 posted |
| Sept. 10 | Elementary set theory | Sections 2.1-2.2 | Homework #2 posted | |
| Sept. 12 | Functions | Section 2.3 | ||
| Sept. 17 | Sequences and summations | Section 2.4 | Homework #2 is due on Thursday at 3:55 pm | |
| Sept. 19 | Algorithms, basic ideas | Section 3.1 | ||
| Sept. 24 | Big-O notation | Review for Midterm I | Section 3.2 | Solutions to HW-2 posted |
| Sept. 26 | Midterm Exam I | |||
| Oct. 1 | Algorithm complexity | Section 3.3 | Homework #3 posted | |
| Oct. 3 | Recursive algorithms | Section 5.4 | ||
| Oct. 10 | Recurrence relations | Section 8.3 | ||
| Oct. 15 | Mergesort and binary search | Sections 5.4.1, 5.4.4 | Homework #4 posted | |
| Oct. 17 | Pineonhole principle and applications | Section 6.2 | Solutions to HW-3 posted | |
| Oct. 22 | Permutations and combinations | Sections 6.3-6.4 | Today's office hours: 2:50pm-3:30pm | |
| Oct. 24 | Elementary probability theory | Sections 7.1-7.2 | Homework #5 posted | |
| Oct. 29 | Random variables and expectations | Review for Midterm II | Section 7.2 | Solutions to HW-4 posted |
| Oct. 31 | Midterm Exam II | |||
| Nov. 5 | Linearity of expectations | Section 7.4 | ||
| Nov. 7 | Applications in algorithm analysis | |||
| Nov. 12 | Boolean algebra | Sections 12.1-12.2 | Homework #6 posted | |
| Nov. 14 | Satisfiability | The Arts of Satisfiability | Solutions to HW-5 posted | |
| Nov. 19 | Finite state automata | |||
| Nov. 21 | DFA and NFA | |||
| Nov. 26 | Turing machines and computation | Review for Final Exam | Solutions to HW-6 posted |
Assignments
(Assignments are due on the designated due dates at the beginning of the class)
| Assignment | Due Date | Solution |
|---|---|---|
| Assignment #1 | September 5 | Solutions |
| Assignment #2 | September 19 | Solutions |
| Assignment #3 | October 10 | Solutions |
| Assignment #4 | October 24 | Solutions |
| Assignment #5 | November 7 | Solutions |
| Assignment #6 | November 26 | Solutions |