英德
有道
百度
谷歌
图片
维基
百科
构造性证明 [gòu zào xìng zhèng míng]
[数] constructive proof
- 主要讨论了收敛级数的子级数和集的结构，得到了绝对收敛的子级数和集的一些有价值的性质，并首次给出了它的构造性证明。
In the paper, a major goal of the research on the set of the sum of sub series of convergent series is to investigate its structure. - 给出了图象分形压缩映射存在性的一个构造性证明，并应用在图象编码中。
This paper presents an existent and constructive proof of image fractal compression mappings and application in fractal image coding. - 通常情况下，我们很难确定一段给定的程序是否符合它的规范，程序提取是一种从构造性证明中提取函数式程序的机制，其构造特性很好地保证了生成程序的正确性。
Program extraction is a mechanism that one can automatically extract a functional program from a constructive proof, which by its very construction is correct as well.
 |
 |
 |
 |
 |
 |
 |
中国词汇量第二的英语词典
更多精彩，登录后发现......
