请选择 进入手机版 | 继续访问电脑版

QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 533|回复: 3

[代码资源] 让机器模仿做证明题的代码!非常有意思!

[复制链接]
字体大小: 正常 放大
madio        

3万

主题

1257

听众

4万

积分

  • TA的每日心情
    奋斗
    2020-8-9 08:01
  • 签到天数: 1925 天

    [LV.Master]伴坛终老

    数学中国顾问团

    自我介绍
    数学中国站长

    社区QQ达人 邮箱绑定达人 优秀斑竹奖 发帖功臣 风雨历程奖 新人进步奖 最具活力勋章

    群组数学建模培训课堂1

    群组数学中国美赛辅助报名

    群组Matlab讨论组

    群组2013认证赛A题讨论群组

    群组2013认证赛C题讨论群组

    发表于 2020-3-17 08:48 |显示全部楼层
    |招呼Ta 关注Ta |邮箱已经成功绑定
    相关实验:
    【模仿学习】计算机学习求导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奇数=奇数”证明完毕。
    " |5 u' \  |9 M" d+ X2 ~5 f) E: A
    ; ^8 e0 \/ F0 u; x7 @# @$ p0 {( E* c

    模仿学习做证明题(Release).rar

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

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

    zan
    数学建模社会化

    0

    主题

    1

    听众

    97

    积分

    升级  96.84%

  • TA的每日心情
    慵懒
    2020-5-25 19:07
  • 签到天数: 2 天

    [LV.1]初来乍到

    群组2019美赛冲刺课程

    回复

    使用道具 举报

    0

    主题

    1

    听众

    97

    积分

    升级  96.84%

  • TA的每日心情
    慵懒
    2020-5-25 19:07
  • 签到天数: 2 天

    [LV.1]初来乍到

    群组2019美赛冲刺课程

    回复

    使用道具 举报

    0

    主题

    1

    听众

    97

    积分

    升级  96.84%

  • TA的每日心情
    慵懒
    2020-5-25 19:07
  • 签到天数: 2 天

    [LV.1]初来乍到

    群组2019美赛冲刺课程

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2020-8-9 13:26 , Processed in 0.529288 second(s), 71 queries .

    回顶部