数学建模社区-数学中国

标题: 让机器模仿做证明题的代码！非常有意思！ [打印本页]

作者: madio 时间: 2020-3-17 08:48
标题: 让机器模仿做证明题的代码！非常有意思！

相关实验：

【模仿学习】计算机学习求导f(x)=x^a

　　　　　　http://tieba.baidu.com/p/4409768742

【模仿学习】让计算机通过“模仿学习”学会解一类小学推理题

http://tieba.baidu.com/p/4485754083

【定理证明】自编程证明“正弦平方加余弦平方等于一”

http://tieba.baidu.com/p/4561469152

使用方法：

1.打开程序，看到一行文字：现在开始证明公式：奇数*奇数=奇数。这时用户需要向程序输入证明过程。

用户可以输入以下六种命令：

用代数式表示左边第一项

用代数式表示左边第二项

相乘

等号右边除以二

余零则为偶数

余一则为奇数

我输入命令：用代数式表示左边第一项

程序提示：输入一个代数式来表示左边第一项（格式如：2X 或 2X+1）

根据数学常识，奇数被表示为2乘以一个整数加1的形式，于是我就输入2m+1表示等号左边第一个奇数。

接着，我输入命令：用代数式表示左边第二项。

跟刚才一样，这次我用2n+1表示左边第二个奇数。

输入命令：相乘。

程序对(2m+1)和(2n+1)做乘法运算，显示：经计算，等号右边等于4mn+2m+2n+1。

输入命令：等号右边除以二

程序对4mn+2m+2n+1做“除以二并求余数”运算，显示：等号右边除以2，商2mn+m+n，余数1。

现在我们需告诉程序，一个整数除以二，余数为1则是奇数，没有余数则是偶数。输入命令：余一则为奇数。

程序显示：所以等号右边为奇数。

此时“奇数X奇数=奇数”证明完毕。

6.2 MB, 下载次数: 0, 下载积分: 体力 -2 点

售价: 10 点体力 [记录] [购买]

作者: 柠檬草lll 时间: 2020-3-19 16:00
不错不错

作者: 柠檬草lll 时间: 2020-4-19 10:06
发表回复谢谢分享

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)