让机器模仿做证明题的代码！非常有意思！
相关实验：【模仿学习】计算机学习求导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奇数=奇数”证明完毕。不错不错
发表回复谢谢分享
发表回复谢谢分享
页:
[1]