- 4
- 0
- 约2.27万字
- 约 33页
- 2026-04-21 发布于北京
- 举报
RepresentationUsingLogic
SchoolofElectronicandComputerEngineering
PekingUniversity
WangWenmin
目录
3.7.
7.1过程性方法与性方法
3.2五种不同的逻辑7.3.3逻辑符号7.
3.4命题逻辑与一阶逻辑7.3.5一阶逻
辑中的形成规则7.3.6Prolog语言
2
Contents
7.3.1Proceduralvs.DeclarativeApproaches
7.3.2FiveDifferentLogics
7.3.3
原创力文档

文档评论(0)