(net time : 36 hours)

Learning

Learning the first chapter is a bit annoying because I have to resist my intuition. Most of the laws and propositions have been taken for granted for years, but now I have to prove them based on the fundamental axioms. After I’m familiar with the terminology, the following chapters are learned faster and faster.

I think the most important point of this course is the axiomatic method. By summarizing a system with a set of axioms, I can find similar structure in almost all of the six units of this course.

Assignments

I made some mistakes in assignment 4 because I have wrong understanding about finite-state automata.

Tips:

Learning study guide is enough for most units expect unit 6. Some content of unit 6 is only covered in the textbook.

Exam:

1.       Copy all propositions, laws, axioms onto one sheet.

2.       Review all questions in the assignments.

3.       Do sample examination questions.

Go.

Grades:

Overall, I get A+ (95) and my final exam is 100.