2014年9月19日星期五

Week 1~2 SLOG

These two weeks, we studied some basic concepts of quantifiers and logic symbols, which will play an important role in the future courses. Also, we learned how to verify and falsify quantifier statements. I really enjoy the process of solving problems like these since it improves my logic analysis and deductive skills. There are some similarities between this course and MAT137 and I believe taking MAT137 can enhance my understanding to CSC165 and vice versa.

Here is an example of what I learned:

English Statement: All u of t students(s) study CSC165.
**U is a set of all u of t students,and C represents CSC165.**

An expression for this will be:
∀s \in \!\, U,C(s)

To prove this right, we have to go through every student making sure all of them are studying csc165; however, to prove this wrong, we only need to find one student that is not taking csc165.

Topics like negations and proofs seem interesting to me. I really look forwards to the upcoming classes.