CSC Slog 3

This week focused pretty heavily on methods to do negations of statements. This along with last weeks lectures, we focused on the usage of the following symbols:

Negation: '¬' 

    Basically used to negate, or imply the opposite of something. There are a lot of uses and laws behind it but the most memorable law behind negation methods that comes to mind is DeMorgan's Law.

Disjunction: '∨'

    More often than not in can be used to substitute 'or' when translating from english to symbols

Conjunction: '∧'

    the symbol is used to combine two statements, usually used as 'and' when translating to symbols

For all: '∀'

    Used to introduce a variable or set and defines whether or not all of the 

Exists some: '∃'

    Used to introduce a set of variables where only some of the units inside coincide with another set.

Implication : '⇒'

    Used after the antecedent has been introduced to show the consequent

in a set/ included in : '∈'

    the symbol that says that a variable defined to exist for all or for some instances is within another set or function

With this terminology Heap introduced and covered how to visualize different statements on a Venn diagram. 

Overall it was a difficult week getting used to pushing negations from the beginning of a statement all the way to the end, and the Venn diagrams were fairly easy to grasp, but very difficult to be as minimalistic as possible when drawing and filling in the diagrams.

CSC165 Slog 2

    This week we finished covering the how to on full translations of statements from english into symbols. This week also included the introduction of nomenclature behind implication statements (defining the antecedent and consequent), vacuous truths and a brief introduction to manipulating statements in different ways. This included negations, contrapositives, and converses.
    Overall this week was a lot easier than the first week because I could start to recognize and quickly translate symbols to english which allowed me to understand the problems in class. The specific tasks that we covered in class were not too difficult, but were definitely not familiar to me and we only did an overview of negations. Heap promised that negations would get harder so I'll take his word for it. Memorizing the format of contra-positives, converses and negations have been a bit difficult but it should come with time.

CSC Slog 1

    Coming into CSC165 I was expecting the class to jump straight into programming and focus on it heavily. I was pretty surprised to find that the first subject that we focused on in lectures was the use of English and how important it is. I was caught off guard because I didn't really take into account how essential precision in language was because of how drastically meaning can change with one slip up in the structure of the sentence.

    So far I really enjoyed looking at how precise and ambiguous phrases can be since I wasn't expecting the topic. The most interesting topic for me was looking at statements and proving them true or false with conditions that we translated between English and Venn diagrams. My interest in that portion of the lectures made me pretty confident during the quiz at the first tutorial.

    The most difficult portion of the class for me so far has been converting a lot of the statements from English to purely symbols since I'm completely unfamiliar with them, but that should settle down as I see them more often and ideally be able to convert from the symbols to english and vise versa