查询词典 symbolic logic
- 与 symbolic logic 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Atom propositions are the basic unit of symbolic logic.
原子命题是数理逻辑研究的基本单位。
-
These remind one ever so much of tortuous university lectures in symbolic logic on a warm spring day.
这些对人影响很大,很多学校开展了形体逻辑的讲座,大受欢迎。
-
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题,从数理逻辑的角度出发,建立了一个形式化模型。
-
Actually, how to integrate the interrelation of the sets into symbolic logic is extremelly fantastic and worthy of further research.
如何将集合论中的集合间关系与数理逻辑结合起来,这是一个值得研究也很有趣的问题。
-
Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
虽然符号逻辑已经长大了,在随后的几十年相当大,这本书仍然是经典之作。
-
A system of symbolic logic devised by George Boole; used in computers.
乔治·布尔发明的符号逻辑;用在电脑上。
-
An operation that follows the rules of symbolic logic.
依据数理逻辑法则进行的操作或运算。
-
It includes symbolic logic, set theory, graph theory and algebra system.
本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。
-
George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
-
Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.
在分析了框架元模型组成元素的基础上,应用面向领域的特征模型的方法,对构件模型组织结构进行统一的抽象和描述,并用命题逻辑公式来表示构件之间的逻辑关系和语义约束;用UniCon语言给出了扩展点及其依赖关系的表示方式;最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。
- 推荐网络例句
-
Life. But the intrinsic way of the Internet by wire confines accessing and using of the network information.
然而,Internet固有的有线连接方式大大限制了人们对网络信息的访问和使用。
-
I have a strong persuasion that this is true .
我坚信这是正确的。
-
Baby One More Time, outfitted her in full Catholic-school regalia, and sent her well on the way to becoming an international sex symbol.
宝贝再一次,她的配备充分天主教学校雷加里亚,并给她很好的道路上成为国际性的象征。