Questions and Tips:
- I had one question about a certain word ('Monotonic') that Danny used in his proof this week that describes one of the steps he did to prove the claim. But i ended up looking up the word and then I realized how obvious the word meant because it was similar to the word 'Monotone' however monotonic relates to a consistent sequence or function.
- A tip when defining universal quantifiers in proofs, whenever something is assumed you indent to represent that within that scope that variable or claim is defined in the main body of a proof. A good way to remember this is to think of a python function and how it must list variables within the functions scope as its parameters.
No comments:
Post a Comment