Wednesday, November 12, 2014

halt(hammer, time)

Well we got our midterms back this week, and like most of the class I didn't do as well as I expected.  The graders were very strict it seems, docking marks for the smallest omissions and fallacies.  It makes sense if you want to learn how to write strong proofs but it does hurt when you receive your test back.  At least I know where to study the most for the final exam, which isn't too far away now!

We also did a recap of proving growth functions, and determining whether they were bounded by Big O or Big Omega.  I liked the polynomial examples I think the best because numbers are intuitive.  The generic functions were interesting too, and seemed pretty clear as well.  I am a little concerned about the calculus aspect required for some of the non-polynomial functions, because it's been so long since I have done calculus.

Then finally we took a look at some python functions to determine whether they were computable or not, using a halt(f, f) function and an initialized(f, f) function.  I couldn't quite grasp it by the end of the lecture because it was a little bit of pseudo-code, and I'm going to have to go back later and revisit it.

It's hard to believe we are nearing the end of the term.  I am a little terrified for this final exam!

M

No comments:

Post a Comment