Course Info
Instructor: Detlef Ronneburger
Office: Hill 490
Teaching Assistant: Shaoting Zhang
Office: Hill 418
Hours: Fridays 2:30-4:30pm
Email: shaoting@cs
Textbook:
"Discrete Mathematics and Its Applications"
by Kenneth H. Rosen
Grading Policy
Your grade will roughly be determined by the following:
Homeworks
Homework1
Homework1 - solutions
Homework2
Homework2 - solutions
Homework3
Homework3 - solutions
Homework4
Homework4 - solutions
Homework5
Homework5 - solutions
Recitation handouts
Jan. 30th, propositions, logical equivalence
Feb. 06th, DNF, predicate
Feb. 13th, Predicate, Boolean function, Circuit
Feb. 20th, Prove, Set
Feb. 27th, Set operations, Venn diagram
Mar. 05th, function
Mar. 12th, midterm sample
Mar. 12th, midterm sample, solutions
Mar. 26th, midterm
Apr. 02nd, Primes, GCD, LCM
Apr. 09th, Chinese Remainder Theorem, Fermat's Little Theorem
Apr. 16th, Induction Proof
Apr. 23th, Recursion
Apr. 30th, Relations
May 14th, Final. Good luck!
Instructor's slides
Logical Equivalences
Predicate Logic
More Predicate Logic
Set Operations