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

来自cslt Wiki
跳转至: 导航搜索
(以“==教学资料== *教学参考 *[http://aigraph.cslt.org/courses/04/course-04.pptx 课件] *小清爱提问:如何描述人的思维? [https://...”为内容创建页面)
 
高级读者
 
(相同用户的26个中间修订版本未显示)
第6行: 第6行:
  
 
==扩展阅读==
 
==扩展阅读==
*百度百科:人工智能 [https://baike.baidu.com/item/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD/9180]
 
*偃师造人[https://www.sohu.com/a/295627398_557768]
 
  
==演示链接==
+
*百度百科:逻辑 [https://baike.baidu.com/item/%E9%80%BB%E8%BE%91/543]
*人工智能谱曲: Google的Megenta项目,众多生成音乐的演示[https://magenta.tensorflow.org/]
+
*维基百科:逻辑 [http://aigraph.cslt.org/courses/04/logic.pdf][http://aigraph.cslt.org/courses/04/Logic_en.pdf]
*人工智能写小说: 彩云小梦[https://if.caiyunai.com/]
+
*维基百科:数理逻辑[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]
 +
*Stephen Wolfram(赖信涛)乔治·布尔二百周年:数理逻辑奠基者其人其事 [https://cloud.tencent.com/developer/article/1134229]
 +
*百度百科:弗里德里希·路德维希·戈特洛布·弗雷格[https://baike.baidu.com/item/%E5%BC%97%E9%87%8C%E5%BE%B7%E9%87%8C%E5%B8%8C%C2%B7%E8%B7%AF%E5%BE%B7%E7%BB%B4%E5%B8%8C%C2%B7%E6%88%88%E7%89%B9%E6%B4%9B%E5%B8%83%C2%B7%E5%BC%97%E9%9B%B7%E6%A0%BC/2094455]
 +
*百度百科:阿尔弗雷德·诺思·怀特黑德[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/%E4%BC%AF%E7%89%B9%E5%85%B0%C2%B7%E9%98%BF%E7%91%9F%C2%B7%E5%A8%81%E5%BB%89%C2%B7%E7%BD%97%E7%B4%A0/2131980]
 +
*百度百科:大卫·希尔伯特[https://baike.baidu.com/item/%E6%88%B4%E7%BB%B4%C2%B7%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9/7242382?fromtitle=%E5%A4%A7%E5%8D%AB%C2%B7%E5%B8%8C%E5%B0%94%E4%BC%AF%E7%89%B9&fromid=4723828]
 +
*维基百科:大卫·希尔伯特[http://aigraph.cslt.org/courses/04/大卫-希尔伯特.pdf][http://aigraph.cslt.org/courses/04/David_Hilbert.pdf]
 +
*百度百科:库尔特·哥德尔[https://baike.baidu.com/item/%E5%93%A5%E5%BE%B7%E5%B0%94/152476]
 +
*维基百科:库尔特·哥德尔[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]
  
==开发者资源==
+
==视频展示==
 +
 
 +
*天才简史:亚里士多德[http://aigraph.cslt.org/courses/04/aristotle.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]
 +
*ENIAC计算机[https://baike.baidu.com/item/ENIAC/431133][https://www.bilibili.com/video/BV1tS4y1w7oB/][http://aigraph.cslt.org/courses/04/eniac.mp4]
  
  
 
==高级读者==
 
==高级读者==
 +
 +
*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://www.aminer.cn/research_report/5f713fa1e8a87f775ad2145c]
 +
*陈嘉映:谈谈弗雷格 [https://www.bilibili.com/read/cv2028861/]

2023年8月8日 (二) 07:17的最后版本

教学资料


扩展阅读

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

视频展示


高级读者

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