Week 7
This week we talked more on proofs and disproofs, and big-Oh, this is the first time I have seen this, and it is very interesting to me. I am also taking CSC148, and it is interesting to think about programs running time. Before I have never thought about running time, as the programs we make/study is relatively simple for the computer that we don't see a huge difference in running time.
However, in CSC148 we just had to make a program that simulates a course registration system, and it got me to think that it is probably not easy to write simple codes that does the job and does it quickly, as in the real world, the system needs to handle hundreds of thousands of applications and other things.
For the materials on proofs, I think I am getting better at noticing the relationships and implications, so I will just need to work more on getting the structure right.
Week 8
This week we talked more on big Oh and Omega. I think I understand the concept pretty well now, and I need to work more on how to reduce/enlarge each function so that I can pick a c in the middle. I am having a little trouble realizing myself of which part I should give up.
Also, I am having a little problem with counting the number of steps a program take, I think it's not intuitively obvious how many steps a function take, and sometimes my reasoning is actually off from the correct answer, so I think I will need to give it more attention.
Sunday, 30 November 2014
Week 5+6
Week 5:
This week we talked about contradictions, implications, and existence. I am pretty confident with the proofs of existence. I think the most important thing is finding a pattern in the statement given to you, and find one example that works/doesn't work.
For implications, I think I can relate it more to the calculus I am studying as it involves a lot of assuming the negation is true, and seeing what kind of bizarre thing will happen, so I will continue using this method.
Other than that I think I need to continue working on being more comfortable with using symbols and manipulating them around brackets.
Week 6
This week we talked about floors and more proof structure, and limits.
For floors, I think I will need to work more on getting a hold with the definitions and using them in my proofs. Other than that, I think I will also look more into my math books for epsilon-delta proofs as they are similar to what we are asked here, also I think I will try writing out more empty proof structures as I am sometimes too free in writing down my proofs.
I think the main focus for me will be getting more confident with assume, let, and then. As long as I am fluent in using them I think I will be better at writing proofs.
This week we talked about contradictions, implications, and existence. I am pretty confident with the proofs of existence. I think the most important thing is finding a pattern in the statement given to you, and find one example that works/doesn't work.
For implications, I think I can relate it more to the calculus I am studying as it involves a lot of assuming the negation is true, and seeing what kind of bizarre thing will happen, so I will continue using this method.
Other than that I think I need to continue working on being more comfortable with using symbols and manipulating them around brackets.
Week 6
This week we talked about floors and more proof structure, and limits.
For floors, I think I will need to work more on getting a hold with the definitions and using them in my proofs. Other than that, I think I will also look more into my math books for epsilon-delta proofs as they are similar to what we are asked here, also I think I will try writing out more empty proof structures as I am sometimes too free in writing down my proofs.
I think the main focus for me will be getting more confident with assume, let, and then. As long as I am fluent in using them I think I will be better at writing proofs.
Subscribe to:
Posts (Atom)