说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 初始谓词
1)  initial predicate
初始谓词
2)  elementary predicate
初等谓词
3)  primitive recursive predicate
原始递归谓词
4)  predicates [英]['predikit]  [美]['prɛdɪkɪt]
谓词
1.
Based on analyzing the relationship between domains of Visual Prolog and data types of C language,calling conventions of predicates and functions are discussed,a way to program with Visual Prolog and Visual C++ is presented,and a code example for this method is demonstrated in detail.
分析了V isual Prolog论域与C数据结构的对应关系以及函数、谓词的调用约定,讨论了V isual Prolog与V isual C++进行混合编程的实现方法,并通过二者相互调用的代码演示了该方法,从而将VC与V isual Prolog的优势有效的结合起来,使智能应用的开发简单而高效。
2.
This paper discusses the context and syntax of embedded if-questions appearing as arguments of noninterrogative predicates like "admit", ect.
谓词对从句补语有语义上的要求。
5)  predicate [英]['predɪkət]  [美]['prɛdɪkɪt]
谓词
1.
Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
2.
Selectivity estimation of predicate is important information of database.
谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。
3.
One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 。
6)  initial [英][ɪ'nɪʃl]  [美][ɪ'nɪʃəl]
最初的,词首的,初始的
补充资料:初始
初始(或写作始初,8年十一月)是西汉时期孺子婴的第2个年号,也是他的最后一个年号,共计1个月。初始元年十二月王莽即位,建立新朝,以初始元年十二月朔癸酉为正月之朔,改元始建国,西汉灭亡。

《资治通鉴》写作“始初”,《汉书·王莽传》作“初始”。居延汉简则也是“初始”,另外有出土记为初始元年的文物。

中央研究院之两千年中西历转换将初始元年十一月作西元8年12月17日。初始年号终结于9年1月14日。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条