 全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多   second-order logic 的翻译结果: 查询用时：0.218秒 在分类学科中查询 所有学科 自动化技术 更多类别查询 历史查询  second-order logic 二阶逻辑(3)  二阶逻辑
 It applies these results to prove the decidability of certain related monadic second-order logic(S1S and S2S). 使用博弈思想可以比较容易地证明一元二阶逻辑(S1S和S2S)的可决定性。 短句来源 In this paper propdsitionalLogic, first-order predicate logic, second-order logic, modal logic, temporal logic, dynamic Logic, fuzzy logic, non-monotonic logic,combinatory logic and A-calculus, etc, are briefly introduced. The interrelations among the above-mentioned logic and their applications to compute science, especially to artificial intelligence, are discussed. 本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。 短句来源 F. P. Ramsey discovered that when second-order logic is applied to a scien-tific theory(T) which contains a finite number of axioms, the theoretical terms in T can be removed. F·P·Ramsey(拉姆西)发现,应用二阶逻辑对一个有有限数目公理的科学理论T而言,T中的理论性词项可以被消除。 短句来源 相似匹配句对
 Second . 二、破自造论。 短句来源 Second, the s 第二章:追寻一个普通读者的阅读过程，寻找对诗集的戏剧性的体验。 短句来源 The second is B-spline. 第二种采用B样条函数法； 短句来源 On Order 秩序微言 短句来源 The Logic of Election 选举的逻辑 短句来源 查询“second-order logic”译词为用户自定义的双语例句

我想查看译文中含有：的双语例句  second-order logic
 Subjectivist PD is a quantified second-order logic of action. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege's Axiom V. One recurring criticism of Hintikka has been that Hintikka'ssupposedly new logic is equivalent to a system of second-order logic, and henceis neither novel nor first-order. Modal Deduction in Second-Order Logic and Set Theory - II Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. 更多 Kim B. Bruce gave a system of axioms lor second order logic L(Q). H. J. Keisler presented a system of axioms for infinilary logic. This article gives a system of axioms and model theory for infinitary second order logic ZWIW(Q), based on the combination of both ideas of the systems and application of the consistency property; proves the model existence theorem and completeness theorem in Lw1w(Q). Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。 Kim B.Bruce gave a system of axioms for second order logic L(Q).H.J.Keisler in 1977 published a book called 《Model Theory for Infinitary Logic》 to give a system of axioms for infinitary logic. This article combines the two ideas of the two systems of axioms, applying the consistency property introduced by the book 《Model Theory for Infinitary Logic》 to give a system of axioms and model theory for infinitary second order logic Lw1w(Q). This part of the article is mainly the proofs... Kim B.Bruce gave a system of axioms for second order logic L(Q).H.J.Keisler in 1977 published a book called 《Model Theory for Infinitary Logic》 to give a system of axioms for infinitary logic. This article combines the two ideas of the two systems of axioms, applying the consistency property introduced by the book 《Model Theory for Infinitary Logic》 to give a system of axioms and model theory for infinitary second order logic Lw1w(Q). This part of the article is mainly the proofs of omitting type theorem for Lw1w (Q) and prime model theorem for Lw1w(Q). Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。 In this paper propdsitionalLogic, first-order predicate logic, second-order logic, modal logic, temporal logic, dynamic Logic, fuzzy logic, non-monotonic logic,combinatory logic and A-calculus, etc, are briefly introduced.The interrelations among the above-mentioned logic and their applications to compute science, especially to artificial intelligence, are discussed. 本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。 << 更多相关文摘 相关查询

 CNKI小工具 在英文学术搜索中查有关second-order logic的内容 在知识搜索中查有关second-order logic的内容 在数字搜索中查有关second-order logic的内容 在概念知识元中查有关second-order logic的内容 在学术趋势中查有关second-order logic的内容

 CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索 2008 CNKI－中国知网 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社