查询词典 sequential logic

He introduced Western logic and made research on the important work of Chinese pre-Qin logic, i.e Canon of Moism, with comparative method for the first time in logical history of Chinese modern times.

他的研究方法影响了同时代的以及后来的一大批研究墨学的中国学者，其后的墨学研究大都循着梁启超所开辟的这一方向深入发展。

In part two ,the author rethink the domestic research of logic of Moism in recent twenty years and summarize the achievement and defect .At the same time ,the author look forward to the research of Chinese logical history and logic of Moism ,and raise some questions

第二部分是对近二十年国内墨辩逻辑研究成果进行反思，总结当代学者研究的成就与不足，并对未来墨辩逻辑研究和中国逻辑史研究进行展望，提出应思考的一些问题。

The third part is about Liang Qichaos research of logic of Moism, he advanced Die Jing Biao Ti style of annotating Canon of Moism, and developed comparison among three kinds of Logic.

梁启超的这些成就和不足给我们的主要的启示是：首先，我们可以吸收他关于方法论的正确思想，在他不足的地方继续深入研究，以使我们的研究更具体全面。

He explained relevant clauses in Canon of Moism by referring to the theory of Western logic and Indian classical logic so that he could rather sufficiently revealed the logical meaning of many basic concept and propositions in Canon of Moism. Moreover his method had a great effect on the contemporary and following researchers of Chinese logical history.The fourth part is concluding remarks.

其次，正确运用逻辑方法深入地挖掘中国古代的逻辑思想，正确认识中国逻辑的特点，确立中正确认识中国逻辑的特点，确立中国古代逻辑在世界逻辑史上的地位，并通过中外逻辑思想的对比分析，找出我国逻辑科学发展中存在的问题及其原因，以推动我国逻辑科学的更大发展。

The work describes the progressing course of Indian Logic from Nyaya to Nyaya-Vaisesika with comparison with Buddhist logic.

本书首次从西方哲学方法立场来看待印度的逻辑学，并整理出印度古典哲学从宗教解脱论的目的出发，而寻求认识论来指导宗教实践的思想历程。

In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators.

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。

In Van Steenberghen's Epistemology, the related study is divided into pistémologie analytique ou descriptive and pistémologie Critique, while the study of logic is omitted here, for traditional study of logic has made a system of its own.

在汪斯坦博根所著的《知识论》中，主要将知识论研究区分成「分析或描写的知识论」（pistémologie analytique ou descriptive）与「批判的知识论」（pistémologie Critique）两大部分，至於逻辑研究的部分由於传统逻辑研究早已自成体系，故不再重复。

JSP/Servlet is an up-to-date technology of server side application using Java.Servlet is an application running on web servers which can efficiently handle differentweb operations. JSP implements separation between transaction processing logic andpage displaying logic. The combination of them can make a high performance, easilymaintenance, cross platformed dynamic system. They have tremendous advantages tovarious main developing technologies currently used.

JSP／Servlet技术是Java语言在服务器端应用的最新技术成果，Servlet是运行在万维网服务器端的程序，可以高效处理各种网络服务；JSP技术实现事务处理逻辑与页面显示逻辑的分离，二者的结合可以开发出高性能的、易维护的、跨平台的动态服务系统，与目前各种主要开发技术相比，具有无可比拟的优越性，是目前为止最先进的开发手段。

An analog prefilter;(2) an ADC;(3) a digital pulse shaper;(4) pulse selection logic;(5) histogram logic, and 6

波器；（2）模数转换器；（3）数字脉冲整形器；（4）脉冲选择逻辑单元；（5）条带逻辑

Following this logic, Nee (1989) argued that, as the political logic of redistribution is eroded by market mechanisms, returns to political capital declines and returns to human capital increase in the reform era, compared with the prereform era.

按照这个逻辑，倪认为，和前改革时期相比，当再分配的政治逻辑在改革时期被市场机制侵蚀时，对政治资本的依附下降，对人力资本的依附上升。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。