SLOG #2

So this week was pretty interesting, with the introduction of conjunction, disjunction, and negation, came some challenging problems. But obviously before one could go at these problems, there is the task of understanding how exactly each tool is used or expressed, and then there comes the hard parts. For me, these parts included figuring out equivalent expressions and translation from English to symbolic form. For example, I had some difficulty translating couple of the tutorial questions. One in particular was "No Course has more than 2 prerequisites". My initial answer was something in the line of, for all 'y' and for all 'x', P(x ,y),  x < 3 , but soon after I realized that we can introduce other variables and that if we can prove it for one then it becomes True for all (since we declare that at the beginning that the following is True for all courses in 'C'). So basically other than few mistakes here and there, everything went was OK this week.

SLOG #1

First couple of weeks and already behind course work....not good. But, I've made it my duty to keep due dates in my calender now, so hopefully no more late submissions. Now let's get down to business.

I had my thoughts about this course before starting the class, In a sense I was expecting much more mathematics being involved, and by that I basically mean the stuff we are learning in MAT135/136 combined with programming or some ugly mixture like that. However, as of now the course is quite different from that, well, actually much different from that. I believe this course places a lot of emphasis on communication and ensuring that we have the required tools and skills to transfer ideas back and forth with accuracy and efficiency. With that said, it seems that problem solving is also a significant part of the curriculum, and although we haven't seen anything too crazy in that area, i'm sure the brain hurting problems are on their way.    Anyways, enough with that, let's talk about the lectures and the material we covered in these previous weeks. In these last few lectures, they were couple of things that gave trouble, but overall I found most things easy to grasp, especially things like the use of symbols, as it is something that I've already become familiar with in my Gr. 12 data management class. The few troubles that I encountered were mostly related to conversions, such as converting a sentence to code or vise versa, however, I overcame these problems by spending some time actually coding the examples from the lecture slide, or in other cases I would look over the annotated slides, as there are little things on there that can be helpful. For example, I like Danny's use of diagrams as it gives another perspective to the problem, which can become useful when you have difficulty understanding something. 

So, overall i'm pretty happy with the course, it can be challenging at times but fun at the same time, and more importantly I believe it offers lots of good tools and skills that are surely to become useful. As of now nothing seems to difficult to understand, and hopefully that won't be changing anytime soon :)