模型论

四色定理和Ramsey定理基于模型论的证明

The Proofs of Four Colours and Ramsey Theorem s Based on Model Theory

LST定理与模型论方法&兼评新著《非标准分析概论》

LST Theorem and Methods of Model Theory ── Reviews : 《 An Introduction to Non-Standard Analysis 》

ATMS的模型论基础

On Model - theoretic foundations of the ATMs

中介时序逻辑系统MTL的模型论性质

The Model Characters of Medium Temporal Logic

以LST定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点。

How the results of model theory work as logical and inference tools by exam - ple-LST theorem is explained .

四色定理和Ramsey定理是图论中重要的定理，文章运用模型论中的紧致性定理、图象定理等将图论中的四色定理推广到无穷情形，并给出了Ramsey定理基于模型论方法的证明。

Four colours theorem and Ramsey theorem are very important theorems in graph theory . Exploiting compact theorem and diagram theorem , the paper extends four colours theorem to infinite case and introduces short proof for Ramsey theorem based on model theory method .

运用模型论证明微积分中的两个定理

Apply the model theory to proving the two theorems of calculus

原型模型论视角下的英语倒装句研究

Study of English Inversion from the Perspective of Prototype-model Theory

图论中的两个定理基于模型论方法的证明

The Proofs of two theorems in graph theory based on model theory method

连续模型论拥有很多经典模型论所拥有的重要性质。

Continuous model theory also preserves many key properties of classical model theory .

本文将模型论介绍为“可定义集的数学”。

We present Model Theory as the " mathematics of definable sets " .

从新古典增长模型论政策

On Policies According to Increasing Model of New-Classic

关于无限值格模型论的一点注记

A note on lattice - valued model theory

情境语义学对外延模型论和可能世界语义学的批判

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

格值模型论中的饱和模型

Saturated models in lattice & valued model theory

格蕴涵代数的模型论性质

On Model Properties of Lattice Implication Algebra

模型论逻辑与理论计算机科学

Model Theoretic Logic and Theoretical Computer Science

模型论中的拓扑学方法

The Topology 's Method in Model Theory

中介逻辑的模型论性质

Model Theoretic Properties of Medium Logic

犯罪构成模型论

Research on Crime Constitution Model

地图模型论是理论地图学研究中提出的一个重要理论。

The theory of map model is an important theory to be proposed by studies in theoretical cartography .

MV-代数是一种逻辑代数，它是国际著名模型论专家C。

MV-algebra is a kind of logic algebra , which has been introduced by the international famous model expert C.

它通过逻辑的观点，更进一步观察MV-代数的模型论性质。

It seems appropriate to take a further look at the model properties of MV-algebras by a logical point of views .

量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一。

The method of quantifier elimination has been one of the powerful tools in the computer science and algebraic model theory .

从消费行为模型论消费行为环保化的对策青年人服装消费心理与消费行为建模研究

About the Pattern of Consumption and Environment Protection ; Modeling Study of Young Men 's Clothing Consumption Psychology and Consumption Behaviors

扩充模型论是一种数学理论，在它的基础上我们实现了一种扩充模型论语言&EMTL。

The Extended Model Theory is a mathematical theory , on which an Extended Model Theory Language ( EMTL ) has been realized .

本文提出将模型论、仿真算法和仿真可信度评估理论作为系统仿真学科的基础理论的观点。

In this paper , the author presented the viewpoint that System Simulation is based on model theory , simulation algorithms and simulation credibility evaluation theory .

从原型模型论观点看，客观物质世界和精神世界是原型，语言和言语都是摹写和反映客观世界的模型。

In line with this theory , the objective material world and spiritual world are prototypes , while speech and language are models that describe and reflect the world .

本文用模型论和数论方法讨论整数环的某些扩环上一些丢番图方程素元解的问题。

The intention of the paper is to discuss the prime number solutions to some Diophantine equations on certain extention rings of ring of integers by model-theoretic and number-theoretic mothods .

科技体制转轨应遵循的规律及其配套改革模型论中国思想儒道互补基本格局的形成&从《淮南子》的杂说起

The Principles to be Observed in the Shift of S & T System and Its Complementary Model On the Formation of the Basic Complementary Model of Confucianism and Taoism in China