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!
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
Post a Comment