CS 2336 Discrete Mathematics (Spring 2014)

General Information
Lecturer: Wing-Kai Hon
wkhon @ cs
Tutors: Simon Chang, ABin Chen
Chris Tan, Bass Wu
simonC @ cs, abinchen0914 @ gmail.com
ddtddt1225 @ hotmail.com, bass0328 @ gmail.com
Meeting Time:
Mon 1530--1720, Thu 1420--1510
Tutorial: To be announced
Announcements
Exam 1 is Coming!

      Date:         April 14, 2014 (2 hours)

      Scope:      Logic and Proofs

                      (Notes 1 to 6), HW 1, HW 2

Scoring Method

6 Assignments (6 * 0%)

3 Exams (2 * 40% + 1 * 20%)

--------------------------------------------------------

Total = 100%

 

Mar 31: Assignment 2 is ready [pdf]


  Course Materials
Lecture Topics Related Files
0 Overview [pdf]
1 Logic: Propositional Logic [pdf]
2 Logic: Predicate Calculus [pdf]
3 Logic: Rules of Inference [pdf]
4 Proofs: Methods and Strategies [pdf]
5 Proofs: Mathematical Induction [pdf]
6 Proofs: Pigeonhole Principle [pdf]
7 Counting: Basics [pdf]
8 Counting: Permutation and Combination [pdf]
9 Sets, Functions, and Relations: Part I [pdf]
10 Sets, Functions, and Relations: Part II [pdf]
11 Sets, Functions, and Relations: Part III [pdf]
12 Sets, Functions, and Relations: Part IV [pdf]
13 Graphs: Introduction [pdf]
14 Graphs: Euler and Hamilton Paths [pdf]
15 Graphs: Planar Graphs [pdf]
16 Trees: Introduction [pdf]
17 Trees: Optimal Prefix Code [pdf]
18 Trees: Spanning Trees, Minimum Spanning Trees [pdf]
19 Numbers: Three Theorems from Euclid  
20 Numbers: Euler-Totient Function, RSA Encryption  

 

  Teaching Plan
1 Logic Lecture 01 to Lecture 03
2 Methods of Proving Lecture 04 to Lecture 06
3 Counting Lecture 07 to Lecture 08
4 Sets, Functions, and Relations Lecture 09 to Lecture 12
5 Graph Theory Lecture 13 to Lecture 15
6 Trees Lecture 16 to Lecture 18
7 Number Theory No Lecture Notes


Last updated: February 17, 2014