For this week, it was level-up from last week, questions are getting harder, and the statements are need to prove is more complex, but the whole technique is same, universal and existential.
2014年12月2日星期二
week 6
We had a long-weekend, Thanksgiving holiday!!!
For this week, it was level-up from last week, questions are getting harder, and the statements are need to prove is more complex, but the whole technique is same, universal and existential.
The statements are now containing multiple quantifiers. which made me to think more and takes longer time to understand the statements, then I can decide to prove or disprove it.
For this week, it was level-up from last week, questions are getting harder, and the statements are need to prove is more complex, but the whole technique is same, universal and existential.
订阅：
博文评论 (Atom)
没有评论:
发表评论