| 无限集合的有限子集理论的等价转化 |
| |
| 引用本文： | 陈国龙.无限集合的有限子集理论的等价转化[J].淮北煤炭师范学院学报(自然科学版),2000(2). |
| |
| 作者姓名： | 陈国龙 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学开放研究实验室!北京100080，淮北煤炭师范学院计算机科学与技术系，淮北235000 |
| |
| 摘 要： | 利用Ehrenfeucht博奕 ,证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的
|
| 关 键 词： | 计算复杂性 Ehrenfeucht博奕 初等等价 |
Elementary Conversion of the Theory for all the Finite Subset of Finite Set |
| |
| CHEN Guo,long.Elementary Conversion of the Theory for all the Finite Subset of Finite Set[J].Journal of Huaibei Coal Industry Teachers College(Natural Science edition),2000(2). |
| |
| Authors: | CHEN Guo long |
| |
| Abstract: | Using Ehrenfeucht game,we prove that the theory for all finite subset of infinite set is elementary equivalent to that of natural number set. |
| |
| Keywords: | computational complexity Ehrenfeucht game elementary equivalent |
| 本文献已被 CNKI 等数据库收录！ |
