查询词典 logic

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

As early as the early 1990s, conducting large-scale foreign Set text retrieval tests will be made on the field of automatic abstracting text structure analysis for information seized request area to enhance the retrieval accuracy, and have done a series of studies, presents a simple and effective logic of the division algorithm : TextTiling algorithm.

早在90年代初期，国外在进行大规模文本集合检索试验时就提出将自动文摘领域的文本结构分析应用于信息检索领域以提高检索精度，并对此进行了一系列研究，提出了一种简单有效的逻辑段划分算法：TextTiling算法。

Division this theorematic immanent logic and its extend the meaning, it is all-embracing it seems that.

科斯定理的内在逻辑及其引申，似乎是包罗万象的。

However, there exist some paradoxes in decision making logic, such as the Allais paradox and exchange paradox in expected utility theory, backward induction paradox and Gaifmann-Koons paradox originated from Newcomb problem in interactions, the famous Arrow voting paradox in group decision-making.

决策逻辑是社会科学的基础，然而在决策逻辑中存在悖论：不确定的概然决策中的期望收益理论面临阿莱斯悖论和"交换悖论"；互动决策中存在演绎性的逆向归纳法悖论，以及存在由纽柯姆难题改造而来的盖夫曼—孔斯悖论；群体决策中存在著名的阿罗悖论，等等。

For instance, you have the Allegro make that has its frame modeled upon the famous Ritchey Logic frame.

例如，你有快板使该模型有其框架里奇后，著名的逻辑框架。

The subject of the full text builds up and divides six major chapters together: Chapter 1 is the foreword, and has studied the current situation and refined and summarized to value and meaning of the selected title background of the thesis, selected title abroad synthetically; Chapter 2, have carried on science to define to the intension of responsibility and governments relevant concepts of responsibility, have explained that constructs the necessity of the responsibility government and realistic meaning; Chapter 3, ility the intension made of the responsibility has been carried on science solves and constructs, summarize the political function and basic principle of administration asking responsibility system, and the logic relation between administration asking and the responsibility government of the responsibility has been analysed scientifically; Chapter 4, has used the administrations of western countries for reference and administration asking responsibility system and high-ranking official asking system of Hong Kong area of our country and the successful experience, expect to the institutional improvement of the administration asking responsibility system of our country can be beneficial; The whole chapter 5, the current administration asking system of our country that has implemented the state and carried on objective analysis in responsibility system, have pointed out a series of questions and not complete places exposed in institutional improvement, and has carried on network analysis from two visual angles of the traditional political culture ecology and system factor aspect to the reason why the question emerges; Chapter 6, the responsibility system has carried on tentative countermeasure analysis and discussion in perfecting the administration of our country, separately from improving the environment of administration asking responsibility and reinventing the culture of administration asking responsibility, devoting more efforts to asking the responsibility in allosome, strengthen the related institutional improvement of administration asking responsibility system, etc.

全文主体架构共分6大章节：第1章为引言，对论文选题背景、选题价值与意义及国外内研究现状进行了综合提炼与概括；第2章，对责任和责任政府相关概念的内涵进行了科学界定，并阐述了构建责任政府的必要性和现实意义：第3章，对行政问责制的内涵进行了科学解构，概括了行政问责制的政治功能及其基本原则，并对行政问责制与建立责任政府的逻辑关系进行了科学分析；第4章，借鉴了西方国家行政问责制度及我国香港地区高官问责制的成功经验，以期对我国行政问责制度建设能有所裨益；第5章，对我国现行行政问责制度实施状况进行了客观分析，指出了在制度建设过程中暴露出来的一系列问题和不完善之处，并对产生这些问题的原因从传统政治文化生态及制度因素层面两个视角进行了系统分析；第6章，对健全和完善我国行政问责制度进行了尝试性的对策分析与探讨，分别从完善行政问责环境、重塑行政问责文化，加大异体问责的力度，加强行政问责制配套制度建设及行政问责制立法等角度提出了完善的措施和途径。

XYZ/E is a temporal logic system as well as a programming language.It can represent almost every kind of significant features in conventional imperative languages.

XYZ/E既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。

Our promise is to provide solutions for visual conference that::-Are platform and hardware independent - fully tested with best of breed hardware;-Include business logic such as billing or cost tracking and user management;-Integrate network resource management with rich features;-Support both alphabetic and character based languages;-Can be fully customized in a cost effective manner.

我们的目标是为用户提供简易而强大的网络通讯能力，承诺为用户提供以下视频会议解决方案：－摆脱对硬件和平台的依赖性；－提供包括帐单、成本跟踪和用户管理的商业逻辑；－将网络管理与丰富的使用功能整合在一起；－支持多种语言；－可根据客户的不同需要自由调整等。

Our promise is to provide solutions for visual conference that::-Are platform and hardware independent - fully tested with best of breed hardware;-Include business logic such as billing or cost tracking and user management;-Integrate network resource management with rich features;-Support both alphabetic and character based languages;-Can be fully customized in a cost effective manner. You are assured to work in a friendly and relaxed while highly systematic environment here.

我们的目标是为用户提供简易而强大的网络通讯能力，承诺为用户提供以下视频会议解决方案：－摆脱对硬件和平台的依靠性；－提供包括帐单、成本跟踪和用户治理的商业逻辑；－将网络治理与丰富的使用功能整合在一起；－支持多种语言；－可根据客户的不同需要自由调整等。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。