Csc165 week 1 ~ 2 :precision, quantifiers, verify/falsify, sentences, symbols

During the 3 hour lecture of the 1st week the professor introduced the concept of ambiguity and precision in language. It was interesting to note that in mathematics and computer science where precision should reign supreme, at least for the programmer themselves ambiguity which also refers to intuition plays a large part in understanding a concept.The concept of precision in computer science while not particularly hard required several readings to clearly understand especially parts where he 'translates' computer code to human language.

The concept of quantifiers like universal and existential quantifiers were pretty intuitive and having taken Mat137 I did not have much problems with any of the second week's material. The concept of sets is intuitive if visualised as a venn diagram. however the concept of implication gave me abit of trouble. its a little confusing for statements such as 'Login is required to view content' where content viewed implies login.it took awhile but after a little reviewing it became less confusing.

overall week 1 and 2's course material was relatively simple. However from what I heard its going to get alot harder from here on out. Hopefully i can review before each lecture and go prepared.