@fluffy I really enjoyed that course. We looked at a bunch of the theory behind computing, the whole thing built up to turing machines. It was pretty cool.
The textbook could have used some work though. I think the forgot a bracket at one point and there was raw LaTeX for a few pages.