“第四章 人工智能起源”版本间的差异

来自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]


高级读者

  • Wikipedia:Logic [6]
  • Wikipedia:Mathematical Logic [7]
  • George Bool, The laws of thought [8]
  • Bertrand Russell, The principles of mathematics [9]
  • 黎景辉, 形式系统和数学 [10]
  • 计算机起源的数学思想 [11]
  • 陈嘉映:谈谈弗雷格 [12]