数理逻辑难度_应用数理逻辑,applied mathematical logic,音标,读音,翻译,英文例句,英语词

  本文关键词：应用数理逻辑，由笔耕文化传播整理发布。

您的位置：首页 -> 词典 -> 应用数理逻辑

1)  applied mathematical logic

应用数理逻辑

2)  application logic

应用逻辑

1.

As the workflow technology will separate the application logic and process logic of the work flow and can change the system function by changing the process model under the basis of not changing the specific functional implementation,thus the integrated management of work flow process can be entirely or partially achieved.

采用工作流技术构建软件项目管理系统的架构,通过Windows Workflow Foundation技术把系统业务流程的应用逻辑和过程逻辑分离,在不修改具体功能模块的情况下,只需修改过程模型即可改变系统功能,从而实现对系统业务流程的过程化的集成管理。

2.

Application logic layer was established in lower layer frame, function module was described with metadata file.

在低层框架上构建应用逻辑层,并用元数据文件描述模块功能。

3.

The application logic of the investigation hypothesis includes the following: analyzing whether the investigation hypothesis is reasonable, whether the deduction is enough, whether the confirmation or the falsification have sufficient reasons, and so on.

侦查假设的应用逻辑包括分析侦查假设的提出是否合理,推演是否充分,证实或证伪是否有充足的理由,推理形式是否科学,以及如何正确看待侦查假设的可能性与客观世界实然性的矛盾关系等。

更多例句>>

3)  Applied Logic

应用逻辑

1.

Their opinions concern formal logic theory, applied logic theory and jurisprudential theory.

归纳起来,主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。

更多例句>>

4)  Logic application

逻辑应用

例句>>

5)  mathematical logic

数理逻辑

1.

By means of the language of mathematical logic the invariance of Hamilton principle under canonical transformation is expressed and proved.

用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性，并给以证明。

2.

In the fields of mathematical logic and computer science this system is applied to the medium modal logic and the base of MILL,a medium language of program.

在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设语言，，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。

3.

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础。

更多例句>>

6)  symbolic logic

数理逻辑

1.

Metamathematics is a subject on symbolic logic,which focuses on the mathematics discrepancy.

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 。

2.

By illustrating logical reference,natural language formalization,mathematics proposition formalization and dynamic system behaviour,the paper presents the methods of knowledge representation and concrete examples in symbolic logic.

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理,是人工智能产生和发展的最重要的基础。

3.

Zheng s researched on Zeng Marquis Bell was a good example of for researching the music cultural relic from the viewpoint of symbolic logic,therefore,it was also an excellent instance to use the symbolic logic to the archeology.

本文通过对郑荣达先生《试探先秦双音编钟的设计构想》一文之“双音编钟音位设计的逻辑思维”的解读,认为郑荣达先生对曾侯乙钟之编制所做的探究,堪称以数理逻辑的视角对音乐文物进行研究的典范,因而其无疑是数理逻辑作用于考古学的绝好例证。

更多例句>>

补充资料：应用

①使用：应用方法｜理论应用于具体实践。②具有实用价值的：应用文｜基础理论和应用技术同样重要。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

  本文关键词：应用数理逻辑，由笔耕文化传播整理发布。