查询词典 provability

Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.

R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

In accordance with the requirements of the hearsay evidence rule, the survey notes recording the integrator's investigation results do not have consequent provability , only the investigation officer as witness in the trial accepts questioning and anti-questioning and assure that the investigation transcript was made on the basic of right observation and awareness, can the transcript be used as evidence.

根据传闻证据规则的要求，记录刑侦人员勘验调查结果的笔录，不具有当然的证据能力，只有该勘验，侦查人员在庭审时作为证人接受询问和反询问，并陈述确实系他根据正确的观察和认识而制作成的，才能作为证据使用。

The study continued previous studies of image segmentation. It brought many kinds of interpretative knowledge of different land-use type and image processing tools together and found out why image segmentation can not be fully automated. During the process of study, repeated provability and enhancement of the original theoretic framework were also be done well.

本研究延续以往对区格化研究的成果，搜集各种不同地物类型的判释知识及与区格化相关之影像处理工具，以系统实作的方式，深入了解区格化未能达到完全自动化的瓶颈所在，并於实作过程中反覆对前人所提之理论架构进行验证及补强。

ALSAB adopts Maximum A Posteriori provability estimation and Expectation-Maximization algorithm to estimate the weight parameters of LSA,and ALSAB employs incremental learning to decrease accumulative effect caused in continuous update with considering that the probability of uncommon words decreases in continuous update.

ALSAB采用最大后验概率估计与期望值最大算法对概率LSA模型参数进行有效的估计，在充分考虑多次更新中不常用字词概率参数降低问题的前提下，采用增量学习方法降低多次更新产生的累积效应。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。