以LST定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点。
How the results of model theory work as logical and inference tools by example-LST theorem is explained.
结论：类比思维在认识新事物、解决新问题的过程中，或者以简单的道理说明抽象事理的过程中，都发挥着重要的思维工具作用。
CONCLUSION: Analogous thinking plays an important role as thinking tool in the process of recognizing new things and solving new problems, or explaining abstract affair with simple reasons.
我们尤其可以从这个工具对当时妇女生活起到的作用中看到它们的社会影响。
One way in particular that we can see the social impact of this instrument is its role in the lives of women of the time.
我们很难忽视社交媒体作为一种审查工具的作用。
她表示自己意识到很多人不想吃转基因作物，但她正在推进每种可用的工具，直到其中一种发挥作用。
She says she is aware that plenty of people do not want to eat genetically modified crops, but she is pushing ahead with every available tool until one works.
效率系统和工具的作用（像GTD）就是为了帮助我们做我们想做的事情。
The role of productivity systems and tools (like GTD)are just helping us do what we need to do.
得到结果是不同种类的解决方案、不同的作用和来自工具的不同的期望。
The consequence is different kinds of solutions, different roles, and different expectations from the tooling.
从生活中获得作品也是绘画的宝贵工具，虽然生活的作用常常被误解。
Working from life is a valuable tool in painting too, though its role has often been misunderstood.
事实上，它们发生在不可知的[2]未来，传统用来捕获它们动态特点的工具不起作用。
In fact, they operate in an unknowable [2] future and traditional tools to capture their dynamics do not apply.
但是不要烦躁，通过《生活黑客》的努力和帮助，我们已经能够应对这种网瘾，能让这些工具发挥它们应有的作用。
Don't fret though, with hard work, discipline, and the help from Lifehack, we can beat this addiction, and use these tools the way they were intended.
我认为：架构作为将策略转换为实践的重要工具，其作用越来越突出。
Consider it: the role of architecture as a crucial tool to put strategy into practice is becoming more and more prominent.
那么音乐便可以成为让人摆脱忧郁或起到镇静作用的工具。
Then music could be a tool for pulling someone out of depression or calming them down.
联合募捐不仅是为了筹集资金，而且起到促进更有效计划和管理的一种机构间战略工具的作用。
These consolidated appeals are not just a request for funds. They operate as an inter-agency strategic instrument for more efficient planning and management.
但这一工具也有其负面作用，它将每个人都变成一个全副武装的狗仔。
But the same tools have a dark side, turning everybody into a fully equipped paparazzo.
一旦拥有了良好的过程，一个好的工具将会使其发挥最大的作用。
Once the right process is in place, a good tool will make it fly.
布拉格教授早年在印度开始接受培训，他认为在这两个国家里电影作为教学工具的作用都被低估了。
The professor, who began his training in India, is convinced that movies remain under-valued as teaching tools in both countries.
各类干预和控制工具可能继续在金融与银行市场发挥作用。
Financial and banking markets are likely to continue to be subject to various tools of intervention and control.
样式表已经确立了自身作为一种非常通用的工具的地位，它的作用不只是呈现XML文档以进行显示，还可以自动生成新文档。
Stylesheets have established themselves as a very general-purpose tool, not just for rendering XML documents for display, but for automatically generating new documents.
目标是帮助你发掘正确途径的有效工具，但是他的作用只能在你糟糕透顶的现状中体现出来。
Goals can be great tools to help you cultivate a perfect path, but they're only effective inasmuch as they help you to experience an incredibly awesome present.
当然，大部分P 2V工具的作用远不止仅执行单机迁移。
Of course, most of these P2V tools are more than you need for single-machine migration.
热爱你的英语录音带，最大程度地发挥这一极好的学习工具的作用吧！
Love your English tapes. Make the most of this wonderful learning tool!
现在，您对OCAP 的作用和实现您的想法所需的工具已有所了解。
You now have a taste of what is possible with OCAP and the tools you need to create whatever you wish.
支持Web 2.0的内容管理工具的作用正在变得清晰起来。
The role of Web 2.0-enabled content-management tools is becoming clear. Here's an example of what I mean.
Profiling是一个非常有用的优化代码的工具，但是它的作用是判断问题的位置；它并不能真正指出潜在的问题是什么，以及如何解决这些问题。
Profiling is a useful tool for optimizing code, but all it does is identify the potential location of the problem; it doesn't actually point out what the potential issue is or how to resolve it.
第二个挤压方法是followme，该方法与SketchUp的 followme工具的作用是一样的。
The second extrusion method is followme, which serves the same purpose as SketchUp's followme tool.
穆斯塔法说，网络疗法能够起到教育工具的帮助作用，但也警告：“这样你却无法跟一位专家交谈，找出失眠根源。”
Online therapy can be helpful as an educational tool, says Mostafavi, but he cautions, "You don't have the benefit of talking to a professional and finding out what is causing the insomnia."
dojotype属性的作用是使dojo工具箱以一种特定的方式管理此标记。
The dojoType attribute causes the dojo toolkit to manage the tag in a special way.
$INFORMIXDIR/bin目录中的 Perl脚本 (w4glc)是在W4GL 工具背后起作用的工具。
The Perl script (w4glc) located in the $INFORMIXDIR/bin directory is the worker behind the scenes of W4GL tool.
$INFORMIXDIR/bin目录中的 Perl脚本 (w4glc)是在W4GL 工具背后起作用的工具。
The Perl script (w4glc) located in the $INFORMIXDIR/bin directory is the worker behind the scenes of W4GL tool.
应用推荐