“第四章 人工智能起源”版本间的差异
来自cslt Wiki
（→扩展阅读） |
|||
| 第8行： | 第8行： | ||
*百度百科：逻辑 [https://baike.baidu.com/item/%E9%80%BB%E8%BE%91/543] | *百度百科：逻辑 [https://baike.baidu.com/item/%E9%80%BB%E8%BE%91/543] | ||
| − | *维基百科：逻辑 [http://aigraph.cslt.org/courses/04/logic.pdf][http://aigraph.cslt.org/courses/04/ | + | *维基百科：逻辑 [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%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] | ||
| 第21行： | 第21行： | ||
*维基百科：库尔特·哥德尔[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] | ||
| − | |||
==视频展示== | ==视频展示== | ||
2023年8月8日 (二) 07:07的版本
教学资料
扩展阅读
- 百度百科：逻辑 [2]
- 维基百科：逻辑 [3][4]
- 维基百科：数理逻辑[5][6]
- 百度百科：三段论[7]
- 百度百科：亚里士多德[8]
- Stephen Wolfram（赖信涛）乔治·布尔二百周年：数理逻辑奠基者其人其事 [9]
- 德国伟大的逻辑学家：弗里德里希·路德维希·戈特洛布·弗雷格 [10]
- 百度百科：阿尔弗雷德·诺思·怀特黑德[11]
- 百度百科：伯特兰·阿瑟·威廉·罗素[12]
- 百度百科：大卫·希尔伯特[13]
- 维基百科：大卫·希尔伯特[14][15]
- 百度百科：库尔特·哥德尔[16]
- 维基百科：库尔特·哥德尔[17][18]
- 什么是图灵机 [19][20]
视频展示
