2012秋季学期(Fall Semester, 2012) Free counter and web stats

公告(Announcement)

Back to Top

 

基本信息(General Information)

Back to Top

 

课堂时间(Course Schedule)

 

September 2012

 

October 2012

 

November 2012

week

S

M

T

W

T

F

S

week

S

M

T

W

T

F

S

week

S

M

T

W

T

F

S

 

 

 

 

 

 

 

1

(4)

 

1

2

3

4

5

6

(8)

 

 

 

 

1

2

3

 

2

3

4

5

6

7

8

(5)

7

8

9

10

11

12

13

(9)

4

5

6

7

8

9

10

(1)

9

10

11

12

13

14

15

(6)

14

15

16

17

18

19

20

(10)

11

12

13

14

15

16

17

(2)

16

17

18

19

20

21

22

(7)

21

22

23

24

25

26

27

(11)

18

19

20

21

22

23

24

(3)

23

24

25

26

27

28

29

(8)

28

29

30

31

 

 

 

(12)

25

26

27

28

29

30

 

(4)

30

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

December 2012

 

January 2013

 

Total: 18 weeks, 16 classes

week

S

M

T

W

T

F

S

week

S

M

T

W

T

F

S

 

 

 

 

 

 

 

 

(12)

 

 

 

 

 

 

1

(17)

 

 

1

2

3

4

5

 

 

 

 Class Day

(13)

2

3

4

5

6

7

8

(18)

6

7

8

9

10

11

12

 

 

 

 

 

 

 

 

(14)

9

10

11

12

13

14

15

 

13

14

15

16

17

18

19

 

 

·

 Holiday (1st, Oct/Jan)

(15)

16

17

18

19

20

21

22

 

20

21

22

23

24

25

26

 

 

 

(16)

23

24

25

26

27

28

29

 

27

28

29

30

31

 

 

 

 

·

 Final Exam Week

(17)

30

31

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Back to Top

 

计划日程(Syllabus)

Week

Date

Lecture Topic

Event

第一部分、数理逻辑 (Part 1: Mathematical Logic)

1

Sep.10

School Opening

 

2

Sep.17

离散数学简介与命题逻辑的基本概念(1)

Basic Concepts of Propositional Logic (1)

Lab-01

3

Sep.24

命题逻辑的基本概念(2)

Basic Concepts of Propositional Logic (2)

Lab-02

Sep.29

命题逻辑的等值与推理(1)

Propositional Equivalences and Inference (1)

Lab-03

4

Oct.01

National Holiday.

 

5

Oct.08

命题逻辑的等值与推理(2)

Propositional Equivalences and Inference (2)

Lab-04

6

Oct.15

命题逻辑的等值与推理(3)

Propositional Equivalences and Inference (3)

Lab-05

7

Oct.22

谓词逻辑的基本概念(1)

Basic Concepts of Predicate Logic (1)

Lab-06

8

Oct.29

谓词逻辑的基本概念(2)

Basic Concepts of Predicate Logic (2)

Lab-07

9

Nov.05

谓词逻辑的等值和推理演算(1)

Equivalences and Deductions in Predicate Logic (1)

Lab-08

10

Nov.12

谓词逻辑的等值和推理演算(2)

Equivalences and Deductions in Predicate Logic (2)

Lab-09

第二部分、图论 (Part 2: Graph Theory)

11

Nov.19

图论基本概念

Basic Concepts

Lab-10

12

Nov.26

道路与回路(1

Euler and Hamilton Paths (1)

Lab-11

13

Dec.03

道路与回路(2

Euler and Hamilton Paths (2)

Lab-12

14

Dec.10

树(1

Introductions to Trees (1)

Lab-13

15

Dec.17

树(2

Introductions to Trees (2)

Lab-14

16

Dec.24

复习与习题练习

Review. Exercises. Tutoring.

Lab-15

17-18

TBD

Final Exam

Final

Back to Top

 

作业与课后阅读(Assignments and Readings)

Lecture 1: 离散数学简介(Introduction to Discrete Mathematics)

Lecture 2: 命题逻辑的基本概念(Basic Concepts of Propositional Logic)

Lecture 3: 命题逻辑的等值和推理演算(Propositional Equivalences and Calculus)

Lecture 4: 对偶式、范式、推理形式(Dual Form, Normal Form, and Inference)

Lecture 5: 推理演算与归结推理法(Deduction and Resolution)

Review 1: 命题逻辑 (Propositional Logic)

Lecture 6: 谓词逻辑的基本概念(Basic Concepts of Predicate Logic)

Lecture 7: 判定问题和等值公式(Decision Problem and Equivalence)

Lecture 8: 谓词逻辑的等值和推理演算(Equivalences and Calculus with Quantifiers)

Lecture 9: 谓词逻辑的归结推理法 (Resolution with Quantifiers)

Review 2: 谓词逻辑 (Predicate Logic)

Lecture 10: 图论的基本概念 (Basic Concepts for Graph Theory)

Lecture 11: 道路与回路 (Path and Circuit)

Lecture 12: 欧拉路与哈密顿路 (Euler and Hamilton Path)

Lecture 13: 树 (Tree)

Lecture 14: 生成树 (Spanning Tree)

Lecture 15: 补充内容 (Supplementary Materials)

Review 3: 图论 (Graph Theory)

Back to Top

 

Roster and Events

Roster for Class 02
Click rouster02.html

Roster for Class 05
Check roster05.html

SampleRoster SampleAttendance

Back to Top

 

References

Back to Top