水木社区手机版
首页
|版面-C程序设计语言(CProgramming)|
新版wap站已上线
展开
|
楼主
|
同主题展开
|
溯源
|
返回
上一篇
|
下一篇
|
同主题上篇
|
同主题下篇
主题:Re: 极小的小数是打印不出来的吧?
milksea
|
2023-12-07 02:38:35
|
证明是逻辑推理不是简单计算。辅助推理证明的计算机语言也有,比如coq,lean,证明这个序列发散都没问题。
【 在 b0207191 的大作中提到: 】
: 所以在计算机上怎么用编程证明
:
:
: ...................
--
FROM 117.172.56.*
上一篇
|
下一篇
|
同主题上篇
|
同主题下篇
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版