This week I learned how to transform logical expressions using negation. Applying negation to a statement means to reverse the truth of it. This is similar to what we did in week 2 with falsifying implications.
I was able to solve most of the questions on the tutorial exercise easily, but I did not know how to symbolically represent statements such as "more than one element has a given property", or "No more than two elements have this property". I will need to review my TA's solutions. Regardless, I am confident that I did well on the quiz at the end of the tutorial. For the most part I am very comfortable with logical notation. My previous experience with programming helps me break down complex statements.
Thursday, 25 September 2014
Thursday, 18 September 2014
Week 2
This is my course log, or SLOG, where I will be recording the things I learn and challenges I encounter in CSC 165.
This week I learned about universal and existential claims. A universal claim is a statement about every element of a set, and an existential claim states that at least one element of a set has a given property. I found it interesting to logically analyze statements made in plain English to identify precisely what claims are being made. I also learned how to prove or disprove these kinds of statements.
This is the first course I have taken that has explored set theory in detail. I have previously used arrays and lists when writing programs, which are a similar concept, but at first I was confused by the notation used in class. I found it useful to refer to the section on set theory and notation in chapter 1 of the course notes. Now, when I encounter set notation, I first make sure I understand the meaning in English before continuing.
This week I learned about universal and existential claims. A universal claim is a statement about every element of a set, and an existential claim states that at least one element of a set has a given property. I found it interesting to logically analyze statements made in plain English to identify precisely what claims are being made. I also learned how to prove or disprove these kinds of statements.
This is the first course I have taken that has explored set theory in detail. I have previously used arrays and lists when writing programs, which are a similar concept, but at first I was confused by the notation used in class. I found it useful to refer to the section on set theory and notation in chapter 1 of the course notes. Now, when I encounter set notation, I first make sure I understand the meaning in English before continuing.
Subscribe to:
Posts (Atom)