查询词典 expressibility
- 与 expressibility 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Intuitionists can accept expressibility of formal system and recursive functions, but will deny any concept of truth outside provability of first order arithmetic.
本文引入了直觉主义的思想，对维特根斯坦的评论进行了新的解读，指出哥德尔证明中所基于的一阶算术的解释是模糊的。
-
This computing model has good properties (e.g., confluence and termination) and powerful expressibility, and by using it certain non termination problems can be solved and more parallelism can be exploited.
但在实际应用中，通常的项重写系统有时不能很好地解决某些问题，试举一例：文献［1］给出了一个基于重写方法的程序开发系统，在这一系统中，可通过引入优化规则来实现用户的特
- 推荐网络例句
-
"Second Life is remarkably easy to work with, and is very popular,"
"第二次生命是显着容易的工作，并且很受欢迎，"
-
For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.
为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。
-
Rev. 20:15 And if anyone was not found written in the book of life, he was cast into the lake of fire.
启二十15 无论谁在生命册上不见是记著的，就被扔在火湖里。