|
|||||
|
|
| 《数学机械化》中组集合完备化定理的改进研究 | |
| 引用本文： | 于健,蒋鲲.《数学机械化》中组集合完备化定理的改进研究[J].大庆师范学院学报,2010,30(3):72-73. |
| 作者姓名： | 于健 蒋鲲 |
| 作者单位： | 1. 大庆师范学院科研处,黑龙江,大庆,163712 2. 黑龙江大学教务处,黑龙江,哈尔滨,150080 |
| 摘 要： | 对科学出版社吴文俊先生所著《数学机械化》中的定理4.1.27的充分性进行了讨论,给出了一个新结果,这个结果改进了原定理的结论。 |
| 关 键 词： | 数学机械化 集合 完备化 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |