逻辑化

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

It holds that graphic simplification method is still practically applicable for simplifying high variable logical function.

本文观点与此不同，认为图形法对于高变量逻辑函数的化简仍然具有实用价值，同时提出了用图形法化简高变量逻辑函数的具体方法。

On the design of algorithms, a novel exact hierarchical delay analysis method for general circuits is proposed; based on the sensitization theorem for sequential circuits, an exact minimizing clocking method is proposed; based on Boolean process, a waveform simulation method considering interconnecting delay for logic circuit and a parallel waveform simulation method are proposed; a new method that transforms bit-level waveform polynomial to word-level polynomial model is proposed; a multiple valued synthesis algorithm based on multiple valued Boolean process and a wire-centered delay synthesis policy are proposed, in which timing planning, floorplanning, wire planning and optimal clock skew in early design are considered; a two-layers channel routing method for minimizing crosstalk under grid mode is proposed; based on the transition numbers theorems for waveform polynomial, a new method for generation of test with noise effects is proposed.

算法设计方面，提出了一种精确的通用电路层次化延时分析方法；基于时序电路的敏化定理提出时序电路最小时钟周期精确确定方法；提出基于Boolean过程论的考虑互连延迟的逻辑电路波形模拟方法，在分析了波形模拟适合并行化基础上，进一步提出一种并行波形模拟算法；提出一种将位级电路波形多项式描述转化成字级多项式描述的新方法；提出一种基于多值Boolean过程的多值电路综合算法以及一种将前期设计定时规划、前期设计的布局规划和线网结构化方法及低偏移的时钟分配等技术相结合的面向互连延时的综合策略；提出一种串绕最小化的网格模式下的双层通道布线方法；从波形多项式描述跳变数的定理出发提出了一种考虑噪声效应的测试生成新方法。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

It concludes that Quine's philosophy has notescaped the captivity of scientism,however,he tried to integrate pragmatism andlogical positivism.As a result,Quine made logical positivism turn from anarrow and rigid empiricism to a pragmatistic one.The pragmatistic positivismwas soon accepted by many philosophers and preluded to new pragmatism.

认为，尽管蒯因哲学在科学认识论问题上尚未完全脱离科学主义的囚禁，但他在语言哲学的理论框架下把实用主义与逻辑实证主义结合到一起，使逻辑实证主义从一种过于狭隘、过于僵硬的经验主义过渡到一种实用主义的、约定论的经验主义，这种实用主义化了的逻辑实证主义很快为人们接受并成为新实用主义兴起的序幕

In Russell's opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.

他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。

In fact, most interactive story experiences built to date have either been highly episodic (generally those narrative experiences built by the game industry, e.g., adventure games), have employed a hypertextual logic of association rather than a logic of dramatic probability and causality (generally those experiences built by fine artists and writers), or have focused on story not as a highly structured experience created by an author for consumption by an audience, but rather as a shared social construction facilitating human communication (e.g., multiuser worlds such as MUDs, MOOs,and avatar spaces ; massive multiplayer games such as Everquest and Ultima Online ; and games such as Purple Moon's Rocket series or Will Wright's The Sims).

实际上，目前大多数的互动故事经验都是高度段落化的（一般这些故事性体验来自于游戏产业，例如，冒险游戏），有意或无意使用超文本的组成逻辑而不是戏剧的逻辑（一般这种体验都由艺术家和作家营造）；聚焦到一个并非由作家为观众消费而创造的高度结构化的故事上，而是一种社团式的共同创造的公共结构（例如多用户系统 MUDs， MOOs 或者替身空间；大型多用户游戏 Everquest 和 Ultima Online ；或者 Purple Moon 公司的 Rocket 系列、 Will Wright 公司的 The Sims 游戏）。

Marx s theory of city criticism is mainly about the philosophized critical analysis of a pedigree chart of city problems in the light of interaction between city and capital in the time of capital globalization .

马克思恩格斯把市民社会批判和资本化大生产批判作为城市批判的内在逻辑，把两大阶级之间的社会冲突问题，居住正义问题，城乡对立问题，生产和消费的关系问题等等作为市民社会批判和资本化大生产批判这种内在逻辑的外在表现，从而勾画出一幅完整的城市批判理论的图画。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。