go top

back and forth method

  • 来回法:在数理逻辑中,特别是集合论和模型论中,来回法是一种用于证明满足指定条件的可数无穷结构之间同构的方法。特别地,它可以用来证明。

双语例句权威例句

  • Back and forth method is a new tool in study of model theory and its application.

    向前向后方法模型及其应用研究中的一个新的工具

    youdao

  • Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.

    向前向后方法模型及其应用研究中的新的工具本文使用向前向后方法,对模态逻辑两个定理构造了一种简单证明

    youdao

  • The IBM software engineers working on Lotus collaborative software have devised an ingenious method for replicating data on the fly back and forth between a Domino database and an Outlook PST file.

    从事Lotus协作软件方面IBM软件工程师们已经设计出了一个具有独创性方法用于动态地Domino数据库Outlook PST文件之间来回复制数据

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定