2013年1月26日星期六

Third week

Things are more difficult in thecthird week. It requires  us to think  about more things that are related to several  sentences, for example  logical relationships and restricting domains of some expressions.
In this post, I will try to show you what I learnt on this week that can help me review those things.


On this week, the professor strats to introduce some  symbols that play an important role in natural language, The first one is conjunction(^),which combines two statements by claiming both true with logical "and". The second one is disjunction , which combines two statements by claiming that at least one of them is true like "or". The third thing is negation, which negatives the statement  like word "not". Those are main things we have to understand and use in specific cases by using other laws and methods  like De Morgan's Law  and scope. we start to translate natural sentence into symbol expression.



I also start to do the assignment with my partners . The assignment is so difficult . We have to analyze and translate specific sentences. Some sentences are to hard to understand. The most difficult thing is to translate symbol expressions into natural sentences.  It means that you have to transfer abstract symbols into specific things and then write natural sentences. Also, you have to remember some standard negation like :(P(x)^Q(x)),P(x)):Q(x). (: should be negation symbol , why it cannot be copied and paste from the professor's slides?   Ok, never mind. It is just a specific example) The logical training torments us . However,it is also interesting to learn it.
 
 

2013年1月14日星期一

First two weeks of CSC 165

This journal will include  what I get from course CSC165. I will post something new and interesting from course material. I will talk about my experience and my own thoughts too. I hope my journal can help me to get an impression of how my experience of the course changes.


The first week, the professor talked about  something basic. CSC 165 is a course about expression and communication .Then he talked about how to verify the claims by using function. In class, there are four functions named quant1 ,qunat2,quant3 and quant4. Those functions have two parameters which are lists to verify the relationship of  L1 and L2. However, it is hard for me to understand the coed of  quant.  I will try to figure it out.



The second week, we learn how to claim by using  symbols, how to verify quantified claims, and more details about specific sentences  and sets. We have an example in class. There is some data about employee and theirs gender and income. We use symbols to claim by using these data. For example, E is a list of all employees, O is a list of employees earning over 42,000. Then we can claim that all employees earn over 42,000 which can be presented as E page6image3364 O.