Time to wrap up

Time flies so fast! Three months has passed and it is time say goodbye!

Before leaving I just want to check what I have learned in that course:

Induction (mathematical, complete, structural and WOP)

Time Complexity for recursion (involving closed form, Master Theorem, etc)

Correctness proof of a program (formally check whether an algorithm is correct)

Automata theory (regex, DFSA, NFSA)

So far I can know lots of things about an algorithm by using what I have learned

from this course. Also the formal language section guides me to know the very

basic concepts about a programming language.



Regards