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

来自cslt Wiki
跳转至: 导航搜索
第19行: 第19行:
 
*维基百科:库尔特·哥德尔[http://aigraph.cslt.org/courses/04/kurt-godel.pdf][http://aigraph.cslt.org/courses/04/kurt-godel-en.pdf]
 
*维基百科:库尔特·哥德尔[http://aigraph.cslt.org/courses/04/kurt-godel.pdf][http://aigraph.cslt.org/courses/04/kurt-godel-en.pdf]
 
*什么是图灵机 [https://zhuanlan.zhihu.com/p/33288542][https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/turing-machine/one.html]
 
*什么是图灵机 [https://zhuanlan.zhihu.com/p/33288542][https://www.cl.cam.ac.uk/projects/raspberrypi/tutorials/turing-machine/one.html]
*ENIAC计算机[https://baike.baidu.com/item/ENIAC/431133][https://www.bilibili.com/video/BV1tS4y1w7oB/]
+
*ENIAC计算机[https://baike.baidu.com/item/ENIAC/431133][https://www.bilibili.com/video/BV1tS4y1w7oB/][http://aigraph.cslt.org/courses/04/eniac.mp4]
  
  

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

教学资料


扩展阅读

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


高级读者

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