| 单词 | 逻辑学 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 释义 | 逻辑学 adjective —logic adjSee also:逻辑—logic (loanword) 逻 adj—logic adj 逻 n—patrol n 辑—edit • collect • gather up
|
他的作品还包括经文注释、灵修文、道德论集 、 逻辑 、 科 学 、 诗歌和幽默故事。 wdl.org | His works also included commentaries on scripture, devotions, [...] moral treatises, logic, the sciences, poetry, and [...]humorous stories. wdl.org |
TRIPS 理事会在 TRIPS 中规定可以延长最不发达国家的过渡期，尽管我们的论点认为将它 延伸至更广泛的低收入发展中国家将更 有 逻辑学。 iprcommission.org | In TRIPS there are provisions made for the extension of the transitional period for LDCs by the TRIPS Council, although the logic of our argument applies to a wider range of low income developing countries.16 We think that TRIPS would be improved by utilising these provisions to take greater account of the special needs of LDCs. iprcommission.org |
对于哲学家和逻辑学家而言，“使用”和“提到”这两个术语通常只适用于词语、表达式、公式等等，这样当一个表达式的使用是指当它(语用地)出现在指称透明的语境中，因而它对其所处整体的语义贡献来自关于它所命名、表征，描述或意指的事实(即是说来自它的语义值)，而一个表达式之被提到是当它(语用地)出现在引号中或以其它方式作为另一个表达式的对象或语义值。 ageofsignificance.org | For philosophers and logicians: The terms ‘use’ [...] and ‘mention’ are normally taken to be applied only to words, expressions, [...]formulae, etc., with an expression being used when it occurs (paradigmatically) in a referentially transparent context, so that its contribution to the semantic value of the whole in which it exists as a part derives from facts about what it names, represents, describes or denotes (i.e., from its semantic value), whereas an expression is mentioned when (paradigmatically) it occurs within quotation marks or in some other way is that object or semantic value of another. ageofsignificance.org |
手稿没有编页码，但是现在的第一页应该是原来对开页的第11页，一些页丢失了，因此第一部著作，基督教论战文的一部分被截短了，而新的一部著作开始了：Isagoge, [...] or Introduction to Logic(逻辑学定义和它的构成的介绍)。 wdl.org | The manuscript is without foliation, but before what would now be folio 11v, some folios are missing, so that the first work, part of a Christian polemical [...] text, is cut short and a new work begins: Isagoge, or [...] Introduction to Logic (Al-muqaddima fī [...]ta’rīf al-manṭiq wa-ajzā’ihi). wdl.org |
格雷戈里的Illiberis西班牙人在西班牙南部，是现在才开始受到应有的，因为答Wilmart大教堂在1908年恢复的重要，所谓他 “ 逻辑 哲 学 论 Or igenis德Libris的党卫军。 mb-soft.com | The Spaniards Gregory of Illiberis, in Southern Spain, is only now beginning to receive his due, since Dom A. Wilmart restored to him in 1908 the important so-called "Tractatus Origenis de libris SS. mb-soft.com |
他早期的工 作是数学，后来，他的科学活动主要是 数 学逻辑 和 信 息科学。 unesdoc.unesco.org | His early contributions were in mathematics and later he devoted his scientific activity [...] to mathematical logic and computer science. unesdoc.unesco.org |
学者们承认这个新的记数的逻辑和科 学 价 值 ，但发现它太笨重，不可行。 mb-soft.com | Scholars admit the logic and scientific worth [...] of this new numeration, but find it too unwieldy and impracticable. mb-soft.com |
逻辑的奖学金是 有人输有人胜，不可避免地会在某些时候是赢家和输家。 zh-cn.iniciantenabolsa.com | The logic of the scholarship is for someone [...] loses someone wins, inevitably you will be the winner and the loser at some point. en.iniciantenabolsa.com |
每当我不懂如何应用所学知识的时候，我的老师的指导始终理解和遵循课 程 学 习 的 逻辑 ， 对我 的 学 习 很 有帮助。 cn.lsbf.edu.sg | While it was not always easy to apply what I learnt, my tutors’ advice to always [...] understand and follow the logic in my course of study helped greatly. lsbf.edu.sg |
我爱《伦理学》的逻辑：他通过“命题”、“定义”、“注释”和“推论”组成的严密逻辑读来气势磅礴，引人入胜。 shanghaibiennale.org | I love “Ethics” for its logic: to follow his implacable logic through [...] the “Proposition”, “Definition”, “Scholium” and “Corollary” [...]– is a moment of absolute intensity and never ending beauty. shanghaibiennale.org |
是一个被应用于辩论术的哲学术语 ，它运 用 逻辑 、 推 理来证明或反驳某一真理。 12manage.com | A philosophical term applied to methods of debate or argumentation that seek to prove or disprove the truth of something by the rules of logic or the laws of [...] reasoning. 12manage.com |
它是学习数字逻辑 和 FPGA 的理想工具。 altera.com.cn | It is an ideal [...] vehicle for learning about digital logic and FPGAs. altera.co.uk |
在艺术创作中，“沉浸”特指来自建立于人机交互和虚拟现实等科技之上，在三维环境中创作的虚拟艺术，引导观看者深度进入并体验以 美 学 － 科技 为 逻辑 与 表 达，并在计算机科学环境中创作的艺术作品。 shanghaibiennale.org | In the artistic field, IMMERSION specifically refers to Virtual Art, very often in a three dimensional environment, using interactivity and [...] Virtual Reality (VR) to immerse the viewer into a computer art world [...] based on aesthetic-technological logic and expression. shanghaibiennale.org |
此外，同样是据我的经验，那些原本接受计算机科学、计算机工程和/或计算实践(即编程)训练的人比那些 受 逻辑 或 数 学 训 练 的人较容易倾向于可计算性约束的具体或物理主义解释，而后者倾向于认为计算效力的构成性概念不只是被抽象地建模，而是原本或本体上就是抽象的。 ageofsignificance.org | In addition, those originally trained in computer science, computer engineering, and/or computational practice (i.e., programming) are [...] more liable—again, in my [...] experience—to lean towards a concrete or physicalist interpretation [...]of the computability constraints [...]than those trained in logic or mathematics, with the latter tending to view the constitutive notion of computational efficacy not only as abstractly modeled but as (ab)originally or ontically abstract. ageofsignificance.org |
硬盘格式化过程格式化高水平低水平间隔表格式划分小学 中 学 物 理 逻辑 间 隔表 datadoctor.biz | Formatting process of hard disk drive [...] high level low level formatting partitions table physical format [...] partitioning primary secondary logical partitions table datadoctor.biz |
与缓存池不同的是， 逻辑分区 对操作系统是透明的，可用于安装操 作系统或者保存其他要求高速低延迟访问的 [...] 数据。 adaptec.com | The logical partition, unlike the [...] cache pool, is exposed to the operating system, and can be used to install an OS to it [...]or store other data that requires fast, low-latency access. adaptec.com |
此 外，就建议中所称“切实了解学习成 果是提高教育质量的必要条件”，更合 乎 逻辑 的 观 点或 许正好相反，即要更好地懂得应该追求什么样 的 学 习 结 果以及如何去测量这些结果，就需要 切实了解优质教育的本质。 unesdoc.unesco.org | Furthermore, with regard to the claim in the [...] recommendation that “solid knowledge of learning outcomes is necessary to improve quality of education”, it would be more logical to affirm the reverse, namely, that solid knowledge [...]of what constitutes [...]quality education is what is needed for a better understanding of what learning outcomes should be desired and how they should be measured. unesdoc.unesco.org |
这些会议讨论了诸如以下的问题：听众--用户的连接、内容/技术构架 、逻 辑框架 、管理和推销、管理和培训、编辑方针、以及培训。 unesdoc.unesco.org | These meetings discussed such issues as audience-user [...] interface; contents/technical [...] architecture; logical framework; management and marketing; management and training; editorial principles; [...]and training. unesdoc.unesco.org |
咨询委员会回 [...] 顾，多年来发展账户管理和行政得到了改善和加强，包括规定为期四年的项目实 施周期，必须按照全面逻辑框架 提交详细项目文件并提交最终评价报告，以及设 [...] 立指导委员会和能力发展办公室，重新设计网站，改进基于互联网的协调，使各 方更容易了解项目信息和扩大影响(A/64/7，第十三.6-十三.7 段)。 daccess-ods.un.org | The Advisory Committee recalls that the management and administration of the Development Account have been improved and strengthened over the years, including the institution of a four-year project implementation cycle, mandatory [...] submission of detailed project documents based [...] on comprehensive logical frameworks and final [...]evaluation reports, the establishment [...]of the Steering Committee and the Capacity Development Office, and the redesign of the website for improved Internet-based coordination and greater accessibility to project information and impact (A/64/7, paras. XIII.6-XIII.7). daccess-ods.un.org |
对于调整条款草案结构的建议，特别报告员认为，目前继续以 A/CN.4/618 [...] 号文件所载的修订的工作计划为基础开展工作为更好；一旦所有条款草案拟订完 毕，那时候以连贯和有逻辑的方式调整整个条款草案的结构比较合适。 daccess-ods.un.org | Concerning the proposal aimed at restructuring the draft articles, the Special Rapporteur was of the view that it would be better, at this stage, to continue working on the basis of the revised workplan contained in document A/CN.4/618; once all the draft articles had [...] been elaborated, it would be appropriate to restructure, [...] in a coherent and logical way, the whole set [...]of draft articles. daccess-ods.un.org |
国立大学法人东北大学（总校长：里见进/以下简称东北大学）节能自旋电子学集成系统中心的大野英男（Oono hideo）中心主任的小组与日本电气株式会社（以下简称NEC）等共同受到了日本学术振兴会的资助，进行了最尖端研究开发支援项目“节能自旋电 子 学逻辑 集 成 电路的研究开发”。 tohoku.ac.jp | A research group of Professor Hideo Ohno of Center for Spintronics Integrated Systems and Research Institute of Electrical Communication of Tohoku University together with NEC Corporation (NEC) developed a standby-power-free spintronics-based large-scale integrated circuit (LSI) using a nonvolatile magnetic tunnel junction (MTJ), a spintronic device. tohoku.ac.jp |
欧盟拒绝这样的说法，即，存在一个有待填 补的逻辑空当 ，并请大家指出已查明了哪些空当以及为查明这些必要的补充标准 使用了什么方法。 daccess-ods.un.org | The European Union rejected the notion that there was a legal vacuum to be filled and invited delegations to state which gap had been identified and what methods had been used to identify these necessary complementary standards. daccess-ods.un.org |
因此由于《协议》有关缓期期限的标准范围十分广泛，以公共健康为理由 为单独授予某一领域缓期期限是十分不 合 逻辑 的。 iprcommission.org | It is not therefore very logical to grant an extension for one sector on the grounds of public health to a specific future date, when the criteria under TRIPS for granting extensions are far more broadly based. iprcommission.org |
买方，如果他确定他的身份，有权向卖方索取有关的个人资料，证实关于他的或不受到这种待遇，信息加工用途，个人资料的处理和类别的受助人或受助会员国类别该等资料披露，在适当的转移，个人资料数据认为注定非欧洲共同体，数据通信在个人可访问的形式到有关他的任何现有资料的来源及其信息，要知道，挑 战 逻辑 在 自动处理决定的基础上，采取个人及其和生产方面的法律效果探讨。 zh.horloger-paris.com | The Buyer, if he establishes his identity, has the right to question the Seller to obtain confirmation that personal data concerning him are or are not subjected to this treatment, information on for purposes of processing, the categories of personal data processed and the recipients or categories of recipients to whom the data are disclosed, where appropriate, information on transfers of personal data considered destined for a non-member State European Community, the communication in an accessible form of personal data concerning him and any available information on the [...] origin thereof, of information to know [...] and challenge the logic- the automatic processing [...]where a decision taken on the basis [...]thereof and producing legal effects in respect of the individual. en.horloger-paris.com |
这个世界亟需从“我和我的”这种死亡和恐怖 的 逻辑 ， 转 变成 “我们和我们的”这种团结、热爱生命和和平 的 逻辑。 daccess-ods.un.org | The world desperately needs for us to move [...] away from the logic of “I and mine”, which is the logic of death and terror, towards the logic of “We and ours”, which is the logic of solidarity, life [...]and peace. daccess-ods.un.org |
至于可做到查出近似匹配的查询逻辑 ， 一 般认为，虽然现代查询算法在设 计上可限制近拟匹配的数量，但这种设计带来例如下列问题：(a)并非所有近似 [...] 匹配的通知都查出来，因为需要解决如何定义“近似匹配”这个复杂问题，并 且由此会导致法律上的不确定性；(b)近似匹配的通知列表可能很长，这种情况 [...] 有可能导致再作查询和对使用者造成高昂的费用及对登记处造成行政管理负 担；(c)允许查询结果查出近拟匹配可能会造成负面影响，不明确什么构成一项 登记有效所需的充分的设保人身份识别标志（见《担保交易指南》建议 58）。 daccess-ods.un.org | As to a search logic that would allow [...] close matches to be retrieved, it was generally thought that, while modern search [...]algorithms could be designed to limit the number of close matches, such design presented problems, such as the following: (a) not all closely matching notices would be retrieved, as it required addressing a complex question of defining “close matches” and resulted in legal uncertainty; (b) the list of closely matching notices could be long, a fact that might lead to additional searches and result in high fees for the user and administrative burden on the registry; (c) allowing search results to retrieve close matches might have a negative impact on what constituted a sufficient grantor identifier for a registration to be effective (see recommendation 58 of the Secured Transactions Guide). daccess-ods.un.org |
例如：美国法 律在极大程度上限制将公共筹资搞出的技术为国民颁发特许权，因此这条政策的 科 学 和经 济逻辑较为不清楚。 iprcommission.org | For instance the law in the US restricts for the most part the licensing of publicly financed technologies to nationals, a policy for which the scientific and economic logic is less clear.59 Much of the technology transfer agenda goes well beyond our brief but we think the following measures need to be seriously considered iprcommission.org |
利用IT优势：尽管很多矿业公司表示出创新的意愿，但它们在利用如数据分析法等后端技术、或并购结束之后有效整合不同技术平台方面却未能成功。为了在降低成本的同时改善运营，它们应当重新审视其IT策略，并且考虑投资可编 程 逻辑 控 制 器（PLC）、检测控制和数据采集（SCADA）系统、制造执行系统（MES）、商业智能系统、数据分析法以及高级制造系统。 deloitte.com | At the IT edge: Despite demonstrated willingness to innovate, many mining companies fail to leverage back-end technology, such as data analytics or properly integrating disparate technology platforms following an M&A. To improve operations while reducing costs, they should revisit [...] their IT strategies and consider investing [...] in programmable logic controllers (PLCs), [...]supervisory control and data acquisition [...](SCADA) systems, manufacturing execution systems (MES), business intelligence systems, data analytics and advanced manufacturing systems. deloitte.com |
无论如何，查询人员必须了解究竟哪 一个查询逻辑为官方逻辑，也 就是说，对于电子登记处而言，究竟应当选择哪 一个按钮或在哪一栏填入正确的身份识别特征登记系统才能自动适用查 询逻 辑。 daccess-ods.un.org | In any case, a searcher must know [...] which search logic is official, that is, in the case of an electronic registry, which button to select or in which field to enter the correct identifier and then the registry system will apply the search logic automatically. daccess-ods.un.org |
英汉双解词典包含2273206条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。