3.2, due October 1

Difficult:
I thought it was a little bit difficult the idea of trees and proofs regarding them in mathematical terms. Proposition 3.2.7 took a second to think about. Honestly though, the section didn't seem that bad.

Reflective:
I thought it was interesting to see the bathematical description of a tree. What is easily recognizable as a tree after working in computer science for so long suddenly gained logical significance when described in mathematical terms. Now we can do proofs on them!

Comments

Popular posts from this blog

8.7, due December 6

8.5, due Dec 3

8.6, due Dec 5