人工智能通识-高一上- 人工智能的起源：数理逻辑.pptx

第一章人工智能的起源;第三节数理逻辑;理解形式逻辑的基本概念，掌握亚里士多德的三段论及其在推理中的作用和局限性。

认识四位数字化的历史意义，了解霍布斯、莱布尼茨、布尔等人的贡献，特别是布尔代数的基本理论。

认识数理逻辑的建立过程，了解弗雷格、罗素、希尔伯特、哥德尔等人对逻辑体系完善的贡献；

思考人工智能的核心目的，理解“模拟人的思维能力”这一研究初心及其面临的挑战。

;哈佛大学校训：“LetPlatobeyourfriend,andAristotle,butmoreletyourfriendbeTruth.”

吾爱吾师，吾更爱真理

;亚里士多德（公元