General Information

Lecturer:

WingKai 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 15301720, Thu 14201510


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: 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: February 17, 2014
