世界上最早的启发式程序逻辑理论家证明了数学名著

单身玩暧昧 1个月前 已收到1个回答 举报

奔放不羁 3星

共回答了345个问题采纳率:98.6% 评论

世界上最早的启发式程序逻辑理论家"LT1ogicTheorist逻辑理论家证明了数学名著《数学原理》一书第二章52个定理中的38个定理 开发了最早的下棋程序之一。

德国启蒙思想家 莱布尼茨(1646—1716)是德国自然科学家、哲学家、唯理论者、数理逻辑的创始人。他的主要著作有《形而上学谈话》、《人类理智新论》、《神正论》、《单子论》等。

3小时前

49
可能相似的问题

热门问题推荐

Copyright © 2024 微短问答 All rights reserved. 粤ICP备2021119249号 站务邮箱 service@wdace.com