“第四章 人工智能起源”版本间的差异
来自cslt Wiki
| 第11行： | 第11行： | ||
*维基百科：数理逻辑[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] | ||
*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][http://aigraph.cslt.org/courses/04/George-Boole.mp4][http://aigraph.cslt.org/courses/04/ | + | *George Bool [http://aigraph.cslt.org/courses/04/bool200-2][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] |
*德国伟大的逻辑学家：弗里德里希·路德维希·戈特洛布·弗雷格 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c] | *德国伟大的逻辑学家：弗里德里希·路德维希·戈特洛布·弗雷格 [https://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c] | ||
*百度百科：阿尔弗雷德·诺思·怀特黑德[https://baike.baidu.com/item/%E9%98%BF%E5%B0%94%E5%BC%97%E9%9B%B7%E5%BE%B7%C2%B7%E8%AF%BA%E6%80%9D%C2%B7%E6%80%80%E7%89%B9%E9%BB%91%E5%BE%B7/1524703] | *百度百科：阿尔弗雷德·诺思·怀特黑德[https://baike.baidu.com/item/%E9%98%BF%E5%B0%94%E5%BC%97%E9%9B%B7%E5%BE%B7%C2%B7%E8%AF%BA%E6%80%9D%C2%B7%E6%80%80%E7%89%B9%E9%BB%91%E5%BE%B7/1524703] | ||
2022年7月28日 (四) 06:48的版本
教学资料
扩展阅读
- 百度百科：逻辑 [2]
- 维基百科：逻辑 [3][4]
- 维基百科：数理逻辑[5][6]
- Stephen Wolfram（赖信涛）乔治·布尔二百周年：数理逻辑奠基者其人其事 [7]
- George Bool [8][9][10][11]
- 德国伟大的逻辑学家：弗里德里希·路德维希·戈特洛布·弗雷格 [12]
- 百度百科：阿尔弗雷德·诺思·怀特黑德[13]
- 百度百科：伯特兰·阿瑟·威廉·罗素[14]
- 百度百科：大卫·希尔伯特[15]
- 维基百科：大卫·希尔伯特[16][17]
- 百度百科：库尔特·哥德尔[18]
- 维基百科：库尔特·哥德尔[19][20]
- 什么是图灵机 [21][22]
- ENIAC计算机[23][24][25]
