| 0－1律研究中的局部化方法 |
| |
| 引用本文： | 田启家,沈复兴.0－1律研究中的局部化方法[J].北京师范大学学报(自然科学版),1994(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(1). |
| |
| Authors: | Tian Qijia Shen Fuxing |
| |
| Institution: | 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 等数据库收录！ |
