查询词典 classical 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.

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

Using the logic in Excel spreadsheets in a server application without the "traditional" need to recode this logic in a programming language.

在服务器应用程序中的电子表格上运用逻辑--不需要使用&传统的&方法，即用编程语言重新编

Using the logic in Excel spreadsheets in a server application without the "traditional" need to recode this logic in a programming language.

在服务器应用程序中的电子表格上运用逻辑--不需要使用&传统的&方法，即用编程语言重新编写这些逻辑代码。

Liang Qi-chao,Hu Shi and Shen You-ding applied western logicto compare Mo-jing logic and made Mo-jing logic refound.

梁启超、胡适、沈有鼎等人通过研究西方逻辑，从而用来比较研究墨经逻辑，才使墨经逻辑重新被发现。

It is the environment of financial management to decide the change of other elements and it is the financial management objectives as the logic starting point element and the basic clue is the financial management practice activity, so that it can put the tight logic relation of them in order, and construct the new financial management theoretical system after " entry to WTO", which have certain innovative. Secondly, this paper analyses the changes of each elements according to our countrys circumstances, which have certain comprehensive. Thirdly, this paper adheres to unition of theory and practise, and demonstrates in terms of the conditions in our country, which have guidance meaning to the financial management practice.

首先，本文对&入世&后我国企业财务管理理论构成元素进行界定，共包括十二个元素，确定变动点元素是财务管理环境、逻辑起点元素是财务管理目标、基本线索是财务管理实践活动，从而理清它们之间相丘联系和伯互依存的严密逻辑关系，建立新的企业财务管理理论框架，具有一定的创新性；其次，本文结合我国加入＊后的具体国情，对我国企业财务管理理论创新重点进行深入浅出的分析，具有一定的前瞻性：再次，本文坚持理沦性与实践性的统一，立论及论证都紧扣我国的实际情况，对实践有一定的指导意义。

Its main objectives include compensation for the consequences of handicap, participation in the general life of society, notably guaranteeing the accessibility of the established framework and integration by education and employment, and finally the substitution of an administrative logic by a service logic, placing the handicapped person at the centre of system concerning him: information, freedom to choose a life plan, simplification and rationalisation of procedures, etc.

它的主要宗旨包括报偿为障碍，参与的后果社会一般生活，显达地保证可及性这个被建立的框架和综合化由教育和就业，和最后行政逻辑的代替人由服务逻辑，安置残疾人人在系统中心关于他：信息，自由选择生活计划，规程的简单化和合理化，等

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？