|
General Information
|
|
Lecturer:
|
Wing-Kai Hon
|
|
wkhon @ cs
|
|
|
|
|
Tutors:
|
Cindy, Hsin-Pei
|
|
|
Henry, Terry
|
|
|
marquis.js1215 @ gmail.com,
maple0o0 @ yahoo.com.tw,
hooy123456 @ gmail.com,
Terry90280@gmail.com
|
|
|
|
|
Meeting Time:
|
|
Mon 1010--1200, Wed 0900--0950
|
|
|
Tutorial: To be announced
|
|
|
Announcements
|
|
Welcome to the Class!
|
|
Scoring Method
5 or 6 Assignments (0%)
3 Exams (2 * 40% + 1 * 20%)
--------------------------------------------------------
Total = 100%
|
|
Sep 12:
|
Lecture Notes is ready
|
|
|
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: September 12, 2016
|