|
General Information
|
|
Lecturer:
|
Wing-Kai Hon
|
|
wkhon @ cs
|
|
|
|
|
Tutors:
|
Homer Liu, Alison Liu
|
|
|
Chris Tan, Simon Chang
|
|
|
fhliu @ cs, hhliu @ cs
|
|
|
ddtddt1225 @ hotmail.com, simonC @ cs
|
|
|
|
|
Meeting Time:
|
|
Mon 1530--1720, Thu 1420--1510
|
|
|
Tutorial: Tue before exam, 1830--1930
|
|
|
Announcements
|
|
Exam 6 is Coming!
Date: Jun 20, 2013 (1 hour)
Scope: Planar Graphs and Trees
(Notes 15 to 17), HW 6
|
|
Scoring Method
6 Assignments (6 * 0%)
6 Exams (5 * 20% + 1 * 0%)
Awards from Mission Completion (??%)
--------------------------------------------------------
Maximum = 100%
|
|
Jun 03:
|
Lectures 17 and 18 posted
|
|
|
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: March 10, 2013
|