以下为句子列表:
英文: Also, first-order predicate calculus isn't good enough anyway.
中文: 同时,从各方面来说,一阶谓词演算都不是足够好。
更详细...
英文: So anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language.
中文: 所以对于一个复杂对象,任何看起来需要一阶谓词演算才能描述的东西,实际都可以在编程语言范畴内实现十分精细地表述。
更详细...
英文: This is not expressible as a first-order predicate calculus property.
中文: 这就是一个一阶谓词演算不可表述的属性。
更详细...
|