计算机能将数学推理自动化

大白兔 · 发表于 2025-1-10 19:42:51| 字数 13

您需要登录才可以下载或查看，没有账号？立即注册

x

计算机能让数学的运用自动化

大白兔 · 发表于 2025-1-10 20:49:07| 字数 15

我学过数字电路，basic语言

子汉 · 发表于 2025-1-11 05:16:49| 字数 41

大白兔发表于 2025-1-10 20:49
我学过数字电路，basic语言

我电脑很菜。

可怜的病患 · 发表于 2025-4-7 21:32:41| 字数 33

子汉发表于 2025-1-11 05:16
我电脑很菜。

你不喜欢电脑吗？

子汉 · 发表于 2025-4-10 20:36:20| 字数 35

可怜的病患发表于 2025-4-7 21:32
你不喜欢电脑吗？

不怎么喜欢。