Slept at 6:30 this morning, try to get as much reading done as possible. Manage to read all the slides other than prolog. I’m leaving that till last. What I’ve read so far have forgotten half already, that’s not a pretty sight. Sigh….but now I understand propositional logic and predicate logic better after this second time reading (first time is for mid-sem test), but still got quite lost in Computation. What are all those Finite machine that is deterministic or non-determinisitic…and that Turing Machine as well, aarrgggghhh……..I’m so panic right now that I can bash my head on the wall and still wouldn’t feel a thing. Anyway, back to my dream…..I dreamt of a fun park, an annoying guy, Sam Li and Arthur. More detail later..