数理逻辑:谓词逻辑(14)Lowenheim定理
2012-08-30 20:25
274 查看
相关文章推荐
- 数理逻辑:公理化算术(14)可计算谓词和项的几个例子
- 数理逻辑:谓词演算(14)skolem范式
- 数理逻辑:谓词演算(15)Skolem定理
- 数理逻辑:公理化算术(11)递归谓词
- 数理逻辑:谓词演算(16)马尔采夫定理
- 数理逻辑:谓词逻辑(13)Skolem函数
- 数理逻辑:公理化算术(12)递归谓词的其他形成方法,有限量词
- 数理逻辑:谓词演算(17)广义完备性
- 数理逻辑:谓词演算(5)谓词演算的无矛盾性
- 数理逻辑:谓词演算(18)不含量词的谓词演算公式
- 数理逻辑:谓词演算(19)Godel完全定理
- 数理逻辑:谓词逻辑(0) 目录及说明
- 数理逻辑:谓词逻辑(2)量词
- 数理逻辑:谓词逻辑(1)谓词(俄汉对照)
- 数理逻辑:谓词演算(6)狭义完备性问题
- 数理逻辑:谓词逻辑(3)谓词的集合论意义
- 数理逻辑:公理化算术(2)恒等谓词和个体函数的性质
- 数理逻辑3 -- 形式数论14
- 数理逻辑:谓词演算(目录)
- 数理逻辑:谓词演算(7)谓词演算的某些形式定理