Week 1 and Week 2

 I loved those mathematical logics we've discussed in class so far! This course went beyond my expectation. Though I had been admitted into computer science program, I was worried about the coming computer science courses.  To my surprise, I found myself kind of immersed.

       
 In the first week, we talked about sets, quantifiers and proofs for universal statements and existential statements. Those were pretty easy. And in this week we learned implications and negations which also been taught in MAT137.  

        
To be honest, I've already learned the above things in junior high and senior high. However,  I still felt uncomfortable occasionally during classes. Since English is not my mother tongue,  I'm not that familiar with some English terms and some logics behind the language. Besides,  the "if only" and "unless" statements indeed frustrated me for quite a long time, but I actually enjoyed the process of trying to understand it. To learn more efficiently, I plan to set aside some time to preview, maybe just go over the course notes for next period. I'll start this weekend and see if it will work.