错题

评分出错

题目要求的是 "any" ,而答案只给出了一个。所以认为回答者没有理解题意,连 any 都没有理解。所以 0 分。

第一,标准的归纳法只能对自然数使用,而题目要求的是所有整数,所以使用标准归纳法是错误的;

第二,使用标准归纳法,证明 (n+1) 成立时错误,原因是没有使用假设 n 成立时的等式。

得分为:



逻辑正确:并不是说言论对了就给 4 分,还要看它得出这个言论的逻辑是否正确。这里使用归纳法,只能证明自然数,所以给两份。使用归纳法出错,只能给一分了。

理由:由于给出了 key idea:"One of (n+1), (n+2) must be even",所以给两分。

一开始审阅的时候没有看懂它的逻辑而给分了。这里想要证明 4n + 1 和 4n + 3 都是奇数。而题目要求的是所有奇数都能用这两个表达。

没有理解题意,0分。

看不懂回答在说什么。给 0 分,不要怕被别人说水平不行。

7. 

Opening: 由于没有提到归纳法,所以是 0 分。

State conclusion: 没有阐述结论。并不是你说了结论是什么就给你这个分,还要根据你的逻辑能够得出这个结论,像这里的 "That completes the proof" 没有证明问题,得出的结论是「当 n 成立时, n + 1 也成立」,显然,没有阐述真正的问题。

Reasons: 2分。提到了归纳法的使用条件,但是没有真正指出归纳法。

8

Clarity: 可能对于数学家来说能补充空白,但是对于学生来说会感到困惑,所以给 2 分。

Opening: 缺少 Let epsolon > 0 be given,所以 0 分(定理使用缺少条件,感觉过于严格)。

State conclusion: 根据逻辑,能得出结论,并且明确阐明了结论。

Reasons:"which shows that" 并没有说明理由,但从逻辑中能看出部分理由,所以给 2 分。

这道题目的意思是,An 是一个区间,由你提出一个具体的例子,然后证明它拥有题目中的两个属性。

Logical correctness: 由于相邻两个集合就没有交集,所以不满足 An+1 属于 An 所在区间。所以 0 分。

分数的作用是给予学生反馈。所以,我们假设是对的,再看看这个证明。由于只证明了一半,所以都给 2 分,但总体而言,答案是错误的,所以是 0 分。

我认为没有证明 An+1 属于 An,所以理由给 2 分;不够清楚,给 3 分,所以是 21 分。

Introduction to Mathematical Thinking - Week 9的更多相关文章

  1. Introduction to Mathematical Thinking - Week 6 - Proofs with Quantifieers

    Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等 ...

  2. Introduction to Mathematical Thinking - Week 9 评论答案2

    根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2.  我给出的分数 ...

  3. Introduction to Mathematical Thinking - Week 7

    Q: Why did nineteenth century mathematicians devote time to the proof of self-evident results? Selec ...

  4. Introduction to Mathematical Thinking - Week 4

    否定的逻辑 应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号. 比如 对于任意的 x,x属于自然数,那么 x 是偶数或者奇数:这是对的 如果使用“乘法分配律”拆分,变成“对于任意的x ...

  5. Introduction to Mathematical Thinking - Week 3

    there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...

  6. Introduction to Mathematical Thinking - Week 2

    基本数学概念 real number(实数):是有理数和无理数的总称 有理数:可以表达为两个整数比的数(a/b, b!=0) 无理数是指除有理数以外的实数 imply -- 推导出 不需要 A 能推导 ...

  7. Deep Learning and Shallow Learning

    Deep Learning and Shallow Learning 由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门 ...

  8. Technical Development Guide---for Google

    Technical Development Guide This guide provides tips and resources to help you develop your technica ...

  9. (转)Awesome Courses

    Awesome Courses  Introduction There is a lot of hidden treasure lying within university pages scatte ...

随机推荐

  1. Docker 使用docker-compose部署项目

    原文地址:https://github.com/eacdy/spring-cloud-book/blob/master/3%20%E4%BD%BF%E7%94%A8Docker%E6%9E%84%E5 ...

  2. UINavigationController(二)

    在使用UINavigtionController的时候,常常会弄不清哪些属性是UINavigationController的,哪些属性是UIViewController的.并且在更改导航栏和工具栏的样 ...

  3. Mac 上的传奇效率神器 Alfred 3

    下载地址:https://www.alfredapp.com/ 第三方教程:https://www.jianshu.com/p/e9f3352c785f 一.内置快捷键介绍 1.默认快捷呼出热键是: ...

  4. C++中两个类相互include的问题

    在构造自己的类时,有可能会碰到两个类之间的相互引用问题,例如:定义了类A类B,A中使用了B定义的类型,B中也使用了A定义的类型 例如: Cup.h #ifndef CUP_H #define CUP_ ...

  5. 【问题记录】eclipse启动web项目时,spring会初始化两次

    背景:一个tomcat,一个eclipse,一个SSM框架的web项目.在eclipse中新建tomcat服务器,默认配置,然后在服务器配置中将Server Locations改成Use Tomcat ...

  6. SQL注入-数据库判断

    0x01.sql注入 sql注入是在系统开发的过程中程序员编程不规范,我们可以通过把SQL语句插入到WEB表单中进行查询字符串,最终达成欺骗服务器执行恶意的SQL命令.对于现在的网站SQL注入越来越严 ...

  7. HDU - 5301 Buildings

    Buildings Time Limit: 4000/2000 MS (Java/Others) Memory Limit: 131072/131072 K (Java/Others) Total S ...

  8. linux虚拟文件系统vfs

    linux可以挂载不同的文件系统(EXT2,FAT,NTFS),用同一的样式呈现给用户,读写操作用起来都一样,这是怎样做到的呢? linux内核在各种不同的文件系统格式上做了一个抽象层,使得文件.目录 ...

  9. 模拟 Ajax 上传

    ----------------view----------------------------------- <form method="post" action=&quo ...

  10. OC 内存管理-01

    创建对象 .分配内存空间,存储对象 .初始化成员变量 .反回对象的指针地址 //过程 ()对象在完成创建的同时,内部会自动创建一个引用计数器,这个计数器,是系统用来判断是否回收对象的唯一依据, 当我们 ...