This week we were introduced to halt. It is strange how that a recursive function call assume it halts implies that it doesn't halt based on the halt function. But after tracing through the code, it does imply that. Another topic covered was reductions. Seems to be some terminology so it wasn't hard to grasp. And finally onto counting which is a concept I thought it was already mastered in kindergarten... I was wrong. At first the idea that the number of odd integers which has the same number of even integers is also the same number of integers overall. At first this confused me but seeing that if you were to arrange every integer to its odd integer, then the one to one correspondence of them is true for all integers.
On the topic of the last assignment, the first two proofs didn't seem that difficult after seeing the various examples and my partners working on it. The proofs with the definition of the limit seem very strange to me but after working on it, it shouldn't be a challenge.
We must accept finite disappointment, but never lose infinite hope. - Martin Luther King Jr.
No comments:
Post a Comment