当前位置:
王朝网络
>>
王朝百科
>> 自动定理证明
王朝百科
自动定理证明
王朝百科·作者佚名 2010-06-16
宽屏版
字体:
小
|
中
|
大
|
超大
自动定理证明 (ATP)目前是自动推理(AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。对于不同的数学逻辑,它能够推论出一个定理是正确的,还是不可证明的,或者错误的。
点击展开全文
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
热搜词条
·
银行存单
·
Edna St. Vincent Millay
·
失业网
·
总裁名人堂
·
齐鲁风采
·
伊泽德县
·
工作低迷期
·
独立县
·
亨普斯特德县
·
湖南农业大学园艺园林学院
©
2005-
王朝百科
版权所有