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