概述波斯特封闭类与离散谓词系统的研究成果,提出这类研究中的新问题和应用前景。
This paper reviews Post closed classes and the achievements in research on the discrete predicative systems, puts forward new questions and and applicable prospects of the research.
被慢性消化系统疾病的和其他健康问题困扰的波斯特尝试过许多次只有小小成效的治疗。
Bedeviled by chronic digestive disorders and other health problems, Post tried a number of "cures" with little success.
应用推荐