WMN7Q

摘要： 关于ForAll和Implies今天想要讲一下ForAll和Implies这两个函数。ForAllForAll有点类似数学里的任意，我们看下面的一个例子ForAll[x, a x^2 + b x + c > 0] 使用ForAll结合Resolve，我们可以解出一些问题的解，看下面的... 阅读全文

摘要： 从编程语言的学习讲起最近自己想在学一门语言，最后决定还是先学r语言，一是r语言是开源的，二是r也是一种统计的语言，我从mathematica转过来会方便一些。然后就想谈一下对于语言的学习上的事情： 书籍>教学视频>博客 这个是我现在的看法，要学一门语言的话我觉得还是去买本相关的书看比... 阅读全文