最新四章人工智能逻辑ppt课件

- 第四章 人工智能逻辑 - 第一节 引言一、逻辑是重要的形式工具3、Leibnitz 注：现代数理逻辑主要研究内容为：逻辑运算、证明论、公理集合论、递归论、模型论。 4