点击下载:北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.1)一阶谓词演算
正在加载图片...
例1(1) (1)π是无理数 解: 个体:π(代表园周率) 谓词:…是无理数,表示“π”的性质.1(1) (1) π . : : π ( ) :✲ , ✳ π✴ . 6
<<向上翻页
向下翻页>>
点击下载:北京大学:《离散数学》系列课程之三:《数理逻辑》第27章(27.1)一阶谓词演算
©2008-现在 cucdc.com 高等教育资讯网 版权所有