| 0－1律研究中的局部化方法 |
| |
| 引用本文： | 田启家,沈复兴. 0－1律研究中的局部化方法[J]. 北京师范大学学报(自然科学版), 1994, 0(1) |
| |
| 作者姓名： | 田启家 沈复兴 |
| |
| 作者单位： | 北京师范大学数学系 |
| |
| 摘 要： | 对０－１律的研究提出了一种有别于以付的整体化方法的新方法，称之为局部化的方法，并证明了一个有关局部一整体的结论。
|
| 关 键 词： | 一阶逻辑；局部化；0－1律 |
THE LOCALIZATION IN STUDYING 0-1 LAWS |
| |
| Tian Qijia, Shen Fuxing.. THE LOCALIZATION IN STUDYING 0-1 LAWS[J]. Journal of Beijing Normal University(Natural Science), 1994, 0(1) |
| |
| Authors: | Tian Qijia Shen Fuxing. |
| |
| Affiliation: | Department of Mathematics.Beijing Normal University.100875.Beijing. PRC |
| |
| Abstract: | The method used in studying 0-1 laws can be considered as globalization.A new method was sketched out as localization and a result was proved that can be called local-global principle. |
| |
| Keywords: | first-order logic localization 0-1 laws |
| 本文献已被 CNKI 等数据库收录！ |
