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

人工智能的起源：数理逻辑教学设计

一、教学目标

1.理解形式逻辑的基本概念，掌握亚里士多德的三段论及其在推

理中的作用和局限性。

2.认识四位数字化的历史意义，了解霍布斯、莱布尼茨、布尔等

人的贡献，特别是布尔代数的基本理论。

3.认识数理逻辑的建立过程，了解弗雷格、罗素、希尔伯特、哥

德尔等人对逻辑体系完善的贡献；

4.思考人工智能的核心目的，理解“模拟人的思维能力”这一研

究初心及其面临的挑战。

二、教学重难点

1.教学重点：人工智能的起源，数理逻辑的基本概念和原理，以

及数理逻辑在人工智能中的应用。

2.教学难点：理解数理逻辑与人工智能之间的联系，以及数理逻

辑如何为人工智能提供理论基础。

三、教学方法

讲授法、讨论法、案例分析法、多媒体演示法相结合。

四、教学过程

1.课堂导入（2min）

（1）通过提问引发学生兴趣：“同学们，你们听过哈佛大学校

训：“LetPlatobeyourfriend,andAristotle,butmoreletyour

friendbeTruth.”和吾爱吾师，吾更爱真理的名言吗？然后，引

出亚里士多德。

2.新知讲授（