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

来自cslt Wiki
跳转至: 导航搜索
第10行: 第10行:
 
*维基百科:逻辑 [http://aigraph.cslt.org/courses/04/logic.pdf][http://aigraph.cslt.org/courses/04/logic_en.pdf]
 
*维基百科:逻辑 [http://aigraph.cslt.org/courses/04/logic.pdf][http://aigraph.cslt.org/courses/04/logic_en.pdf]
 
*维基百科:数理逻辑[http://aigraph.cslt.org/courses/04/数理逻辑.pdf][http://aigraph.cslt.org/courses/04/Mathematical_logic.pdf]
 
*维基百科:数理逻辑[http://aigraph.cslt.org/courses/04/数理逻辑.pdf][http://aigraph.cslt.org/courses/04/Mathematical_logic.pdf]
 +
*百度百科:三段论[https://baike.baidu.com/item/%E4%B8%89%E6%AE%B5%E8%AE%BA%E6%8E%A8%E7%90%86?fromtitle=%E4%B8%89%E6%AE%B5%E8%AE%BA&fromid=630350]
 +
*百度百科:亚里士多德[https://baike.baidu.com/item/%E4%BA%9A%E9%87%8C%E5%A3%AB%E5%A4%9A%E5%BE%B7/26769][http://aigraph.cslt.org/courses/04/aristotle.mp4]
 
*Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [https://kknews.cc/news/5o6j6l.html]
 
*Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [https://kknews.cc/news/5o6j6l.html]
 
*George Bool [http://aigraph.cslt.org/courses/04/bool200-2.mp4][http://aigraph.cslt.org/courses/04/George-Boole.mp4][http://aigraph.cslt.org/courses/04/bool200.mp4][http://aigraph.cslt.org/courses/04/bool-life.mp4]
 
*George Bool [http://aigraph.cslt.org/courses/04/bool200-2.mp4][http://aigraph.cslt.org/courses/04/George-Boole.mp4][http://aigraph.cslt.org/courses/04/bool200.mp4][http://aigraph.cslt.org/courses/04/bool-life.mp4]

2022年7月28日 (四) 06:58的版本

教学资料


扩展阅读

  • 百度百科:逻辑 [2]
  • 维基百科:逻辑 [3][4]
  • 维基百科:数理逻辑[5][6]
  • 百度百科:三段论[7]
  • 百度百科:亚里士多德[8][9]
  • Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [10]
  • George Bool [11][12][13][14]
  • 德国伟大的逻辑学家:弗里德里希·路德维希·戈特洛布·弗雷格 [15]
  • 百度百科:阿尔弗雷德·诺思·怀特黑德[16]
  • 百度百科:伯特兰·阿瑟·威廉·罗素[17]
  • 百度百科:大卫·希尔伯特[18]
  • 维基百科:大卫·希尔伯特[19][20]
  • 百度百科:库尔特·哥德尔[21]
  • 维基百科:库尔特·哥德尔[22][23]
  • 什么是图灵机 [24][25]
  • ENIAC计算机[26][27][28]


高级读者

  • George Bool, The laws of thought [29]
  • Bertrand Russell, The principles of mathematics [30]
  • 黎景辉, 形式系统和数学 [31]
  • 计算机起源的数学思想 [32]
  • 陈嘉映:谈谈弗雷格 [33]