Before attending the first class of CSC165, there were a lot of words
screaming out how terrifying this class was going to be! But after
Danny Heap the professor of this semester's CSC165 class introduced
himself he seemed very approachable as he tries to learn every single
students name who decides to participate during his lectures. Danny
exclaims that this course will teach us how to communicate better with
and through programs, with developers, knowing what we mean,
understanding what others mean and analyzing arguments, or programs. The
key words to remember are precision, balance and verification! With
that you could start to solve any problems thrown at you as long as you
have both rigor and intuition.
On Friday January the
11th we started to solve problems with examples during the lecture,
professor Heap demonstrates that the first thing we do before trying to
solve any problem is to identify all the given values and information we
have. Once collecting all the information we can begin to try and solve
for an answer. This was the first time I was introduced to
"Quantifiers". Quantifiers connect properties of elements to properties
of sets. There are universal and existential quantifiers which we will
use to disprove statements or claims. Universal claims are used with the
symbol "∀" which stands for "all" and then the existential claims are
used with the symbol "∃" which stands for "exists". We will use these
terminology to express in words to solve problems
