“第四章 人工智能起源”版本间的差异
来自cslt Wiki
| 第18行： | 第18行： | ||
*Wikipedia：Mathematical Logic [http://aigraph.cslt.org/courses/04/Mathematical_logic.pdf] | *Wikipedia：Mathematical Logic [http://aigraph.cslt.org/courses/04/Mathematical_logic.pdf] | ||
*George Bool, The laws of thought [https://archive.org/details/THELAWSOFTHOUGHTGeorgeBoole/page/n1/mode/2up] | *George Bool, The laws of thought [https://archive.org/details/THELAWSOFTHOUGHTGeorgeBoole/page/n1/mode/2up] | ||
| + | *Bertrand Russell, The principles of mathematics [https://archive.org/details/principlesofmath005807mbp/page/n5/mode/2up] | ||
*黎景辉, 形式系统和数学 [https://xw.qq.com/cmsid/20211209A061M400] | *黎景辉, 形式系统和数学 [https://xw.qq.com/cmsid/20211209A061M400] | ||
*计算机起源的数学思想 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c] | *计算机起源的数学思想 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c] | ||
*陈嘉映：谈谈弗雷格 [https://www.bilibili.com/read/cv2028861/] | *陈嘉映：谈谈弗雷格 [https://www.bilibili.com/read/cv2028861/] | ||
2022年7月28日 (四) 05:55的版本
教学资料
扩展阅读
- 百度百科：逻辑 [2]
- 维基百科：逻辑 [3]
- Stephen Wolfram（赖信涛）乔治·布尔二百周年：数理逻辑奠基者其人其事 [4]
- 德国伟大的逻辑学家：弗里德里希·路德维希·戈特洛布·弗雷格 [5]
