论坛 › 电脑技术 › 计算机能将数学推理自动化

大白兔 发表于 2025-1-10 19:42:51

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

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

大白兔 发表于 2025-1-10 20:49:07

我学过数字电路，basic语言

子汉 发表于 2025-1-11 05:16:49

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

我电脑很菜。:)

可怜的病患 发表于 2025-4-7 21:32:41

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

你不喜欢电脑吗？

子汉 发表于 2025-4-10 20:36:20

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

不怎么喜欢。

查看完整版本: 计算机能将数学推理自动化