逻辑语言
网络释义专业释义
...网页-我的搜狐 关键词： 自然语言；逻辑语言；形式化描写；计算机认知 [gap=1299]Key words: natural language; logic language; formalarized description; computer cognition ...
基于66个网页-相关网页
... LOGLAN LOGical LANguage 逻辑语言（美国佛罗里达大学研制） LOGO LOGO程序语言 logo logo语语 ...
基于26个网页-相关网页
计算机通信工程英语词汇翻译 ... 逻辑工件名 logical job name 逻辑语言 logical language，LOGLAN 逻辑前导端 logical leading end ...
基于4个网页-相关网页
-
logical language - 引用次数：2 参考来源 - 基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
-
logical language - 引用次数：2
Part three: After extending the SBR, by introducing the execution of the action model in epistemic model as a dynamic operator into the logical language, this paper sets up a dynamic logic of belief revision (DBR).
第三部分:在静态的信念逻辑系统S_(SBR)基础上,将行动模型在认知逻辑中的执行作为动态模态算子引入逻辑语言中,建立动态的信念修正逻辑系统S_(DBR)。
参考来源 - 信念修正逻辑初探 -
logical language - 引用次数：1 参考来源 - 论罗素的摹状词理论及其理论困境
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
逻辑语言将逻辑用作其数学基础。
-
什么叫做谓项逻辑语言呢？
-
逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。
Nowadays, the paradigms, namely the object—oriented language and the logic programming language, are two attractive knowledge programming languages.
-
And So, we study different problems like recognizing faces or language or motor control or logic.
我们研究各种在行为过程出现的问题,诸如面孔识别,语言,运动控制,以及逻辑
-
And consequently, though I was trained as analytical philosopher and logic philosopher in language or that. When I was graduated I didn't do things that way.
因此，虽然我被训练成,分析哲学家和语言逻辑哲学家,当我是个本科生,我并不像科学哲学家那样行事。
-
So we talked about Mr. Bool briefly last week in this idea of true or false, but in C, you don't have a Boolean data type.
我们上周简短地谈论过Bool先生的,真假的逻辑思想，但是在C语言里，没有布尔数据类型。
应用推荐