General Information

Lecturer:

WingKai Hon


wkhon @ cs



Tutors:

Homer Liu, Alison Liu


Chris Tan, Simon Chang


fhliu @ cs, hhliu @ cs


ddtddt1225 @ hotmail.com, simonC @ cs



Meeting Time:


Mon 15301720, Thu 14201510


Tutorial: Tue before exam, 18301930



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