mathematical semantics 中文意思是什麼

mathematical semantics 解釋
數學語義
  • mathematical : adj 數學（上）的，數理的；嚴正的，精確的。 mathematical instruments 制圖儀器。 mathematical logic...
  • semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學；語義學派。
  1. Domain theory provides the mathematical foundation for denotation semantics of computer program languages. it is characterized by the close connection between order and topology, which makes it the common study field of both computer experts and mathematicians. weight, character and density are generally called cardinal functions

    一種domain范疇要成為某種語言的語義學模型其基本條件是笛卡爾閉的，因而研究domain范疇的笛卡爾閉性或者說尋找笛卡爾閉的domain范疇就自然成了domain理論中一個十分基本的問題。
  2. The formal semantics of rt - z, based on the denotation semantics of z and timed csp, is a prerequisite for preciseness and mathematical rigour

    Rt - z的語義基於z和timedcsp ，這是它具有正確性和數學嚴格性的基礎。
  3. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on uml models for system validation

    但uml的缺點是難以直接用數學工具對uml模型進行檢驗，另外uml在語義方面也存在一些不足。
  4. Meanwhile, the semantics of syntactical structure, constraint condition and super activity graph were discussed. this idea defined the formal semantics appropriate for work flow for super activity graph and completed the establishment of the mathematical model of work flow. apart from that, the executive algorithm of the activity graph in the formal semantics of work flow activity graph were put forward

    同時對活動超圖的語法結構、約束條件及活動超圖的語義進行了討論，並為活動超圖定義了適用於工作流模型的形式化語義，從而完成工作流數學模型的建立，提出了工作流活動圖形式化語義中活動圖的執行演算法。
分享友人
分享到 Line

分享到臉書