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  O.