使用分解律的定理证明 theorem proving use of resolution
分解是使复杂问题变得易于处理的最常见的技术之一。
Decomposition is one of the most common techniques to make a complex problem tractable.
然而,基因活动使固有细菌的碳水化合物分解量增加。
However, the activity of genes that allow the native bacteria to break down carbohydrates did increase.
“流程视角”使事物简化,但工作分解的目标就只是如此。
The Transformational View simplifies, but then that’s the objective of work break down schemas.
We transition to actually real world applications later on like a compression-- how do you take a huge amount of data ; and actually whittle it down into something more manageable; something that uses less of your disk space.
然后我们会讲生活中的应用程序,比方说压缩文件——,把大量的数据分解使其更易管理;,并占用尽量少的磁盘空间。
应用推荐