Week 7

~~~~~~WEEK 7~~~~~~

Today’s outline:

•  Proof by cases
•  Review of proofs
•  Algorithms

We started this class off by learning about proof by cases. I learned that we have to split our argument into different cases and prove the conclusion for each case. As always, a funny slide to lighten the mood:

We were then given a question involving constant ‘n’. We found the possible cases to prove the statement true and we showed its proof. I learned the proof after reading it a second time because it was all too much for one class. We did more examples and I got a better understanding of what we were doing. We then went onto learning about uniqueness. The concept of uniqueness was easy and simple. We learned about introduction and elimination which were easier than expected.

We then started learning about algorithms. We used the website http://www.sorting-algorithms.com/ to get a demo on algorithms. We observed that merge is faster than bubble and with larger input size, the advantage of merge over bubble becomes larger. When the professor was talking about running time I thought it was the time it took for the operation to finish, but it turned out it meant the steps that were taken by the algorithm. I also learned that the running time is independent of hardware on which we run the algorithm, it depends on the algorithm itself. After algorithms we learned about asymptotic notations which I did not understand so I was left confused until the end of the class. I will need to study this because we will be studying more about asymptotic notations for our next class.

I understood the linear search slides because I have used python visualizer in CSC108 which counts the number of steps taken for the code.

This week’s tutorial was a bit complicated but I managed to understand it by asking the TA questions and participating in class. I did the quiz well and manage to prove the statement. I received my marks from the past 2 weeks which were both 2/2.

Assignment 2 is out and I should get to it because I have a lot of due dates in that time. Must use my time efficiently.

Week 6

~~~~~~ WEEK 6 ~~~~~~

Today's outline:

• Proof about non-boolean functions
• proof something false
• proof about limits

I got 71% on my mid-term grade and I was disappointed at myself because I know I could have done a lot better. I need to spend more time on learning about CSC165 from now on. One thing that cheered up my mood was that we were told that we only have a 2 hour lecture.

We started the class off by learning about non-boolean functions. It is simple and straightforward. I know what boolean is used in CSC108.  Non-boolean functions are functions which return value is not True or False. For example sin(x) and x².

We learned about floors. They are basically converting a number to an integer. It is exactly what the ‘int’ function in python does. Then we were taught about some proofs involving floors. I understood them once i read over them because I was a little confused during class. I love how the professor uses memes to indicate emotions. I told my friends in other classes that my professor uses memes and they all wanted to join my class all of a sudden.

We then learned about proving things false by disproving. How do we disprove statement S? Just prove ¬S.  We learned about sequences how to disprove them. The proper way to disprove a statement is:  

• First make sure to negate it correctly
• Then prove the negated statement
• Draw examples to obtain intuition

We were shown invalid ways of proofs which were for humor purposes. After that we were introduced to limits. I have learned about limits in MAT137 so I have an idea about them and the epsilon-delta proof. I understood what was taught.

There was no tutorial this week.

Week 5 - Term Test 1

~~~~~~WEEK 5~~~~~~

Today's outline:

• proof using contrapositive
• proof using contradiction
• proof for existence 
• proof about a sequence

We had our midterm exam this week. It was my first exam in UofT so I was nervous before the exam. The past exam that was given to us helped me out by getting some knowledge on what kind of questions come in the exam.  My test was okay because I know I got some of the answers wrong. I liked the “keep calm and carry on” right after the test. It made my day better.

It was the first time for me to study something new right after a test so I was very exhausted and tired. I was not fully attentive in class and ended up taking this picture:

We started the class off with learning about contrapositives and contradictions. I learned that contrapositives are a way or proving statements. Moreover, sometimes using the contrapositive to prove is easier than the normal way. I understood this concept but I think I should practice using this a bit more before I can fully understand it. We then went onto learning about contradiction and my mind was zoned out from then onwards. There were a lot of people talking around me and a person in front of me was playing online FIFA.

The tutorial this week was easy and I understood how to attempt proof questions. I think I did well on the quiz.

Looking forward to the long weekend!

Week 4 - Folding Exercise

~~~~~~WEEK 4~~~~~~

Today's outline:

• Bi-implications
• Transitivity
• Mix Quantifiers 
• Proofs
• Problem solving session

This week we started off class with practice questions to review the previous lecture. I found this helpful because it got me involved in class immediately and for me personally the best way I study is by being involved in class and it helps me staying awake and interested in class.

We started by learning about Bi-implications which I found easy to understand. The negation of bi-implication is a bit tricky but I managed to do it after I went over the notes. We then learned about transitivity. I found transitivity easy but it took me time to understand the Venn diagrams but I managed to understand them as well. We then learned about mixed quantifiers. It took time to understand but I managed to. I like the question because it was funny.

However I did not manage to understand the mathematical examples that were given to us because the professor was going too fast at the time. I learned about proofs and how they are important for science. As a future computer scientist I should believe nothing until it is proven. A proof is an argument that convinces someone who is logical, careful, and precise. We first understand why something is true, and then we use a proof to share our understanding with others, to save them time and effort. Proofs can only be made with understanding.

I liked the real life proof example because I think I can understand much more when it refers to English rather than symbolic language.

We then did a folding exercise to learn about problem solving. We were asked to fold a piece of paper in a certain way and count the bends and which direction they are in. We looked for patterns in bends to determine what could be the amount of bends for ‘n’ bends. This exercise was done in a group and the group idea was good because all of us helped each other out. We used ‘V’ and ‘ᴧ’ to represent the bends but I used binary codes to represent them because it was easier to read. We managed to figure out a solution for the pattern in the bends but we realized we wrote it all backwards but we still understood the concept.

The tutorial this week was easy and I managed to do the quiz without any problem. I had revised my laws from week 3’s lecture and managed to do both the quiz and the tutorial without any problem.  However, I did find the negation of “Every dog has its days, or perhaps its cat.” I found that tough and got help from a friend to help me understand.

I will look forward to attending office hours because there is a CSC165 Term test is next week.