Introduction to Mathematical Thinking - Week 9
错题
评分出错
题目要求的是 "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的更多相关文章
- Introduction to Mathematical Thinking - Week 6 - Proofs with Quantifieers
Mthod of proof by cases 证明完所有的条件分支,然后得出结论. 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息.比如对于任意正数,你不知道它是 1 还是 2等 ...
- Introduction to Mathematical Thinking - Week 9 评论答案2
根据 rubic 打分. 1. 我认为,如果说明 m, n 是自然数,所以最小值是 1 会更清楚.所以 Clarity 我给了 3 分.其他都是 4 分,所以一共是 23 分. 2. 我给出的分数 ...
- Introduction to Mathematical Thinking - Week 7
Q: Why did nineteenth century mathematicians devote time to the proof of self-evident results? Selec ...
- Introduction to Mathematical Thinking - Week 4
否定的逻辑 应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号. 比如 对于任意的 x,x属于自然数,那么 x 是偶数或者奇数:这是对的 如果使用“乘法分配律”拆分,变成“对于任意的x ...
- Introduction to Mathematical Thinking - Week 3
there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions say ...
- Introduction to Mathematical Thinking - Week 2
基本数学概念 real number(实数):是有理数和无理数的总称 有理数:可以表达为两个整数比的数(a/b, b!=0) 无理数是指除有理数以外的实数 imply -- 推导出 不需要 A 能推导 ...
- Deep Learning and Shallow Learning
Deep Learning and Shallow Learning 由于 Deep Learning 现在如火如荼的势头,在各种领域逐渐占据 state-of-the-art 的地位,上个学期在一门 ...
- Technical Development Guide---for Google
Technical Development Guide This guide provides tips and resources to help you develop your technica ...
- (转)Awesome Courses
Awesome Courses Introduction There is a lot of hidden treasure lying within university pages scatte ...
随机推荐
- 【Java】Java_09 类型转换
1.自动类型转换 自动类型转换:容量小的数据类型可以自动转换为容量大的数据类型.在图中,黑色的实线表示无数据丢失的自动类型转换,而红色的虚线表示在转换时可能会精度的损失. 特例: 可以将整型常量直接赋 ...
- 关于POI 中单元格背景色设置(转)
关于POI 中单元格背景色设置(转) csdn 中找到了用Apache POI 实现单元格背景色的小例子 我用了JDK6 + POI 3.17 ,调试中报错 最终将 CellStyle.SOLID ...
- 可以打开QQ,但打不开网页的DNS服务器设置问题
方法二: IE->设置->连接->局域网设置
- web 图片上传实现本地预览
在说上传之前先说说如何替换or美化浏览器自带的简陋上传按钮(自定义自己的上传按钮 如:img): 1.将自定义上传按钮上方添加 input file 框,实现input实现透明处理. 2.对自定义上传 ...
- LVM详解笔记pv-vg-lv创建和扩展
LVM Logical Volume Manager(逻辑卷管理) 是Linux环境下对底层磁盘的一种管理机制(方式),处在物理磁盘和文件系统之间. 名词: PV (Physical Volume)物 ...
- java正则表达式基础知识(转)
1基础 2.1 简单字符类 构造 描述 [abc] a,b或c [^abc] 除a,b或c外的字符 [a-zA-Z] a至z 或 A至Z [a-d[m-p]] a至d 或 m至p [a-z&& ...
- DevStore开发人员服务有奖征文:小谈新浪微博开放平台
DevStore开发人员服务有奖征文:小谈新浪微博开放平台 笔者接入新浪微博开发平台也有一段时间了,对整个平台的接入也算比較熟悉,新浪提供了统一的API接口,能够让开发人员更方便的使用API来实现自己 ...
- 阿里云RDS备份的tar格式包恢复到本地自建数据库
说明 阿里云RDS-mysql数据库是通过percona-Xtrabackup进行备份的,所以恢复时也需要安装该软件. 另外注意的是:你自己下载的MySQL版本要和阿里云上的MySQL版本一致,不然会 ...
- SpringBoot+MybatisPlus(多数据源和主从分离)
简介 dynamic-datasource-spring-boot-starter 基于 springBoot2.0. 它适用于读写分离,一主多从的环境. 主数据库使用 INSERT UPDATE D ...
- C++获取二维数组的元素个数
C/C++获取二维数组的大小/长度/元素个数 ][]; ]) /
