Section 8 due on September 20

1. The difficulty is captured in this sentence from the text: "Sometimes it takes practice to recognize how to break a problem into smaller cases." (Doud,64) Spot on! That is, honestly my difficulty with many proofs. The path to proving doesn't immediately jump out to me. Often, I can deduce what method to use simply because of the chapter it's in, but I'm not sure how confident I am in identifying correct strategies should I come across a proof in the wild. Additionally, proof by cases seems to be more abstract in it's application than direct and contrapositive proofs. How many and which cases can vary and I suppose practice and experience are prerequisites to my ability to tell you the answers to those questions.

2. Basic theory notation learned in this class has been directly applicable to the Python lab. Today I worked on a function that represented matrices using lists of lists. Our discussion of set theory and sets within sets (boxes in boxes) helped me to already have a strong intuition for how this worked. It's these sort of logical skills and intuitions that I value in from this class.