Archive for the ‘Logic’ Category

Logic and Applications – Tough Exam!

I took the Logic and Applications exam last Friday. I think I’m ready now to talk about the ordeal… It wasn’t so bad really, I guess. I made a bad call as to which questions to answer (it was one of those answer three of four kind-of-things) and ran out of time. One of the [...]

Posted on February 2, 2011 at 11:10 pm by Paul Brabban · Permalink · Leave a comment
In: Computer Science, Logic, MSc

Preparing for the Logic and Applications Exam

It feels like a long time between finishing the Logic and Applications course back in early November and the exam, which is next week on the 27th January. In between, I’ve done a little work on my project proposal in the meantime, but certainly since late December I’ve been focussing more on preparing for the [...]

Posted on January 22, 2011 at 11:46 pm by Paul Brabban · Permalink · Leave a comment
In: Computer Science, Logic, manchester, MSc

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 [...]

Posted on November 17, 2010 at 11:52 pm by Paul Brabban · Permalink · Leave a comment
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 [...]

Posted on November 7, 2010 at 11:23 pm by Paul Brabban · Permalink · Leave a comment
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 [...]

Posted on October 19, 2010 at 10:16 pm by Paul Brabban · Permalink · Leave a comment
In: Logic, MSc