Sunday, November 21, 2010

Test 2

 This test was a little harder than the first but still quite simple. Again, there was no twists and anyone who did the assignment and reviewed the material could've done it well. Admittedly this time I did take a few glimpse at my "cheat sheet" but besides that it was no big deal. Even though the assignment answers were released before the test but I wished that our assignment were graded to so we could've gone over those too since that would've helped a lot in letting us know if there were any flaws in our proofs

Assignment 2

Admittedly these posts of mine are pretty much around the same time since the finals are coming up. In assignment 2, I worked with Derek and we found it pretty easy. The first question was a little comfusing at first when it told us to rephrase the proof of IVT. Wasn't altogether sure what it was looking for since the proof that was there originally was so clear. But overall it was fine

Part 2 Proofs

Now that we're actually past the structural part of logic and done learning the symbols, we've finally started on proofs. Thank god despite the fact we are doing calculus related proofs we don't actually have to know how to prove the formulas. They're given all to us. If they weren't, I think it would've been a disaster for me since I'm so bad at it. Anyways this part is pretty easy-going as long as one keeps a clear head and doesn't make any random false connections when proving.