New Semester, New Modules
So what am I taking this semester? Well…
G5BPCV - Program Construction and Verification - is taught by Professor Roland Backhouse and should prove easier than PAL and also interesting. Handily, he has a new book to be published early this year which covers roughly the same content.
G53COM - Computability - the study of computability theory, standard models of computing and the like. So far it’s mostly focussed on Turing Machines, which is a shame as the Lambda calculus is far more interesting 
G5BCFJ - C/C++ for Java Programmers - easy marks. I sense lecture non-attendance.
G53FSP - Formal Systems Specification - a useful module on software design which should actually present techniques that aren’t management fluff
Anyway, first CFJ lecture soon, I should go to find out what the course is like. Must dash!