2.2形成期(1956年——1970年) 主要研究有以下几个方面: (1)心理学小组 1957年,逻辑理论机(Logic Theory Machine,LT) 的研制,该程序模拟人类用数理逻辑证明定理时的 思维规律,用它证明了《数学原理》中的38条定 理,开...
基于102个网页-相关网页
... Mental Logic Theory: 心理逻辑理论 logic theory machine: 逻辑推理机 LTM Logic Theory Machine: 逻辑理论机 ...
基于86个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress