Author Archive
Logic and Applications Coursework Catch-Up
The lecturers and demonstrators for the Logic and Applications course held a ‘coursework catch-up’ today, the idea being that we can see where we went wrong in the assessed coursework pieces we submitted. I think a big thank-you is warranted to the demonstrators on the course, Adam and Mohammad. These guys have been really helpful [...]
In: Logic, MSc
Logic and Applications Day 5
So I’ve finished the Logic and Applications module now – the last coursework has been submitted and I’ve been enjoying a couple of days of doing things other than schoolwork! The course was very focused on satisfiability – given a set of logical statements, is it possible to find an interpretation, a set of assignments [...]
In: Computer Science, Logic, MSc
Logic and Applications Days 2-4
I normally manage to get a post out each day I’m studying a module, but I’ve really struggled for time this time round. I’ve had a few items in my personal calendar that I didn’t want to miss, but over and above that the workload on this module is pretty intense. There’s a coursework assignment [...]
Logic and Applications Day 1
It’s the start of year three, and I visited UoM last Friday to got through my options and choices for what will almost certainly be the most important year of my MSc. As usual, I need to choose taught modules. I need to get at least two done, but three would wrap up the taught [...]
Getting Ready for Year 3 2010-11
It’s that time again. The results came in for last year and everything’s comfortably over the 70% mark so it’s past time to get cracking on module choices and learning ready for year three. It seems like it was a very long time ago that I applied to Manchester! So to recap, so far I’ve [...]
In: Logic, MSc