CSC165: SLOG - Continue Proofs -------------------[ Week 6 ]

This week was far more difficult than the last, although proving existence wasn't difficult, proving a claim about a sequence was. The part I was confused about was the piece that wasn't done in class, which was reaching from "Then j >= 2 #since i = 2" to "Then j^2 > 2 #shown somehow". However, I did understand that proving the contra-positive was a technique one could use to prove the same statement (due to equivalence) and should be used in some cases to make situations easier... anyways... back to the issue...

My idea was that since we have to start off at j >= 2, if we squared both sides it would show that j^2 >= 4, which shows that j^2 > 2... but it seems too simple for Danny to not have written it. Hence I'm having doubts.

Unfortunately this week gets a bit worse, since I couldn't make it to the Wednesday lecture, and I'm having problems understanding the "Infinitely Many Primes" slide, I plan to ask one of my peers for help & the CS help center and if it's not enough I will seek help from office hours.

Friday's lecture was quite difficult but it was only a matter of sitting down and slowly stepping through it before I understood it. Although I'm still currently a bit slow in applying the definition of the floor of x, it's just a matter of practice.

CSC165: SLOG - Begin Proofs [ Week 5 ]

I can't say I'm currently liking proofs, it's shown itself to be very tedious.. and I know its not going to get any better. However, everything this week has been very understandable, from the proof of such things as if n is odd then n^2 is odd, to proving an inequality, to the structure of the proof. Overall, there isn't much to say about this week, except that I'd hope the rest of proofs would be this easy.

I decided to look into the problem-solving episode required for this SLOG, and I'm a little bit confused, as to where I will be writing this and whether I should be attempting the problems that have already been solved by those of the given site. I will see if I can go to office hours for some answers next week.

CSC165: SLOG - Multiple & Mixed Quantifiers --------------[ Week 4 ]

Not much to say about the fourth week, since it was relatively straight forward, except for only two flaws

[1] Transitivity: where given an implication/conjunction, one must fill in the area of the Venn diagram for say..
(not P ^ not Q) ^ R

* I did not really understand the process of how to read the information given, though I know how to evaluate when this is true

and.........

[2] Proofs
- Though we've only skimmed over the surface, I think I will give this some more time before I question my understandings of it.

Overall, this was quite an awesome week, I now feel more confident in CSC165 than I did from the start of this course. And making the cheat sheet for the upcoming test was amazingly insightful, since not only do I now have a cheat sheet for the test, it acts as a summary of the course up to now.