“逻辑”与“逻辑学” (1) -- 起源、定义、异同
从 Hinton 获得诺贝尔物理学奖引发的疑问
为什么软件工程师必须知道形式化方法?
OpenAI o1 的“昂贵推理”之用途?
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2026-2-27 15:18
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社