Monday 6 October 2014

CSC165 Slog 4

This week the topic that stuck out the most as very important was the introduction to proof structures.
A few other topics were mentioned this week included:
However Heap made it fairly clear that proofs would continue on for the rest of the semester and how it was pretty important to understand structuring so most of my attention was spent on that.
    The standard format that we were taught was to go through the given statement from left to right and introduce the variables in the statement. If  ∃ of a set of variables exist ∈ in another set, you pick a variable in the set to allow it in the proof, and assume any sets that ∀ exist a set before doing the 'meat' of the proof. Once you end the proof, you show how you got to the consequent with the knowledge of the assumptions in the proof (antecedent).
    The structure has been quite easy to catch on, which is nice to know since it is also essential to doing proofs for the rest of the semester.

No comments:

Post a Comment