Archive for the ‘Logic’ Category
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
Logic for Dummies – Part 1
It seems like one of the things I really have to get my head round if I want to understand some of the principles of computer science is logic. Now, I figured that would be easy. I mean, I can remember truth tables for AND, OR, NOT, NOR, NAND, etc. from school, so how hard [...]
In: Computer Science, Logic, MSc · Tagged with: lecture, Logic, prolog, propositional, youtube