本文關(guān)鍵詞：應(yīng)用數(shù)理邏輯，由筆耕文化傳播整理發(fā)布。

您的位置：首頁(yè) -> 詞典 -> 應(yīng)用數(shù)理邏輯

1)  applied mathematical logic

應(yīng)用數(shù)理邏輯

2)  application logic

應(yīng)用邏輯

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.

采用工作流技術(shù)構(gòu)建軟件項(xiàng)目管理系統(tǒng)的架構(gòu),通過(guò)Windows Workflow Foundation技術(shù)把系統(tǒng)業(yè)務(wù)流程的應(yīng)用邏輯和過(guò)程邏輯分離,在不修改具體功能模塊的情況下,只需修改過(guò)程模型即可改變系統(tǒng)功能,從而實(shí)現(xiàn)對(duì)系統(tǒng)業(yè)務(wù)流程的過(guò)程化的集成管理。

2.

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

在低層框架上構(gòu)建應(yīng)用邏輯層,并用元數(shù)據(jù)文件描述模塊功能。

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.

偵查假設(shè)的應(yīng)用邏輯包括分析偵查假設(shè)的提出是否合理,推演是否充分,證實(shí)或證偽是否有充足的理由,推理形式是否科學(xué),以及如何正確看待偵查假設(shè)的可能性與客觀世界實(shí)然性的矛盾關(guān)系等。

更多例句>>

3)  Applied Logic

應(yīng)用邏輯

1.

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

歸納起來(lái),主要有形式邏輯分支論、應(yīng)用邏輯分支論和理論法學(xué)分支論3種。

更多例句>>

4)  Logic application

邏輯應(yīng)用

例句>>

5)  mathematical logic

數(shù)理邏輯

1.

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

用數(shù)理邏輯的語(yǔ)言表述了哈密頓原理及其在正則變換下的不變性，并給以證明。

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.

在數(shù)理邏輯以及計(jì)算機(jī)科學(xué)領(lǐng)域已發(fā)展了中介模態(tài)邏輯以及ＭＩＬＬ等中介程序計(jì)設(shè)語(yǔ)言，，但對(duì)作為程序計(jì)設(shè)語(yǔ)言之邏輯基礎(chǔ)之一的中介模態(tài)邏輯的自動(dòng)推理理論與實(shí)現(xiàn)的研究還很不夠。

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.

命題邏輯是一個(gè)以命題為基本研究對(duì)象的數(shù)學(xué)化的邏輯系統(tǒng),命題邏輯是數(shù)理邏輯的基礎(chǔ),也是計(jì)算機(jī)科學(xué)與技術(shù)的理論基礎(chǔ)。

更多例句>>

6)  symbolic logic

數(shù)理邏輯

1.

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

元數(shù)學(xué)是一門(mén)數(shù)理邏輯方面的學(xué)科 ,其主要研究對(duì)象是數(shù)學(xué)本身的矛盾性問(wèn)題 。

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.

數(shù)理邏輯是一種基于命題與謂詞分析的形式化的語(yǔ)言及其推理,是人工智能產(chǎn)生和發(fā)展的最重要的基礎(chǔ)。

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.

本文通過(guò)對(duì)鄭榮達(dá)先生《試探先秦雙音編鐘的設(shè)計(jì)構(gòu)想》一文之“雙音編鐘音位設(shè)計(jì)的邏輯思維”的解讀,認(rèn)為鄭榮達(dá)先生對(duì)曾侯乙鐘之編制所做的探究,堪稱以數(shù)理邏輯的視角對(duì)音樂(lè)文物進(jìn)行研究的典范,因而其無(wú)疑是數(shù)理邏輯作用于考古學(xué)的絕好例證。

更多例句>>

補(bǔ)充資料：應(yīng)用

①使用：應(yīng)用方法｜理論應(yīng)用于具體實(shí)踐。②具有實(shí)用價(jià)值的：應(yīng)用文｜基礎(chǔ)理論和應(yīng)用技術(shù)同樣重要。

說(shuō)明：補(bǔ)充資料僅用于學(xué)習(xí)參考，請(qǐng)勿用于其它任何用途。

  本文關(guān)鍵詞：應(yīng)用數(shù)理邏輯，由筆耕文化傳播整理發(fā)布。