根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2.  我给出的分数 0 + 4 + 4 + 4 + 4 + 0. 明显可以看出是计算错误,但由于目前是考察数学思考,并不需要像工程师一样精确.所以这个被视为 slip. Logical correctness: 2 分.逻辑正确但是计算错误. Overall valuation: 2 分.同理,逻辑正确但是计算错误.…

错题 评分出错 题目要求的是 "any" ,而答案只给出了一个.所以认为回答者没有理解题意,连 any 都没有理解.所以 0 分. 第一,标准的归纳法只能对自然数使用,而题目要求的是所有整数,所以使用标准归纳法是错误的: 第二,使用标准归纳法,证明 (n+1) 成立时错误,原因是没有使用假设 n 成立时的等式. 得分为: 逻辑正确:并不是说言论对了就给 4 分,还要看它得出这个言论的逻辑是否正确.这里使用归纳法,只能证明自然数,所以给两份.使用归纳法出错,只能给一分了. 理由:由于给出…

Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等等. 使用矛盾 证明相反的结论是错误的 归纳法 Prove the initial step, then apply to the induction step. Prove the mathematical theorems Assignment 解析:首先尝试找到 m, n 使得结论成立.因为…

否定的逻辑 应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号. 比如 对于任意的 x,x属于自然数,那么 x 是偶数或者奇数:这是对的 如果使用“乘法分配律”拆分,变成“对于任意的x,x属于自然数,那么x是奇数或者对于任意的x,x属于自然数,那么x是奇数” 这是错的 疑惑 但是做练习的时候,还是把其当做符号来运算.For all 变成 at least one:At least one 变成 for all:v 变成  ^; 计算机也是把逻辑规则抽象成符号来运算的. 注意言论的…

there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions says that there is no largest prime. (There may be more than one. You have to select all correct propositions.) The variables denote natural numbers. [6…

基本数学概念 real number(实数):是有理数和无理数的总称 有理数:可以表达为两个整数比的数(a/b, b!=0) 无理数是指除有理数以外的实数 imply -- 推导出 不需要 A 能推导出 B,而只要 A, B 都是正确的就可以? phi implies psi 与 phi, psi 是否有关联无关.计算机并不需要理解 phi, psi 的意思,不需要知道 phi, psi 是否是正确的,它们只需要知道 phi implies psi 是否是正确的. 那么如何推导出剩下的两个? 通…

Q: Why did nineteenth century mathematicians devote time to the proof of self-evident results? Select the best answer. A: To gain mastery of, and confidence in, the methods of abstract proof to apply them in less obvious cases. (看这个看的想睡觉,可能是没有动手跟上老师的…

原文地址:http://blog.sina.com.cn/s/blog_7e5f32ff0102vlgj.html 入门书单 1.<数学之美>PDF6 作者吴军大家都很熟悉.以极为通俗的语言讲述了数学在机器学习和自然语言处理等领域的应用. 2.<Programming Collective Intelligence>(<集体智慧编程>)PDF3 作者Toby Segaran也是<BeautifulData : The Stories Behind Elegant…

你不妨先思考一个问题:在单核时代,PHP之类多线程或者多进程的,是怎么处理并发的?是排队吗? 答案是:的确就是排队.但是并不是一定要处理完请求1才能去处理请求2:实际上请求的处理过程中,有很多的时间是耗在IO等其他地方,这时可以切换去处理其他请求,把等待的时间可以充分利用起来,达到更高的吞吐量.切换调度的策略是线程库,或者OS实现的,由于每个进程/线程需要占用不少资源(典型的是内存,一个线程通常需要2M的栈空间),更重要的是,线程/进程切换时的开销是非常大的. 既然如此,为何不让线程自己来管理呢…

Deep Learning and Shallow Learning 由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门课的 project 中见识过了 deep learning 的效果,最近在做一个东西的时候模型上遇到一点瓶颈于是终于决定也来了解一下这个魔幻的领域. 据说 Deep Learning 的 break through 大概可以从 Hinton 在 2006 年提出的用于训练 Deep Belief…