Second term test is done now along with weeks of ongoing assignments. Hopefully the workload will get a bit better for us now that we're nearing the final stretch. The term test was not too difficult and I think i did quite well. The first two questions, finding a closed form and recursion, were pretty straight forward and did not take me long to finish them. The third question we were given a while loop and had to find the invariants and post conditions, and also had to prove termination. I traced the loop out and managed to solve for m when the loop terminated. I spent quite a bit of time thinking about the invariant, but it managed to elude me until near the end of the test, but there was not enough to formulate the full proof by that time.

Getting the test over with, I can see the following weeks being a little less demanding in terms of tests and work load. Maybe we can get some free time in for ourselves and relax a little bit before the final assignments and exams.