|
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
|